电大离散数学课程基于网络形成性考核改革试点方 案试点第7次形考任务(答案).doc

1、 形成性考核作业 1电大离散数学课程基于网络形成性考核改革试点方 案试点第 7 次形考任务(答案)离散数学作业 7离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共 3 次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第 17 周末前完成并上交任课教师

2、（不收电子稿）。并在 07 任务界面下方点击“保存”和“交卷”按钮，以便教师评分。一、填空题1命题公式 的真值是 ()PQ2设 P：他生病了，Q：他出差了R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 3含有三个命题变项 P，Q，R 的命题公式 PQ 的主析取范式是 4设 P(x)：x 是人，Q(x) ：x 去上课，则命题“有人去上课” 可符号化为 5设个体域 Da, b,那么谓词公式 消去量词后的等值式为 )()(yBxA6设个体域 D1, 2, 3，A( x)为“x 大于 3”，则谓词公式(x)A (x) 的真值为 7谓词命题公式(x)(A(x)

3、B(x) C(y)中的自由变元为 8谓词命题公式(x)( P(x) Q(x) R(x，y) 中的约束变元为 姓 名： 学 号： 得 分： 教师签名： 形成性考核作业 2三、公式翻译题1请将语句“今天是天晴”翻译成命题公式2请将语句“小王去旅游，小李也去旅游”翻译成命题公式 3请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式4请将语句“他去旅游，仅当他有时间”翻译成命题公式5请将语句 “有人不去工作”翻译成谓词公式6请将语句“所有人都努力工作”翻译成谓词公式四、判断说明题（判断下列各题，并说明理由）1命题公式PP 的真值是 1 形成性考核作业 32命题公式P( PQ)P 为永真式 3谓词

4、公式 是永真式)(),()(xPyxGxP4下面的推理是否正确，请给予说明(1) (x)A(x) B(x) 前提引入(2) A(y) B(y) US (1) 形成性考核作业 4四计算题1 求 PQR 的析取范式，合取范式、主析取范式，主合取范式2求命题公式(P Q)(RQ) 的主析取范式、主合取范式3设谓词公式 (),(),)(,)xPyzQyxyRz（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元 形成性考核作业 54设个体域为 D=a1, a2，求谓词公式yxP(x ,y)消去量词后的等值式；五、证明题1试证明 (P(QR)PQ 与 (PQ)等价2试证明(x )(P(x) R(x)(x)P(x) (x)R(x) 形成性考核作业 6