三段论第四格的结构是： 试运用三段论的基本规则证明，第四格前提如果有一否定命题，那么大前提必须是全称命题。
证明(反证法):假设前提中有一否定命题，且大前提并不是全称命题。如果前提有一否定命题，且大前提不是全称命题,若大前提否定,根据第4格形式可知，大前提中大项不周延，中项周延。根据规则7,前提中有一特称命题,则结论必须是特称命题。根据规则3,在前提中不周延的项在结论中也不得周延。可知，结论的谓项不周延，故结论为1判断(即肯定判断).根据规则5，前提中有一否定,结论必定否定。可知，上述推理与规则矛盾。所以假设不成立，故前提中有一否定命题，则大前提必须是全称命题。
