证明：（1）若大前提为O判断，则结论否定，则大项在结论中周延。大项在结论中周延，它在大前提中也应该周延，而大项在大前提中不周延（大前提已假定为有些P不是M），故这一三段论无效。
（2）如果上述形式中小前提“M——S”为特称否定判断，则中项M在小前提中不周延，这就要求中项M在大前提中必须要周延。中项M在大前提处于谓项的位置（P——M），要使其周延，大前提就必须是否定判断，这样一来，由两个否定前提就不能必然推出结论。由上述（1）（2）证明可知，三段论第四格的大、小前提都不能是O判断。
（简答题）
写出第四格三段论的一般形式结构，并试用三段论的一般规则证明三段论第四格的大前提不能是O判断，小前提也不能是O判断。
正确答案
第四格三段论一般形式结构为（如下图所示）：
证明：（1）若大前提为O判断，则结论否定，则大项在结论中周延。大项在结论中周延，它在大前提中也应该周延，而大项在大前提中不周延（大前提已假定为有些P不是M），故这一三段论无效。
（2）如果上述形式中小前提“M——S”为特称否定判断，则中项M在小前提中不周延，这就要求中项M在大前提中必须要周延。中项M在大前提处于谓项的位置（P——M），要使其周延，大前提就必须是否定判断，这样一来，由两个否定前提就不能必然推出结论。由上述（1）（2）证明可知，三段论第四格的大、小前提都不能是O判断。
证明：（1）若大前提为O判断，则结论否定，则大项在结论中周延。大项在结论中周延，它在大前提中也应该周延，而大项在大前提中不周延（大前提已假定为有些P不是M），故这一三段论无效。
（2）如果上述形式中小前提“M——S”为特称否定判断，则中项M在小前提中不周延，这就要求中项M在大前提中必须要周延。中项M在大前提处于谓项的位置（P——M），要使其周延，大前提就必须是否定判断，这样一来，由两个否定前提就不能必然推出结论。由上述（1）（2）证明可知，三段论第四格的大、小前提都不能是O判断。
答案解析
略
相似试题
（多选题）
下列三段论形式中，第三格的有效式为（）
（单选题）
在以下三段论第三格的推理形式中，无效式是（）
（简答题）
如果一个正确三段论的结论为SAP，它的大前提、小前提各是什么？以“M”作中项写出它的逻辑形式。
（简答题）
一个有效三段论的大项在前提中周延而在结论中不周延，请写出该三段论的格与式，并写明推导过程。
（简答题）
如果一个有效三段论的大前提为O判断，试问它是第几格三段论？请分别以S、M、P为小项、中项、大项，写出它的逻辑形式。
（简答题）
这些推理都不是三段论推理。因为所有的三段论推理都是借助于中项得出结论的，而这些推理都不是借助于中项得出结论的。”这段话表达了一个什么推理？请用符号表示其形式结构，并说明其是否正确。
（多选题）
根据三段论七条一般规则和各格的具体规则，下列各式中属第一格有效式的是（）
（简答题）
请写出下列推理的逻辑形式，并简析其推理形式是否正确。“SAP假或SEP假；SAP真；所以，SEP假。”
（多选题）
下列式子中，三段论第三格的有效式是（）
