这一证明可以分以下四步进行：
（1）已知大前提为特称否定判断，根据三段论“前提之一否定，结论必否定”和“前提之一特称，结论必特称”的规则可知，其结论必为特称否定判断，即SOP。
（2）已知大前提为特称否定判断，根据三段论“两个否定前提不能得出结论”和“两个特称前提不能得出结论”的规则可知：小前提必为全称肯定判断。
（3）由于大项在结论中周延，大项在大前提中必周延，已知大前提为特称否定判断，故大前提为MOP。
（4）中项在大前提中不周延，故在小前提中必周延（根据三段论“在前提中，中项必须至少周延一次”推出）。又知小前提为全称肯定判断（已证），故小前提为MAS。所以，此三段论属于第三格的OAO式。
（简答题）
一个正确的三段论，其大前提是特称否定判断，这个三段论的小前提和结论各是什么判断？它属于第几格？为什么？
正确答案
答案解析
略
相似试题
（单选题）
如一有效三段论的小前提是否定判断，则大前提只能是（）
（简答题）
已知某一有效三段论的小前提是否定判断，试证：该三段论的大前提只能是全称肯定判断。
（简答题）
一个三段论以E判断为大前提，I判断为小前提，能得出什么结论？为什么？
（填空题）
一个有效的第三格三段论，其大前提为MIP，其小前提应为（），结论应为（）。
（简答题）
如果一个有效三段论的大前提为O判断，试问它是第几格三段论？请分别以S、M、P为小项、中项、大项，写出它的逻辑形式。
（简答题）
如果一个正确三段论的结论为SAP，它的大前提、小前提各是什么？以“M”作中项写出它的逻辑形式。
（单选题）
“既说‘一个三段论若形式有效且前提真实，结论则真实’不正确；又说‘一个三段论若形式有效且前提真实，结论则不真实’也不正确。”这段话犯了（）的逻辑错误。
（简答题）
写出第四格三段论的一般形式结构，并试用三段论的一般规则证明三段论第四格的大前提不能是O判断，小前提也不能是O判断。
（多选题）
当一个三段论的形式有效而结论虚假时，它的两个前提必定是（）
