写出第四格三段论的一般形式结构，并试用三段论的一般规则证明三段论第四格的大前提不能是O判断，小前提也不能是O判断。

正确答案: 第四格三段论一般形式结构为（如下图所示）：
证明：（1）若大前提为O判断，则结论否定，则大项在结论中周延。大项在结论中周延，它在大前提中也应该周延，而大项在大前提中不周延（大前提已假定为有些P不是M），故这一三段论无效。
（2）如果上述形式中小前提“M——S”为特称否定判断，则中项M在小前提中不周延，这就要求中项M在大前提中必须要周延。中项M在大前提处于谓项的位置（P——M），要使其周延，大前提就必须是否定判断，这样一来，由两个否定前提就不能必然推出结论。由上述（1）（2）证明可知，三段论第四格的大、小前提都不能是O判断。