离散数学作业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.PQPQ B.BA AB C.P Q Q D.A (AB) B 4.下列公式 ( B )为重言式. A.PQ PQ B.(B(AB)) (A(AB)) C.PQ PQ D.ABAB 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 的命题公式PQ 的主析取范式是 ()()PQRPQR . 5.设P(x):x 是人,Q(...