三段论第四格的结构如题43图所示：

试运用三段论的基本规则证明：如果一个第四格的有效三段论的大前提是肯定命题，那么其小前提必须是全称命题。

三段论第四格的结构如题43图所示：

试运用三段论的基本规则证明：如果一个第四格的有效三段论的大前提是肯定命题，那么其小前提必须是全称命题。

证明(反证法):假设大前提是肯定命题，但小前提并不是全称命题。
若大前提是肯定命题，且小前提不是全称命题，可知，大前提中谓项必不周延，小前提的主 项不周延。
由第四格的形式可知，大前提的谓项和小前提的主项都为中项。
根据规则2,中项在两前提中至少周延一次，可知，若大前提是肯定命题，且小前提不是全 称命题，就会犯中项不周延的错误。
所以，假设不成立，即若大前提是肯定命题，小前提必须是全称命题。
(注：用其它方法进行正确证明也可以)