离散数学作业9

离散数学作业9 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共 3 次，内容主要分别是图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用 A4 纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求 2009 年 6 月 14 日前完成并上交任课教师（不收电子稿）。 一、单项选择题 1．设 P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为( C )． A．PQ  B．QP  C．QP  D．QP 2．设命题公式 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．下列命题公式成立的为( D )． A．PQPQ B．BA  AB C．P  Q Q D．A (AB) B 4．下列公式 ( B )为重言式． A．PQ PQ B．(B(AB)) (A(AB)) C．PQ PQ D．ABAB 5．命题公式)(QP 的析取范式是( A )． A．QP BQP  C．QP  D．QP 6．设 C(x)：x 是国家级运动员，G(x)：x 是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( C )． A．))()((xGxCx B．))()((xGxCx C．))()((xGxCx D．))()((xGxCx 7．表达式))(),(())(),((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 )． A．永真式 B．永假式 C．非永真的可满足式 D．蕴含式 二、填空题 1．命题公式()PQP的真值是 1 ． 2．设P：他生病了，Q：他出差了．R：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 ()PQR ． 3．设A，B 为任意命题公式，C 为重言式，若CBCA，那么BA 是 （重言式） 式(重言式、矛盾式或可满足式) ． 4．含有三个命题变项 P，Q，R 的命题公式PQ 的主析取范式是 ()()PQRPQR ． 5．设P(x)：x 是人，Q(...