1 / 6 离散数学作业9 离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3 次，内容主要分别是图论部分、 数理逻辑部分的综合练习， 基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求： 将此作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程， 完成并上交任课教师 （不收电子稿） 。并在 09 任务界面下方点击 “保存”和“交卷”按钮，以便教师评分。一、单项选择题1．设 P：我将去市里， Q：我有时间． 命题“我将去市里， 仅当我有时间时”符号化为 ( B )．A．PQB．QPC．QPD．QP2．设命题公式 G：)(RQP，则使公式 G 取真值为 1 的 P，Q，R 赋值分别是 (D )．A．0, 0, 0 B．0, 0, 1 C．0, 1, 0 D．1, 0, 0 3．下列命题公式成立的为 ( C )．A．PQP QB．BAABC．P QQD．A (A B) B4．下列公式( C )为重言式．A．P QP QB．(B(A B)) ( A (A B)) C．(P Q)PQD．ABA B5．命题公式)(QP的析取范式是 ( A )．A．QPBQPC．QPD．QP6．设 C(x)：x 是国家级运动员， G(x)：x 是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为(D )．A．))()((xGxCxB．))()((xGxCxC．))()((xGxCxD．))()((xGxCx7．表达式))(),(())(),((zzQyxRyzQyxPx中x的辖域是 ( B )．A．P(x, y) B．P(x, y) Q(z) C．R(x, y) D．P(x, y) R(x, y) 8．谓词公式))()(()(xxQxQxxxP的类型是 ( A )．姓名：学号：得分：教师签名：2 / 6 A．永真式B．永假式C．非永真的可满足式D．蕴含式二、填空题1．命题公式()PQP 的真值是1 ．2．设 P：他生病了， Q：他出差了． R：我同意他不参加学习 . 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q) → R ．3．设 A，B 为任意命题公式， C 为重言式，若CBCA，那么BA是言重式式(重言式、矛盾式或可满足式) ．4．含有三个命题变项P，Q，R 的命题公式 P Q 的主析取范式是（P∧ Q∧R） ∧（ P∧ Q ∧?R）．5．设 P(x)：x 是人， Q(x)：x 去上课，则命题“有人去上课．”为(χ)(PCχ)→Q(χ)) ．6．设个体域 D＝{a, b} ,那么谓词公式)()(yyBxxA消去量词后的等值式为(A(a)∨A(b))...
