单项选择题

在P^N推演中，“↔-”规则指的是（）。

A.从A↔B 推出A；从A↔B 推出B
B.从A↔B 和A 推出B；从A↔B 和B 推出A
C.从A↔B 推出A→B；从A↔B 推出B→A
D.从A↔B 和含子公式A 的公式C（A）推出C（A/B）（将C 中的一处或多处A 代换为B）

点击查看答案&解析

上一题目录下一题

多项选择题

A.（p→¬p）→q
B.q→（¬q→p）
C.（p→p）→¬q
D.p→（¬q→p）

单项选择题

A.A 不是可满足式
B.¬A 是重言式
C.A 不是重言式
D.¬A 不是重言式

单项选择题

A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式
B.任一命题逻辑公式的真值表都是唯一的
C.真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定
D.含n 个命题变元的公式的真值表共有2n 行

在PN推演中，“↔-”规则指的是（）。