单项选择题
A.从A↔B 推出A；从A↔B 推出BB.从A↔B 和A 推出B；从A↔B 和B 推出AC.从A↔B 推出A→B；从A↔B 推出B→AD.从A↔B 和含子公式A 的公式C（A）推出C（A/B）（将C 中的一处或多处A 代换为B）
下列公式中属于重言式的有（）。A.（p→¬p）→qB.q→（¬q→p）C.（p→p）→¬qD.p→（¬q→p）
多项选择题下列公式中属于重言式的有（）。
A.（p→¬p）→qB.q→（¬q→p）C.（p→p）→¬qD.p→（¬q→p）
画树形图时，如果根节点的公式为¬A，最后所有的枝均封闭，则可以证明（）A.A 不是可满足式B.¬A 是重言式C...
单项选择题画树形图时，如果根节点的公式为¬A，最后所有的枝均封闭，则可以证明（）
A.A 不是可满足式B.¬A 是重言式C.A 不是重言式D.¬A 不是重言式
下列关于真值表方法的叙述错误的是（）。A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式B.任一...
单项选择题下列关于真值表方法的叙述错误的是（）。
A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式B.任一命题逻辑公式的真值表都是唯一的C.真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定D.含n 个命题变元的公式的真值表共有2n 行
