一个有效的三段论,若大前提为MOP,则小前提是MAS的推理依据?

题目

一个有效的三段论,若大前提为MOP,则小前提是MAS的推理依据?

答案

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