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

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

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