离散数学作业答案一.doc

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