三段论的基本规则证明

直言三段论的基本规则有五条，还有两条可以用基本规则证明的衍生规则：

1、中项在前提中至少周延一次；

2、在前提中不周延的项在结论中也不得周延；

3、两个否定的前提不能得出结论；

4、前提中有一个是否定的，则结论也是否定的；

5、结论是否定的，则前提中有一个是否定的；

6、两个特称的前提不能得出结论；

7、前提中有一个是特称的，则结论也是特称的。

后两条就是衍生规则。