2016-2017学年高中数学 第一章 常用逻辑用语 1.3 全称量词与存在量词课件 北师大版选修2-1.pptVIP

[名师妙点]　(1)特称命题的否定是全称命题，因此否定一个特称命题时，要把存在量词换成全称量词，再否定命题的结论即可；全称命题的否定是特称命题，因此否定一个全称命题时，要把全称量词换成存在量词，再否定命题的结论即可． (2)命题的否定与原命题的真假性相反，可以用这一特点进行全称命题与特称命题的真假判断；也可以借助该结论检验所写命题的否定是否正确． 3．判断下列命题的真假，写出这些命题的否定并判断真假． (1)三角形的内角和为180°； (2)每个二次函数的图象都开口向下； (3)存在一个四边形不是平行四边形； (4)存在一个实数x0，使得3x00. 解析：　(1)全称命题，且为真命题．否定：三角形的内角和不全为180°，即存在一个三角形，且它的内角和不等于180°.是假命题． (2)全称命题，且为假命题．否定：存在一个二次函数的图象开口不向下．是真命题． (3)特称命题，且为真命题．否定：所有四边形都是平行四边形．是假命题． (4)特称命题，且为假命题．否定：对于所有实数x，都满足3x≥0.是真命题． ◎已知函数f(x)＝x2－2x＋5，x∈[0,3]，若m－f(x)＞0有解，求实数m的取值范围． 【错解】　∵f(x)＝x2－2x＋5＝(x－1)2＋4，x∈[0,3]， 当x＝1时，f(x)min＝4； 当x＝3时，f(x)max＝8. 又m＞f(x)有解， ∴m＞f(x)max. ∴m＞8. 【错因】　上述解法中犯了这样的错误：把特称命题当成了全称命题．m＞f(x)有解是存在一实数x0，使m－f(x0)＞0成立．即m＞f(x)min即可． m＞f(x)恒成立是对任意实数x，恒有m－f(x)＞0成立．即m＞f(x)max. 【正解】　∵f(x)＝x2－2x＋5＝(x－1)2＋4，x∈[0,3]， ∴当x＝1时，f(x)min＝4； 当x＝3时，f(x)max＝8. 又m＞f(x)有解，只需m＞f(x)min， 即m＞4. 学课前预习学案 数学 选修2-1 讲课堂互动讲义 练课后演练提升 第一章 常用逻辑用语 §3　全称量词与存在量词 学课前预习学案 考察下面几个命题： (1)偶函数的图像关于y轴对称； (2)正四棱柱都是平行六面体； (3)有大于等于3的实数； (4)有些向量的模为1； (5)指数函数中有单调递增函数． 其中哪些命题中含有“所有的”，“任意的”意思？哪些命题中含有“存在”，“至少有一个”的意思？你能用上这几个短语中的某一个重新叙述原来的命题吗？ [提示]　(1)与(2)中有“所有的”，“任意的”意思，(3)(4)(5)中都有“存在一个”、“至少有一个的意思”． (1)可以叙述为：所有偶函数的图像都关于y轴对称； (2)可以叙述为：所有的正四棱柱都是平行六面体； (3)可以叙述为：存在大于等于3的实数； (4)可以叙述为：存在模为1的向量； (5)可以叙述为：至少有一个指数函数是单调递增函数． 1．全称量词与全称命题 像“所有” “每一个” “任何” “任意” “一切”都是在指定范围内，表示_____________的含义，这样的词叫作全称量词，通常用符号“____”表示．含有____________的命题，叫作全称命题． 整体或全部 ? 全 称量词 [强化拓展] (1)常用的全称量词： 一般地，日常生活和数学中所用的“一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”等词可统称为全称量词，表示指定范围内的所有个体． (2)全称命题的格式： 一般地，设p(x)是某集合M的所有元素都具有的性质，那么全称命题就是形如：“对M中的所有x，p(x)成立”的命题，可以用符号简记为：?x∈M，p(x)． 2．存在量词与特称命题 我们将表示事物的_______________的含义的量词叫作存在量词．通常用符号 “____”表示．含有___________的命题，叫作特称命题． 个别或一部分 ? 存在量词 [强化拓展] (1)常用的存在量词： 一般地，日常生活和数学中所用的“存在”，“有一个”，“有的”，“至少有一个”等词统称为存在量词，记作?x，?y等，表示个体域里的个体． (2)特称命题的格式： 一般地，设q(x)是某集合M的有些元素具有的性质，那么特称命题就是形如：“存在集合M中的元素x，q(x)成立”的命题．用符号简记为：?x∈M，q(x)． 3．全称命题与特称命题的否定 (1)全称命题p：?x∈M，有p(x)成立；其否定命题为：_______________________． (2)特称命题p：?x∈M，使p(x)成立；其否定命题为： _______________________ ． ?x∈M，使p(x)不成立 ?x∈M，有p(x)不成立 [强化拓展] (1)对全称命题与特称命题进行否定的方