多项选择题
A.结论否定，则恰有一个前提否定。B.结论特称，则恰有一个前提特称。C.结论否定，则中项恰好周延一次。D.结论特称，则中项恰好周延一次。
下列推演规则中正确的有（）。A.从A→B 和¬B 推出¬AB.从A→B 和¬A 推出¬BC.从A→B 和B 推...
多项选择题下列推演规则中正确的有（）。
A.从A→B 和¬B 推出¬AB.从A→B 和¬A 推出¬BC.从A→B 和B 推出AD.从A→B 和A 推出B
在PN推演中，“↔-”规则指的是（）。A.从A↔B 推出A；从A↔B 推出BB.从A↔B 和A 推出B；从A↔...
单项选择题在PN推演中，“↔-”规则指的是（）。
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）
