一有效三段论,大项在前提中不周延,小项在结论中周延求证该三段论的格与式，请写出详细相应证明过程

1、大项在前提中不周延有两种情况，一是做特称命题的主项，二是做肯定命题的谓项，而结论中小项周延，则说明结论是全称命题，按照“前提中有一个是特称的，结论必然是特称的”规则，大项不能做特称命题的主项，那么，大前提只能是肯定命题。
2、小项在结论中周延，按照“前提中不周延的项在结论中也不得周延”的规则，小项在小前提中也必须周延。小项在小前提中周延，或者做全称命题的主项，或者做否定命题的谓项。再按照“前提中有一个是否定的，结论必然是否定的”规则，如果小项在小前提做否定的谓项，结论也必然是否定的。而结论如果是否定的，则大项在结论中周延，这又违反了“前提中不周延的项在结论中也不得周延”规则，可见，小项在小前提中只能是全称肯定命题的主项。
3、再按照“中项在前提中要至少周延一次”的规则，中项必须在前提中至少周延一次。小前提中小项做全称肯定命题的主项，中项做肯定命题的谓项是不周延的，则要求中项要在大前提中周延。大前提中大项做肯定命题的谓项，中项只有做全称肯定命题的主项才是周延的。
4、所以，这个三段论的形式应该是：
大前提：MAP
小前提：SAM
结 论：SAP
这是个三段论第一格的AAA式。