D. (?P??Q)?R
题目3 还未回答 满分10.00
标记题目
题干
命题公式?(P?Q)析取范式是( A )． 选择一项：
A. P??Q B. C. D.
题目4 答案已保存 满分10.00
标记题目
题干
下列公式成立的为( D )． 选择一项：
A. ?P??Q ?P?Q 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(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)． 选择一项：
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)) ．
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．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 设P：小王去旅游。 Q：小李去旅游。
离散数学形考任务1-7试题及答案完整版
