在PN推演中，“↔-”规则指的是（）。A.从A↔B 推出A；从A↔B 推出BB.从A↔B 和A 推出B；从A↔

单项选择题

在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）

逻辑学