逻辑学三段论第四格规则证明由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“三段论格的证明”。
逻辑学三段论第四格规则证明
第四格规则：中项在大前提中作谓项，在小前提中作主项。
1、前提之一否定，大前提全称。
2、大前提肯定，则小前提全称。
3、小前提肯定，则结论特称。
4、前提中不得有特称否定判断。
5、结论不能是全称肯定判断。
证明1：
如果两个前提中有一个是否定的，结论也必然是否定的（前提之一否定，结论是否定的）； 结论否定，则大项周延（否定判断的谓项周延）；
大项在第四格中处于前提的主项，只有全称时主项周延；
所以，大前提必须全称。
证明2：
如果大前提肯定，在大前提中中项不周延（肯定判断谓项不周延）；
只有小前提全称，中项才周延一次（全称判断主项周延）；
三段论要求中项至少周延一次；
所以，大前提肯定，则小前提全称。
证明3：
如果小前提肯定，小项在前提中不周延（肯定判断谓项不周延）；
如果结论全称，则在结论中小项周延，违反了在前提中不周延的项在结论中也不得周延规则； 所以：小前提肯定，则结论特称。
证明4：
如果大前提否定，结论必要否定（前提之一否定，结论是否定的）；
则大项在结论中周延（否定判断的谓项周延）；
如果大前提特称，大项在前提中不周延（特称判断的主项不周延）；
这样，就违反了在前提中不周延的项在结论中也不得周延规则；
因此，大前提不能是特称否定。
如果小前提否定，大前提必肯定（两个否定的前提推不出结论）；
则中项在大前提中不周延（肯定判断谓项不周延）；
小前提否定，中项在小前提中也不周延（特称判断的主项不周延）；
三段论规则要求中项在前提中至少周延一次；
因此，小前提不能是特称否定。
所以，前提中不得有特称否定判断。
证明5：
如果结论是全称肯定判断，则小项在结论中周延（全称判断主项周延）；
则大项在结论中不周延（肯定判断谓项不周延）；
则小前提必否定才使小项在前提中周延（在前提中不周延的项在结论中也不得周延）； 但如果小前提否定，结论必然否定（前提之一否定，结论是否定的）
与结论为肯定判断矛盾；
所以，结论不能是全称肯定判断。
A 第一格的特殊规则有两条： （1）小前提必须是肯定的。 如果小前提是否定的，那么结论必然是否定的；结论是否定的，则大项在结论中是周延的。 大项在结论中周延，则大前提必须是否定的，因......
前面在讲三段论推理的结构时，已讲到按照中项所处的4种不同位置，我们可以把三段论推理分成四种，这四种就是4个格。M—PP—MM—PP—MS—PS—PS—PS—P(第一格)（第二格）（第三格）（第四格......
三段论中各格证明第一格规则：（1） 小前提必是肯定的假如小前提为否定命题，根据从两个否定的前提得不出必然的结论，大前提必为肯定命题，于是结论必为否定命题。这样，大项在前提中作为......
1、用三段论基本规则证明第一格的小前提必须是肯定的。证明：假设小前提是否定的，那么根据规则五，结论也是否定的，结论否定，则大项在结论中周延。大项在结论中周延，根据规则三，在前......
第一格的规则证明：• ①小前提必须是肯定的。• 假设小前提是否定的。如此，根据基本规则，大前提必为肯定命题。大前提肯定，则大前提的谓项不周延。而在第一格中，大项是大前提的谓......
