已知某有效三段论的大前提为0判断，试证明：（1)其小前提必为A判断；（2)该三段论为第三格0A0式。
证明：已知某有效三段论的大前提为0判断，则 其结论必为O判断，故萁大项在结论中周延；因 此，在大前提中大项必须周延，因此大前提必为 M O P，由此可见，中项在大前提中没有周延，根 据基本规则，中项在小前提中必须周延；又因为 大前提为否定判断，所以小前提必须为肯定判 断，所以小前提必为MAS。所以该三段论为第 三格的0A0式。
已知某有效三段论的大前提为0判断，试证明：（1)其小前提必为A判断；（2)该三段论为第三格0A0式。
证明：已知某有效三段论的大前提为0判断，则 其结论必为O判断，故萁大项在结论中周延；因 此，在大前提中大项必须周延，因此大前提必为 M O P，由此可见，中项在大前提中没有周延，根 据基本规则，中项在小前提中必须周延；又因为 大前提为否定判断，所以小前提必须为肯定判 断，所以小前提必为MAS。所以该三段论为第 三格的0A0式。
