1离散数学作业 6教师签名：离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共 3 次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型(除单项选择题外)安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第 17 周末前完成并上交任课教师(不收电子稿)。并在 07 任务界面下方点击“保存”和“交卷”按钮，以便教师评分。一、填空题1.命题公式 PT(QVP)的真值是.2.设 P：他生病了，Q：他出差了.R：我同意他不参加学习则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ( P ^Q)jR3.含有三个命题变项 P，Q，R 的命题公式 PAQ 的主析取范式是(PAQAR)V(PAQA「R)4.设 P(x):x 是人， Q(x)：x 去上课，则命题“有人去上课可符号化为x(P(x)AQ(X)) .5•设个体域 D={a,b},那么谓词公式 3xA(x)VVyB(y)消去量词后的等值式为(A(a)VA(b))V((B(a)AB(b)).6._______________设 个 体 域 D={1,2,3} ， A(x) 为 “ x 大 于 3” ， 则 谓 词 公 式(3x)A(x)的真值为.7. 谓词命题公式(VX)((A(X)AB(X))vC(y))中的自由变元为.8.谓词命题公式(Vx)(P(x)TQ(x)vR(x，y))中的约束变元为 x.三、公式翻译题1.请将语句“今天是天晴”翻译成命题公式.设 P：今天是晴天。2.请将语句“小王去旅游，小李也去旅游翻译成命题公式.2设 P：小王去旅游。Q：小李去旅游。则 PAQ3.请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式.设 P：明天下雪。Q：我去滑雪。则 PTQ4.请将语句“他去旅游，仅当他有时间.”翻译成命题公式.设 P：他去旅游。Q：他有时间。则 PTQ5. 请将语句“有人不去工作”翻译成谓词公式.设 A(x):x 是人B(x):去工作3X(A(X)ArB(x))6. 请将语句“所有人都努力工作.”翻译成谓词公式.设 A(x)：x 是人B(x):努力工作Vx(A(x)AB(x))前提引入3四、判断说明题(判断下列各题，并说明理由.)1.命题公式「PAP 的真值是 1.答：错。因为 P 和 P 的否不能同时为真。2.命题公式「PA(PT「Q)VP 为永真式.答：对。「PA(「PvQ)vPo「PvPo13.谓词公式 VxP(x)T(3yG(x,y)TVxP(x))是永真式.答：对。它同 PT...
