1 / 7 离散数学作业7 离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3 次,内容主要分别是集合论部分、 图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目, 目的是通过综合性书面作业,使同学自己检验学习成果, 找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。要求: 将此作业用 A4 纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求2010 年 12 月 19 日前完成并上交任课教师(不收电子稿)。并在 07 任务界面下方点击“保存”和“交卷”按钮,以便教师评分。一、填空题1.命题公式()PQP 的真值是1 .2.设 P:他生病了, Q:他出差了. R:我同意他不参加学习 . 则命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为P∨Q→R.3.含有三个命题变项P,Q,R 的命题公式 P Q 的主析取范式是(P Q┐ R) ∨(P Q R).4.设 P(x):x 是人, Q(x):x 去上课,则命题“有人去上课.”可符号化为?x ( P ( x) ∧ Q ( x)).5.设个体域 D={a, b} ,那么谓词公式)()(yyBxxA消去量词后的等值式为(A(a) ∨A(b) ) ∨ (B(a) ∧B(b)).6.设个体域 D={1, 2, 3} ,A(x)为“x 大于 3”,则谓词公式 ( x)A(x) 的真值为0 .7.谓词命题公式 (x)((A(x) B(x)) C(y))中的自由变元为y .8.谓词命题公式 ( x)(P(x) Q(x) R(x,y))中的约束变元为x .三、公式翻译题1.请将语句“今天是天晴”翻译成命题公式.解:姓名:学号:得分:教师签名:2 / 7 设 P:今天是天晴则该语句符号化为P 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式.设 P:小王去旅游, Q:小李也去旅游则该语句符号化为P∧Q 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式.解:设 P:明天天下雪Q:我 就去滑雪则该语句符号化为P→Q4.请将语句“他去旅游,仅当他有时间.”翻译成命题公式.解:设 P:他去旅游Q:他有时间则该语句符号化为P→Q5.请将语句“有人不去工作”翻译成谓词公式.解:设 P(x):x 是人Q(x):x 不去工作则谓词公式为(? x)(P(x)∧Q(x))6.请将语句“所有人都努力工作.”翻译成谓词公式.解:设 P(x):x 是人Q(x):x 努力工作则谓词公式为(? x)(P(x) →Q(x)) 3 / 7 四、判...