Question

谁能帮我证明下三段论的第四格特殊规则?

第四格的特殊规则:
（1）如果有一个前提是否定判断，则大前提为全称判断；
（2）如果大前提是肯定判断，则小前提为全称判断；
（3）如果小前提是肯定判断，则结论为特称判断；
（4）任何一个前提都不能是特称否定判断；
（5）结论不能是全称肯定判断；
麻烦哪位大虾帮小弟证明下这五点可以吗？急用！

Answer 1

第四格规则：中项在大前提中作谓项，在小前提中作主项。
1、前提之一否定，大前提全称。
2、大前提肯定，则小前提全称。
3、小前提肯定，则结论特称。
4、前提中不得有特称否定判断。
5、结论不能是全称肯定判断。
证明1：
如果两个前提中有一个是否定的，结论也必然是否定的（前提之一否定，结论是否定的）；
结论否定，则大项周延（否定判断的谓项周延）；
大项在第四格中处于前提的主项，只有全称时主项周延；
所以，大前提必须全称。
证明2：
如果大前提肯定，在大前提中中项不周延（肯定判断谓项不周延）；
只有小前提全称，中项才周延一次（全称判断主项周延）；
三段论要求中项至少周延一次；
所以，大前提肯定，则小前提全称。
证明3：
如果小前提肯定，小项在前提中不周延（肯定判断谓项不周延）；
如果结论全称，则在结论中小项周延，违反了在前提中不周延的项在结论中也不得周延规则；
所以：小前提肯定，则结论特称。
证明4：
如果大前提否定，结论必要否定（前提之一否定，结论是否定的）；
则大项在结论中周延（否定判断的谓项周延）；
如果大前提特称，大项在前提中不周延（特称判断的主项不周延）；
这样，就违反了在前提中不周延的项在结论中也不得周延规则；
因此，大前提不能是特称否定。
如果小前提否定，大前提必肯定（两个否定的前提推不出结论）；
则中项在大前提中不周延（肯定判断谓项不周延）；
小前提否定，中项在小前提中也不周延（特称判断的主项不周延）；
三段论规则要求中项在前提中至少周延一次；
因此，小前提不能是特称否定。
所以，前提中不得有特称否定判断。
证明5：
如果结论是全称肯定判断，则小项在结论中周延（全称判断主项周延）；
则大项在结论中不周延（肯定判断谓项不周延）；
则小前提必否定才使小项在前提中周延（在前提中不周延的项在结论中也不得周延）；
但如果小前提否定，结论必然否定（前提之一否定，结论是否定的）
与结论为肯定判断矛盾；
所以，结论不能是全称肯定判断。

Answer 2

4.两个否定前提不能推出结论；前提之一是否定的，结论也应当是否定的；结论是否定的，前提之一必须是否定的。

如果在前提中两个前提都是否定命题，那就表明，大、小项在前提中都分别与中项互相排斥，在这种情况下，大项与小项通过中项就不能形成确定的关系，因而也就不能通过中项的媒介作用而确定地联系起来，当然也就无法得出必然确定的结论，即不能推出结论了。比如：

一切有神论者都不是唯物主义者；

某某人不是有神论者；

所以，?

那么，为什么前提之一是否定的，结论必然是否定的?这是因为，如果前提中有一个是否定命题，另一个则必然是肯定命题(否则，两个否定命题不能得出必然结论)，这样，中项在前提中就必然与一个项是否定关系，与另一个项是肯定关系。这样，大项和小项通过中项联系起来的关系自然也就只能是一种否定关系，因而结论必然是否定的了。例如：
一切有神论者都不是唯物主义者； 某人是有神论者； 所以，某人不是唯物主义者。 为什么结论是否定的，前提之一必定是否定的呢?因为如果结论是否定的，那一定是由于前提中的大、小项有一个和中项结合，而另一个和中项排斥。这样，大项或小项同中项相排斥的那个前提就是否定的，所以结论是否定的则前提之一必定是否定的。
这个答案是我找的，可能正确吧， 谢谢、采纳(*^__^*)