B. P??Q??P?Q C. Q?P? P D. ?P?(P?Q)?Q 题目5 答案已保存 满分10.00
标记题目
题干
下列公式 ( C )为重言式． 选择一项：
A. ?P??Q?P?Q
B. (Q?(P?Q)) ?(?Q?(P?Q)) C. (P?(?Q?P))?(?P?(P?Q)) D. (?P?(P?Q)) ?Q 题目6 答案已保存 满分10.00
标记题目
题干
设A（x）：x 是人，B（x）：x 是教师，则命题“有人是教师”可符号化为（ D ）． 选择一项：
A.?(ョx)(A(x)∧?B(x))?(ョx)(A(x)∧?B(x)) B.(?x)(A(x)∧B(x))(?x)(A(x)∧B(x)) C.?(?x)(A(x)→B(x))?(?x)(A(x)→B(x)) D.(ョx)(A(x)∧B(x))(ョx)(A(x)∧B(x)) 题目7 还未回答 满分10.00
标记题目
题干表达式(?x)(P(x,y)?Q(z))??y(R(x,y))→?z Q(z))中 (?x)中辖域是( B )． 选择一项： A. P(x, y) B. P(x, y)?Q(z) C. R(x, y) D. 题目8
答案已保存 满分10.00
标记题目
题干 A
设个体域 D={a, b, c}，那么谓词为 A ． 选择一项：
A. (A(a)?A(b)?A(c))?(B(a)?B(b)?B(b)) B. (A(a)?A(b)?A(c))?(B(a)?B(b)?B(b)) C. (A(a)?A(b)?A(c))?(B(a)?B(b)?B(b)) D. (A(a)?A(b)?A(c))?(B(a)?B(b)?B(b)) 题目9 还未回答 满分10.00
公式去量词后的等值式
标记题目
题干 A
下列等价公式成立的为( A)． 选择一项：
A. ?P?P??Q?Q B. C. D. 题目10 还未回答 满分10.00
标记题目
题干 A
设个体域D是整数集合，则命题?x? y (x·y = y)的真值是（ A ）． 选择一项： A. T B. F C. 不确定 D. 以上说法都不是
离散数学作业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)) ．
电大离散数学形考任务1答案
