一个逻辑证明题,要证明的过程
问题描述：
一个逻辑证明题,要证明的过程
若一有效三段论的大前提为O判断,试证明这一三段论的具体形式是第三格OAO式.
答
∵大前提为特称否定判断.根据三段论原则：“前提中有一否定,则结论必否定”和“前提中有一特称则结论必特称”,∴大项P在结论中周延.根据三段论规则：“结论中周延的项在前提中一定周延”,可知,大项P在前提中必周延....