相关考题
-
单项选择题
P 为任意合式公式，Q：为矛盾式。则PÙQ 是（）
A.矛盾式
B.可满足式
C.蕴含式
D.重言式 -
单项选择题
P 为任意合式公式，Q：为重言式。则PÚQ 是（）
A.矛盾式
B.可满足式
C.蕴含式
D.重言式 -
单项选择题
设A ，B 代表任意的命题公式，则A ®BÛ逆反律为（）
A.ØB®ØA
B.B®ØA
C.ØA®ØB
D.ØB®A
