逻辑学三段论第三 四格的规则

第三格规则:
1、小前提必须肯定。
2、结论须是特称的。
证明1：
如果小前提否定，则大前提必须肯定（两个否定的前提推不出结论）；
大前提肯定，则大项不周延（肯定判断的谓项不周延）；
因为前提之一否定，所以结论否定；
结论否定，则大项在结论中周延；
大项在前提中不周延，而在结论中周延，违反“前提中不周延的项在结论中不得周延”的规定，所以，小前提必须肯定。
证明2：
因为小前提是肯定的（证明1已证明），所以小项是不周延的，
根据“前提中不周延的项在结论中不得周延”的规则，
所以，结论只能是特称的（特称判断的主项不周延）。

第四格规则：
1、前提之一否定，大前提全称。
2、大前提肯定，则小前提全称。
3、小前提肯定，则结论特称。
4、前提中不得有特称否定判断。
5、结论不能是全称肯定判断。
证明略