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