离散数学作业7答案（2022年-2023年）.pdfVIP

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