萬光譽丁名 2020-03-25

根據條件，可作如下推導：

（1）、大項在結論中周延，結論可能為SOP或者SEP（否定命題的謂項周延）；

（2）、小項在前提中不周延，結論只能是SOP（在前提中不周延的項在結論中也不得周延）；

（3）、大前提肯定，大項在大前提中也必須周延，則大前提只能是PAM（全稱命題的主項周延）；

（4）、由（2）（3）推出小前提必否定（結論是否定的，前提中必有一個是否定的），則小前提只能是SOM；

（5）綜上所述，該三段論是第二格的AOO式。