单项选择题

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 为重言式