A.(PÙQ)ÚTB.Ø(PÚQ)ÙTC.(PÚQ)ÙTD.Ø(PÚQ)ÙF
单项选择题下列式子()是永真式。
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 代表任意的命题公式,则A ®BÛ逆反律为()
A.ØB®ØAB.B®ØAC.ØA®ØBD.ØB®A
单项选择题命题公式A 与B 是等值的,是指()。
A.A 与B 有相同的命题变元B.A«B 是可满足式C.A®B 为重言式D.A«B 为重言式