1.5.2　全称量词命题和存在量词命题的否定.pptxVIP

第一章集合与常用逻辑用语1.5全称量词与存在量词1.5.2全称量词命题和存在量词命题的否定

课前·基础认知课堂·重难突破

课前·基础认知1.含有量词的命题的否定对于含有一个量词的命题的否定,有下面的结论:全称量词命题:?x∈M,p(x),它的否定:?x∈M,?p(x);?存在量词命题:?x∈M,p(x),它的否定:?x∈M,?p(x).?全称量词命题的否定是存在量词命题,存在量词命题的否定是全称量词命题.2.命题的否定与原命题的真假一个命题的否定,仍是一个命题,它和原命题只能是一真一假.

微思考含有一个量词的命题的否定是不是“双重否定”?提示:不是.含有一个量词的命题的否定,是在否定结论的同时,改变量词的属性,即全称量词改为存在量词,存在量词改为全称量词,这是叙述命题的需要,不能认为是对命题进行“两次否定”,否则就是“双重否定即肯定”,所以含有一个量词的命题的否定仍是一次否定.

课堂·重难突破一 全称量词命题的否定典例剖析1.写出下列命题的否定,并判断其真假.(1)不论m取何实数,方程x2+x-m=0必有实数根;(2)等圆的面积相等;(3)每个三角形至少有两个锐角.

?

1.写全称量词命题的否定的两个步骤(1)改变量词:把全称量词换为恰当的存在量词.即:全称量词(?)存在量词(?).(2)否定结论:原命题中的“是”“成立”等改为“不是”“不成立