单项选择题
A.A 不是可满足式B.¬A 是重言式C.A 不是重言式D.¬A 不是重言式
下列关于真值表方法的叙述错误的是（）。A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式B.任一...
单项选择题下列关于真值表方法的叙述错误的是（）。
A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式B.任一命题逻辑公式的真值表都是唯一的C.真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定D.含n 个命题变元的公式的真值表共有2n 行
已知p 真q 假，则下列公式中为假的有（）。A.（p∨¬q）∨¬qB.（p∨q）∧pC.p∨¬q→qD.¬（q...
单项选择题已知p 真q 假，则下列公式中为假的有（）。
A.（p∨¬q）∨¬qB.（p∨q）∧pC.p∨¬q→qD.¬（q∧p）→p
下列符号串属于命题逻辑公式的是（）。A.（（p→q）∨q）B.（p∨q）C.A→BD.（¬q）
单项选择题下列符号串属于命题逻辑公式的是（）。
A.（（p→q）∨q）B.（p∨q）C.A→BD.（¬q）
