证明： 　　1、一个有效的三段论,若大前提为MOP,那么在大前提中,中项M不周延（特称命题的主项是不周延的）,根据三段论规则,中项在前提中至少周延一次,就要求中项M在小前提中周延. 　　2、要使中项在小前提中周延,小前提可能是MES、MAS、SEM、SOM（全称命题的主项或否定命题的谓项周延）. 　　3、大前提为否定命题,根据三段论的规则,两个否定的前提不能得出结论,所以,小前提不能是否定命题MES、SEM、SOM. 　　4、所以,一个有效的三段论,若大前提为MOP,则小前提是MAS.