演绎推理之三段论

Posted 2021-02-08 kgtone

三段论推理是演绎推理中的一种简单推理判断。他包括：

　　大前提：一个包含大项和中项的命题；

　　小前提：一个包含小项和中项的命题；

　　结论：  一个包含小项和大象的命题。

创建者：亚里士多德

三段论规则有七条，是由4条基本规则和3条导出规则组成。

四条基本规则：

　　1.一个正确的三段论，有并且只有三个不同的项。

　　2.三段论的中项的中项至少要周延一次。

　　3.在前提中不周延的词项，在结论中不得周延。

　　4.两个否定前提推不出结论。

三条导出规则：

　　1.前提有一个是否定的，其结论必是否定的；若结论是否定的，则前提必有一个是否定的。

　　2.两个特称前提推不出结论。

　　3.前提中有一个是特称，结论必须也是特称的。