百度作业网逻辑学三段论第三 四格的规则
来源：学生作业帮 编辑：百度作业网作业帮 分类：历史作业 时间：2024/07/15 20:31:55
逻辑学三段论第三 四格的规则
第三格规则:
1、小前提必须肯定.
2、结论须是特称的.
证明1：
如果小前提否定,则大前提必须肯定（两个否定的前提推不出结论）；
大前提肯定,则大项不周延（肯定判断的谓项不周延）；
因为前提之一否定,所以结论否定；
结论否定,则大项在结论中周延；
大项在前提中不周延,而在结论中周延,违反“前提中不周延的项在结论中不得周延”的规定,所以,小前提必须肯定.
证明2：
因为小前提是肯定的（证明1已证明）,所以小项是不周延的,
根据“前提中不周延的项在结论中不得周延”的规则,
所以,结论只能是特称的（特称判断的主项不周延）.
第四格规则：
1、前提之一否定,大前提全称.
2、大前提肯定,则小前提全称.
3、小前提肯定,则结论特称.
4、前提中不得有特称否定判断.
5、结论不能是全称肯定判断.
证明略
1、小前提必须肯定.
2、结论须是特称的.
证明1：
如果小前提否定,则大前提必须肯定（两个否定的前提推不出结论）；
大前提肯定,则大项不周延（肯定判断的谓项不周延）；
因为前提之一否定,所以结论否定；
结论否定,则大项在结论中周延；
大项在前提中不周延,而在结论中周延,违反“前提中不周延的项在结论中不得周延”的规定,所以,小前提必须肯定.
证明2：
因为小前提是肯定的（证明1已证明）,所以小项是不周延的,
根据“前提中不周延的项在结论中不得周延”的规则,
所以,结论只能是特称的（特称判断的主项不周延）.
第四格规则：
1、前提之一否定,大前提全称.
2、大前提肯定,则小前提全称.
3、小前提肯定,则结论特称.
4、前提中不得有特称否定判断.
5、结论不能是全称肯定判断.
证明略