试运用三段论基本规则证明第三格的小前提必须是肯定的。<>试运用三段论基本规则证明第三格的小前提必须是肯定的。

试运用三段论基本规则证明第三格的小前提必须是肯定的。<>试运用三段论基本规则证明第三格的小前提必须是肯定的。

证明（反证法）：假设小前提是否定的，根据规则五，则结论是否定的，这样大项在结论中周延。根据规则三，大项在前提中必须得到周延，在第三格中，大项是大前提的谓项。所以大前提必须是否定的。根据规则四，两个否定前提推不出结论。所以假设不成立，小前提必须是肯定的