电大离散数学作业6答案.pdf

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