多项选择题
下列三段论规则中正确的有（）
A.结论否定，则恰有一个前提否定。B.结论特称，则恰有一个前提特称。C.结论否定，则中项恰好周延一次。D.结论特称，则中项恰好周延一次。
多项选择题 下列推演规则中正确的有（）。
单项选择题 在PN推演中，“↔-”规则指的是（）。
多项选择题 下列公式中属于重言式的有（）。
