Question

一个逻辑证明题， 求解，要证明的过程

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

Answer 1

∵大前提为特称否定判断。
根据三段论原则：“前提中有一否定，则结论必否定”和“前提中有一特称则结论必特称”，
∴大项P在结论中周延。
根据三段论规则：“结论中周延的项在前提中一定周延”，可知，大项P在前提中必周延。
∴大前提必为MOP。
∴大前提否定，根据三段论规则：“两否定前提不能推出结论”，可知，小前提必为肯定判断。
又∵M在大前提中不周延，而三段论规则：“中项至少周延一次”，∴小前提必为MAS。
∴该三段论为第三格OAO式。