试运用三段论的基本规则证明，第四格如果前提有一否定命题，那么大前提必须是全称命题。
答：证明（反证法）：假设前提中有一否定命题，且大前提并不是全称命题。（1分）如果前提有一否定命题，且大前提不是全称命题，若大前提否定，根据第4格形式可知，大前提中大项不周延，中项周延。（2分）根据规则7，前提中有一特称命题，则结论必须是特称命题。根据规则3，在前提中不周延的项在结论中也不得周延，可知，结论的谓项不周延，故结论为I判断（即肯定判断）。（2分）根据规则5，前提中有一否定，结论必定否定，可知，上述推理与规则矛盾。（2分）所以假设不成立，故前提中有一否定命题，则大前提必须是全称命题。（1分）（注：用其它方法进行正确证明也可酌情给分。）
扫描微信二维码，添加您的专属老师为好友
您在考试中遇到任何问题，老师都会帮您解答
您希望我们通过哪种方式与您联系？
您已选择电话/微信/QQ的联系方式，课程顾问会尽快联系您！
您已选择微信联系方式，课程顾问会尽快添加您的微信，请您确认通过！
您已选择QQ联系方式，课程顾问会尽快添加您的QQ，请您确认通过！
您已选择电话联系方式，课程顾问会尽快联系您！
您已选择“不联系”，课程顾问不会主动联系您。如果后续您有需求，可以在个人中心主动添加销售微信或拨打客服电话：400-111-9811
