三段论第四格的结构是:试运用三段论的基本规则证明,第四格如果前提有一否定命题,那么大前提必须是全称命题。
证明(反证法):假设前提中有一否定命题,且大前提并不是全称命题。(1分)如果前提有一否定命题,且大前提不是全称命题,若大前提否定,根据第四格形式可知,大前提中大项不 周延,中项周延。(2分)根据规则七,前提中有一特称命题,则结论必须是特称命题。根据规则三,在前提 中不周延的项在结论中也不得周延,可知,结论的谓项不周延,故结论为I判断(即肯定判断)。(2分)根 据规则五,前提中有一否定,结论必定否定,可知,上述推理与规则矛盾。(2分)所以假设不成立,故前提 中有一否定命题,则大前提必须是全称命题。(1分)(注:用其他方法进行正确证明也可酌情给分。)