试用三段论的一般规则证明三段论第四格的大前提不能是O判断，小前提也不能是O判断。
证明：(1)已知三段论第四格中，中项分别是大前提的谓项和小前提的主项。若大前提为O判断，则结论否定，则大项在结论中周延。大项在结论中周延，它在大前提中也应该周延，由于大项是大前提的主项，故而大项在大前提中不周延，故这一三段论无效。如果上述形式中小前提为特称否定判断，则中项M在小前提中不周延。这就要求中项M在大前提中必须要周延。中项M是大前提的谓项，要使其周延，大前提就必须是否定判断，这样一来，由两个否定前提就不能必然推出结论。由上述(1)(2)证明可知，三段论第四格的大、小前提都不能是0判断。
