【正确答案】这一证明可以分以下四步进行： ①已知大前提为特称否定命题，根据三段论“前提之一否定，结论必否定”和“前提之一特称，结论必特称”的规则可知，其结论必为特称否定命题，即SOP。 ②已知大前提为特称否定命题，根据三段论“两个否定前提不能得出结论”和“两个特称前提不能得出结论”的规则可知：小前提必为全称肯定命题。 ③由于大项在结论中周延，大项在大前提中必周延，已知大前提为特称否定命题，故大前提为MOP。 由③可推知④：中项在大前提中不周延，故在小前提中必周延(根据三段论“在前提中，中项必须至少周延一次”推出)。又知小前提为全称肯定命题(已证)，故小前提为MAS。 所以，此三段论属于第三格的OAO式。