华南理工大学网络教育学院 《离散数学》练习题参考答案 第一章命题逻辑 一填空题 (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:你努力
在命题逻辑中,命题:“除非你努力,否则你将失败
” 可符号化为: PQ
(13)设 p:小王是100 米赛跑冠军
q:小王是400 米赛跑冠军
在命题逻辑中,命题:“小王是100 米或 400 米赛跑冠军
” 可符号化为: p q
(14)设A,C 为两个命题公式,当且仅当 AC 为