法学逻辑三段论第一格中为何AEO不是有效式?

三段论第一格AEO形式如下:

MAP

SEM

SOP

这个三段论形式大项P在前提中作肯定命题的谓项，是不周延的，在结论中做否定命题的谓项，是周延的。这违反了三段论“在前提中不周延的项在结论中也不得周延”的规则，所以是无效式。