若一个有效三段论的大项在前提中周延，但在结论中不周延.试证明该三段论的形式是第四格AAI式。

若一个有效三段论的大项在前提中周延，但在结论中不周延.试证明该三段论的形式是第四格AAI式。

证明：(1)大项在结论中不周延，大项是结论中的谓项，所以结论必为肯定判断。(2)根据三段论规则，结论为肯定判断，那么两前提必为肯定判断。(3)大前提为肯定判断，大项在前提中周延，大前提必为PAM。(4)中项M在大前提中不周延，在小前提中必周延，小前提也为肯定判断，小前提为MAS。(5)小项s在小前提中不周延，结论必特称，为SIP。所以，此三段论为第四格AAT式