【正确答案】证明：设一有效三段论的小前提为O判断，则此三段论要么是第一格、要么是第二格、要么是第三格、要么是第四格。 若该三段论为第一格，因小前提否定则结论否定，结论中的大项周延；根据规则大项亦须在前提中周延，即大前提应否定，大小前提均否定的三段论无效，故不可能是第一格。 同理可证该三段论不是第三格。 若该三段论为第四格，则小前提的主项(中项)不周延，故大前提的谓项(中项)必须周延，则大前提亦否定。大小前提均否定，三段论无效，故不可能是第四格。 因此该三段论为第二格。