试构造一个有效的三段论形式，其大前提为特称否定命题.并说明构造的步骤和理由
证明。一个有效的三段论，若小前提为全称否定命题，则大前提必须为全称 1、结论为特称否定命题，则大项在结论中周延，按照三段论“在前提中不周延的项在结论中也不得周延”的规则，大项在大前提中必须也周延，而第一格的三段论大项在大前提中作。
若一个有效三段论的结论为全称肯定命题，则其大前提应为 ，小前提 若一个有效三段论的结论为全称肯定命题，则其大前提应为（全称肯定命题），小前提应为（全称肯定命题）。
有效三段论，如果结论是否定判断，则其大前提为什么不能为map
一个有效的三段论，若大前提为MOP，则小前提是MAS的推理依据？ 证明：1、一个有效的三段论，若大前提为MOP，那么在大前提中，中项M不周延（特称命题的主项是不周延的），根据三段论规则，中项在前提中至少周延一次，就要求中项M在小前提中周延.2、要使中项在小前提中周延，小前提可能是MES、MAS、SEM、SOM（全称命题的主项或否定命题的谓项周延）.3、大前提为否定命题，根据三段论的规则，两个否定的前提不能得出结论，所以，小前提不能是否定命题MES、SEM、SOM.4、所以，一个有效的三段论，若大前提为MOP，则小前提是MAS.
一个有效的三段论的小前提是E判断，其大前提是 B，这是因为小前提是E，则大前提应该为肯定命题，结论为否定命题，在结论中大项是周延的，要使大项在前提中也周延，只能是全称命题的主项，故选B.
证明。一个有效的三段论，若小前提为全称否定命题，则大前提必须为全称 这个问题我刚回答过。如果小前提为全称否定命题，根据“两个否百定的前提不能推出结论”，则大前提不能是全称否定命题或特称否定命题。要推出结论，大前提必须是肯定命题。如果大前提是特称肯定命题，则大前提中大项是不周延的，度而小前提是否定命题，根据“前专提中有一个是否定的，则结论也是否定的”规则，大项在结论中变得周延了，又违反了“在前提中不周延的项在结论属中也不得周延”的规则。所以，一个有效的三段论，若小前提为全称否定命题，则大前提必须为全称肯定命题。
如一有效三段论的小前提是否定判断，则其大前提只能是 a：pam b：mop c：pem d：map
