1. 三段论有四种格。结论的形式为S-P，其中S为主项（小项），P为谓项（大项）。含有P为大前提，含有S为小前提，M为中项。
2. 三段论有六种量词，全程肯定A，全程否定E，特称肯定I，特称否定O，单称肯定a，单称否定e。常用一般只考虑前四种。
因此三段论所有的推理形式有4*4*4*4=256种，其中大部分无效。
三段论的一般规则
- 三段论有且只有三个不同的词项。
- 中项至少要周延一次。
- 前提中不周延的项结论中也不得周延。
- 两个否定前提不能推出任何确定的结论。
- 如果有一个前提是否定的，则结论是否定的。如果结论是否定的则必有一个前提是否定的。
- 两个前提不能都是特称的，两个前提至少有一个是全称的。
- 如果两个前提中有一个特称，则结论必特称。如果结论全称，则两个前提都是全称。
每一格的特殊规则
第一格
M-P，S-M 推出S-P
规则是：大前提必须全称（A或E），小前提必须肯定（A或I）。
第二格
P-M，S-M推出S-P
规则是：
第三格
M-P，M-S推出S-P
第四格
P-M，M-S推出S-P
标签：推出,结论,逻辑学,全称,三段论,前提,否定 From： https://www.cnblogs.com/zhaoke271828/p/16913120.html