华南理工大学网络教育学院 《离散数学》练习题参考答案 第一章命题逻辑 一填空题 (1)设:p:派小王去开会。q:派小李去开会。则命题: “派小王或小李中的一人去开会” 可符号化 为: (pq) (pq) 。 (2)设A,B 都是命题公式,AB,则AB 的真值是 T 。 (3)设:p:刘平聪明。q:刘平用功。在命题逻辑中,命题: “刘平不但不聪明,而且不用功” 可符号化为: p q 。 (4)设A , B 代表任意的命题公式,则蕴涵等值式为 A BA B 。 (5)设,p:径一事;q:长一智。在命题逻辑中,命题: “不径一事,不长一智。” 可符号化为: pq 。 (6)设A , B 代表任意的命题公式,则德 摩根律为 (A B) A B) 。 (7)设,p:选小王当班长;q:选小李当班长。则命题:“选小王或小李中的一人当班长。” 可符号化为: (pq) (pq) 。 (8)设,P:他聪明;Q:他用功。在命题逻辑中,命题: “他既聪明又用功。” 可符号化为: P Q 。 (9)对于命题公式A,B,当且仅当 A B 是重言式时,称“A 蕴含B”,并记为AB。 (10)设:P:我们划船。Q:我们跑步。在命题逻辑中,命题: “我们不能既划船又跑步。” 可符号化为: (P Q) 。 (11)设P , Q 是命题公式,德·摩根律为: (P Q) P Q) 。 (12)设 P:你努力。Q:你失败。在命题逻辑中,命题:“除非你努力,否则你将失败。” 可符号化为: PQ 。 (13)设 p:小王是100 米赛跑冠军。q:小王是400 米赛跑冠军。在命题逻辑中,命题:“小王是100 米或 400 米赛跑冠军。” 可符号化为: p q 。 (14)设A,C 为两个命题公式,当且仅当 AC 为一重言式时,称 C 可由 A 逻辑地推出。 二.判断题 1. 设A,B 是命题公式,则蕴涵等值式为 ABAB。 ( ) 2. 命题公式pqr是析取范式。 ( √ ) 3. 陈述句“x + y > 5” 是命题。 ( ) 4. 110 (p=1,q=1, r=0)是命题公式 (((pq))r)q 的成真赋值。 ( √ ) 5. 命题公式 p(pq) 是重言式。 ( ) 6. 设A,B 都是合式公式,则 ABB 也是合式公式。 ( √) 7. A(BC)( AB)(AC)。 ( ) 8. 陈述句“我学英语,或者我学法语” 是命题。...