参考答案和解析
正确答案:
这一证明可以分以下四步进行：
（1）已知大前提为特称否定判断，根据三段论“前提之一否定，结论必否定”和“前提之一特称，结论必特称”的规则可知，其结论必为特称否定判断，即SOP。
（2）已知大前提为特称否定判断，根据三段论“两个否定前提不能得出结论”和“两个特称前提不能得出结论”的规则可知：小前提必为全称肯定判断。
（3）由于大项在结论中周延，大项在大前提中必周延，已知大前提为特称否定判断，故大前提为MOP。
（4）中项在大前提中不周延，故在小前提中必周延（根据三段论“在前提中，中项必须至少周延一次”推出）。又知小前提为全称肯定判断（已证），故小前提为MAS。所以，此三段论属于第三格的OAO式。
