下列三段论格式中有效的有（）

多项选择题下列三段论规则中正确的有（）

A.结论否定，则恰有一个前提否定。
B.结论特称，则恰有一个前提特称。
C.结论否定，则中项恰好周延一次。
D.结论特称，则中项恰好周延一次。

多项选择题下列推演规则中正确的有（）。

A.从A→B 和¬B 推出¬A
B.从A→B 和¬A 推出¬B
C.从A→B 和B 推出A
D.从A→B 和A 推出B

单项选择题在PN推演中，“↔-”规则指的是（）。

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.A 不是可满足式
B.¬A 是重言式
C.A 不是重言式
D.¬A 不是重言式