A.A 不是可滿足式B.?A 是重言式C.A 不是重言式D.?A 不是重言式
A.真值表方法可以判定任意命題邏輯公式是重言式、偶真式還是矛盾式B.任一命題邏輯公式的真值表都是唯一的C.真值表方法的合理性依賴如下前提:一個公式的真值僅由在該公式中出現(xiàn)的符號的意義決定D.含n 個命題變元的公式的真值表共有2n 行
A.(p∨?q)∨?qB.(p∨q)∧pC.p∨?q→qD.?(q∧p)→p