如何判断一个三段论是不是AOO式？

Question

如题所述

Answer 1

小前提是O命题，根据“两个特称的前提不能得出结论”和“两个否定命题不能得出结论”的规则，大前提不能是I命题、O命题和E命题，只能是A命题；再根据“前提中有一个是特称的，则结论也是特称的”和“前提中有一个是否定的，则结论也是否定的”规则，结论不能是A命题、E命题和I命题，只能是O命题；则这个三段论是AOO式。
结论是O命题，则在结论中大项是周延的，按照“在前提中不周延的项在结论中也不得周延”的规则，大项在大前提中也必须周延，而已证大前提是A命题，可知大前提为PAM；在大前提中中项M做肯定命题的谓项，是不周延的，按照“中项在前提中至少周延一次”的规则，中项在小前提中必须周延，而已知小前提是O命题，可知小前提只能是SOM；则该三段论为第二格的AOO式。