已知某有效三段论的大前提为O判断，试证明：（1）其小前提必为A判断;（2）该三段论为第三格0AO式。

已知某有效三段论的大前提为O判断，试证明：（1）其小前提必为A判断;（2）该三段论为第三格0AO式。

已知某有效三段论的大前提为O判断，则其结论必为O判断，故其大项在结论中周延;因此，存大前提中大项必须周延，因此大前提必为MOP，由此可见。中项在人前提中没有周延，根据基本规则，中项在小前提中必须周延;又因为大前提为否定判断，所以小前提必须为肯定判断，所以小前提必为MAS。，所以该三段论为第三格的OAO式。