《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/31 01:29:47
《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.

《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.

《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
1、根据三段论的一般规则,大前提为O,则小前提必为A(规则4:两个否定的前提不能得出正确的结论,排除OE判断,据规则:两个特称的前提不能得出正确结论,排除了I 判断);再根据规则5和规则7,可知结论为O判断.
2、由于结论为O,大项在结论中周延,说明它在前提中是周延的(规则3:前提中不周延的项,在结论中不得周延),而大前提已知为O,根据性质判断周延情况,O判断是谓项周延,所以,大项在大前提中一定是作谓项.由此也可知中项M在大前提中作主项,不周延.根据规则2,中项在前提中至少周延一次,而小前提为A,A主项周延,谓项不周延,所以,中项要周延,在小前中只能作主项,小项在小前提中作谓项.即 MOP
MAS
——————
∴SOP
3、可知是第三格OAO式

根据三段论基本定理
因为:两个否定(O/E)前提得不出结论
所以:小前提是A或者I
又因为:两个特称前提(I/O)得不出结论
所以小前提是A
又因为:前提中有一条是特称的,结论必特称;前提有否定的所以结论必须否定。
所以结论只能是既特称又否定的O判断
所以这一三段论只能是OAO格式...

全部展开

根据三段论基本定理
因为:两个否定(O/E)前提得不出结论
所以:小前提是A或者I
又因为:两个特称前提(I/O)得不出结论
所以小前提是A
又因为:前提中有一条是特称的,结论必特称;前提有否定的所以结论必须否定。
所以结论只能是既特称又否定的O判断
所以这一三段论只能是OAO格式

收起

《形式逻辑基础》证明题:若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式. 一个逻辑证明题,要证明的过程若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式. 形式逻辑 三段论证明题Q:设 ABC 分别为有效三段论的前提和结论,D是与结论C相矛盾的性质命题,试证:ABC中肯定命题必然是两个.我弱弱的想了想,如果ABC中肯定命题是两个,那么必然没有否定 一有效三段论,大项在前提中不周延,小项在结论中周延求证该三段论的格与式,请写出详细相应证明过程 有关逻辑学三段论的三个证明题,用三段论规则证明:1.有两个特称前提的三段论一定不有效2.一个有效三段论,前提一个是特称一个是全称,其结论必定是特称.(顺便求解:倒过来不成立,也就 关于逻辑学的两个问题,主要关于三段论证明证明题1.结论是全称命题的有效三段论,其中项不得两次周延.2.大前提是特称命题的有效三段论,其小前提必是全称肯定命题.证明过称要尽可能详细, 逻辑学证明题1 写出三段论第四个形式,证明其特殊规则任一前提都不能是O判断 2 中项周延两次的有效三段论,其结论不能为全称判断 中项周延两次的三段论有效式,结论不能是全称命题的证明过程 事物和形式逻辑的三段论是否正确?大前提:一切事物都是矛盾的小前提:形式逻辑是事物结论:形式逻辑是矛盾的 形式逻辑题,1、在第三格三段论的有效式中,如果大前提是MIP,那么小前提应是____________,结论应是____________.以“PAM、MAS”为前提进行推理,将其结论为前提,进行换质法,正确结论是____________.3.请 试证明:一个有效的第一格三段论,若结论为特称否定命题,则大前提只能是全称否定命题.急…… 一道逻辑学证明题帮帮忙,​若一个有效三段论小前提是否定判断,则大前提只能是全称肯定判断. 老师出的有2道法律逻辑题的证明 求证明.急 明天就考试了1.一个有效的三段论,结论是全称否定命题,那么其前提必然是一个全称否定和全称肯定.2.一个有效的三段论,小前提为全称否命题则大 形式逻辑与辨证逻辑哪个重要?形式逻辑是辨证逻辑的基础吗? 一有效三段论的大项在前提中和结论中都不周延,小项在前提和结论中都周延,这个三段论是哪一格的哪一式? 一个有效的三段论,若大前提为MOP,则小前提是MAS的推理依据? 老师出的有3道法律逻辑题的证明 求标准规范证明.急 明天就考试了1.一个有效的第一格三段论,结论为特称否定,大前提只能是全称否定.2.结论为否定的正确三段论,大前提不能是特称肯定命题. 逻辑学证明题证明中项周延两次的三段论,其结论不能为全程判断.