企源知识库

三段论第三格的结构是：
[图1]
试运用三段论的基本规则证明：第三格的小前提必须是肯定命题。

【正确答案】：证明（反证法）：假设小前提不是肯定命题。
如果小前提不是肯定命题，那么根据规则五，前提中有一否定，结论必定否定，由此可知，结论中谓项周延，即三段论中大项周延。根据第三格的形式，可知三段论中的大项是大前提的谓项，若大前提中谓项周延，那么大前提必否定。小前提也是否定命题。那么根据三段论规则4，两否定前提不能得出结论，所以上述推理与规则矛盾。所以假设不成立，即小前提必须是肯定命题。