单项选择题
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
命题公式A 与B 是等值的,是指()。A.A 与B 有相同的命题变元B.A«B 是可满足式C.A®B 为重言式...
单项选择题命题公式A 与B 是等值的,是指()。
A.A 与B 有相同的命题变元B.A«B 是可满足式C.A®B 为重言式D.A«B 为重言式