单项选择题
A.Q®(PÙQ)B.P®(PÙQ)C.(PÙQP)D.(PÚQ)®Q
P 为任意合式公式,Q:为矛盾式。则PÙQ 是()A.矛盾式B.可满足式C.蕴含式D.重言式
单项选择题P 为任意合式公式,Q:为矛盾式。则PÙQ 是()
A.矛盾式B.可满足式C.蕴含式D.重言式
P 为任意合式公式,Q:为重言式。则PÚQ 是()A.矛盾式B.可满足式C.蕴含式D.重言式
单项选择题P 为任意合式公式,Q:为重言式。则PÚQ 是()
设A ,B 代表任意的命题公式,则A ®BÛ逆反律为()A.ØB®ØAB.B®ØAC.ØA®ØBD.ØB®A
单项选择题设A ,B 代表任意的命题公式,则A ®BÛ逆反律为()
A.ØB®ØAB.B®ØAC.ØA®ØBD.ØB®A