资料仅供参考文件编号：2022年4月逻辑学三段论中各格具体规则的证明(自证参考)版本号：A修改号：1页次：1.0审核：批准:发布日期：三段论中各格具体规则的证明第一格规则： 1、小前提必是肯定的；2、大前提必是全称的。MPSMSP小前提必是肯定的假如小前提为否定命题，根据从两个否定的前提得不出必然的结论，大前提必为肯定命题，于是结论必为否定命题。这样，大项在前提中作为肯定命题扽谓项是不周延的，而在结论中作为否定命题的谓项是周延的。根据前提中不周延的项在结论中也不得周延，假设不成立，所以小前提必是肯定的。 大前提必是全称的小前提必是肯定的，因而作为小前提谓项的中项是不周延的。根据中项在两前提中至少周延一次，中项在大前提中必须是周延的，要使其大前提中的中项周延，大前提必须是全称的。 第二格规则：1、两个前提中必须有一个是否定命题；2、大前提必须为全称命题。PMSMSP1、两个前提中必须有一个是否定命题： 由于中项在两个前提中都做谓项，根据三段论的基本规则“中项至少要周延一次”，而只有否定命题的谓项是周延的，所以，前提中必须有否定命题。但是根据三段论基本规则“两个否定的前提不能推出结论”，故两个前提中必须有一个是否定命题。 2、大前提必须为全称命题： 三段论第二格的特殊规则中的第一条已经确定，即“两个前提中必须有一个是否定命题”，那么，根据三段论的基本规则“前提中有一个是否定的，结论必然是否定的”。在结论中，大项作否定命题的谓项，是周延的。根据三段论基本规则“在前提中不周延的项，在结论中也不得周延”，要保证大项在前提中周延，只有大前提为全称命题。所以，大前提必须为全称命题 第三格规则:1、小前提必须肯定；2、结论须是特称的；3、至少有一个前提是全称的。 MPMSSP1、小前提必须肯定如果小前提否定，则大前提必须肯定（两个否定的前提推不出结论）； 大前提肯定，则大项不周延（肯定判断的谓项不周延）； 因为前提之一否定，所以结论否定； 结论否定，则大项在结论中周延； 大项在前提中不周延，而在结论中周延，违反“前提中不周延的项在结论中不得周延”的
规定
关于下班后关闭电源的规定党章中关于入党时间的规定公务员考核规定下载规定办法文件下载宁波关于闷顶的规定
，所以，小前提必须肯定。 2、结论须是特称的 因为小前提是肯定的（证明1已证明），所以小项是不周延的，根据“前提中不周延的项在结论中不得周延”的规则，所以，结论只能是特称的（特称判断的主项不周延）。3、至少有一个前提是全称的。因为中项至少周延一次。第四格规则：1、前提之一否定，大前提全称；2、大前提肯定，则小前提全称；3、小前提肯定，则结论特称；4、前提中不得有特称否定判断；5、结论不能是全称肯定判断。PMMSSP1、前提之一否定，大前提全称如果两个前提中有一个是否定的，结论也必然是否定的；结论否定，则大项周延（否定判断的谓项周延）；大项在第四格中处于前提的主项（全称判断主项周延）；所以，大前提必须全称。 2、大前提肯定，则小前提全称如果大前提肯定，在大前提中中项不周延（肯定判断谓项不周延）；只有小前提全称，中项才周延一次（中项至少周延一次）；所以，大前提肯定，则小前提全称。 3、小前提肯定，则结论特称如果小前提肯定，小项在前提中不周延；如果结论全称，则在结论中小项周延，违反了在前提中不周延的项在结论中也不得周延规则；所以：小前提肯定，则结论特称。4、前提中不得有特称否定判断如果大前提否定，结论必要否定（前提之一否定，结论是否定的）；则大项在结论中周延；如果大前提特称，大项在前提中不周延（特称判断的主项不周延）；违反了在前提中不周延的项在结论中也不得周延规则；因此，大前提不能是特称否定。 如果小前提否定，大前提必肯定（两个否定的前提推不出结论）；则中项在大前提中不周延；小前提特称，中项在小前提中也不周延；三段论规则要求中项在前提中至少周延一次；因此，小前提不能是特称否定。所以，前提中不得有特称否定判断。 5、结论不能是全称肯定判断如果结论是全称肯定判断，则小项在结论中周延；则大项在结论中不周延；则小前提必否定才使小项在前提中周延（在前提中不周延的项在结论中也不得周延）；但如果小前提否定，结论必然否定与结论为肯定判断矛盾；所以，结论不能是全称肯定判断。
浙公网安备 33021202002483