三段论的证明

第一格的规则证明：l ①小前提必须是肯定的。l 假设小前提是否定的。如此，根据基本规则，大前提必为肯定命题。大前提肯定，则大前提的谓项不周延。而在第一格中，大项是大前提的谓项，所以，大项在大前提中不周