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

Question

如题所述

Answer 1

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

Answer 2

1、根据三段论的一般规则，大前提为O，则小前提必为A（规则4：两个否定的前提不能得出正确的结论，排除OE判断，据规则：两个特称的前提不能得出正确结论，排除了I 判断）；再根据规则5和规则7，可知结论为O判断。
2、由于结论为O，大项在结论中周延，说明它在前提中是周延的（规则3：前提中不周延的项，在结论中不得周延），而大前提已知为O，根据性质判断周延情况，O判断是谓项周延，所以，大项在大前提中一定是作谓项。由此也可知中项M在大前提中作主项，不周延。根据规则2，中项在前提中至少周延一次，而小前提为A，A主项周延，谓项不周延，所以，中项要周延，在小前中只能作主项，小项在小前提中作谓项。即 MOP
MAS
——————
∴SOP
3、可知是第三格OAO式本回答被网友采纳