2018版高中数学 第一章 常用逻辑用语 1.4 全称量词与存在量词 1.4.3 含有一个量词的命题的否定学案 新人教A版选修2-1.docVIP

1.4.3　含有一个量词的命题的否定 学习目标　1.理解含有一个量词的命题的否定的意义.2.会对含有一个量词的命题进行否定.3.掌握全称命题的否定是特称命题，特称命题的否定是全称命题. 知识点一　全称命题的否定 思考　尝试写出下面含有一个量词的全称命题的否定，并归纳写全称命题否定的方法. (1)所有矩形都是平行四边形； (2)每一个素数都是奇数； (3)x∈R，x2－2x＋1≥0. 答案　(1)将量词“所有”换为：“存在一个”然后将结论否定，即“不是平行四边形”，所以原命题的否定为：“存在一个矩形不是平行四边形”；用同样的方法可得(2)(3)的否定： (2)存在一个素数不是奇数； (3)x0∈R，x－2x0＋10. 梳理　写全称命题的否定的方法：(1)更换量词，将全称量词换为存在量词；(2)将结论否定. 对于含有一个量词的全称命题的否定，有下面的结论：全称命题p：x∈M，p(x)，它的否定綈p：x0∈M，綈p(x0). 全称命题的否定是特称命题. 知识点二　特称命题的否定 思考　尝试写出下面含有一个量词的特称命题的否定，并归纳写特称命题否定的方法. (1)有些实数的绝对值是正数； (2)某些平行四边形是菱形； (3)x0∈R，x＋10. 答案　(1)先将存在量词“有些”改写为全称量词“所有”，然后将结论“实数的绝对值是正数”否定，即“实数的绝对值不是正数，于是得原命题的否定为：“所有实数的绝对值都不是正数”；同理可得(2)(3)的否定： (2)所有平行四边形都不是菱形； (3)x∈R，x2＋1≥0. 梳理　写特称命题的否定的方法：(1)将存在量词改写为全称量词，(2)将结论否定. 对于含一个量词的特称命题的否定，有下面的结论： 特称命题p：x0∈M，p(x0)，它的否定綈p：x∈M，綈p(x).特称命题的否定是全称命题. 类型一　全称命题的否定 例1　写出下列全称命题的否定： (1)任何一个平行四边形的对边都平行； (2)数列：1，2，3，4，5中的每一项都是偶数； (3)a，b∈R，方程ax＝b都有惟一解； (4)可以被5整除的整数，末位是0. 解　(1)其否定：存在一个平行四边形，它的对边不都平行. (2)其否定：数列：1，2，3，4，5中至少有一项不是偶数. (3)其否定：a，b∈R，使方程ax＝b的解不惟一或不存在. (4)其否定：存在被5整除的整数，末位不是0. 反思与感悟　全称命题的否定是特称命题，对省略全称量词的全称命题可补上量词后进行否定. 跟踪训练1　写出下列全称命题的否定： (1)p：每一个四边形的四个顶点共圆； (2)p：所有自然数的平方都是正数； (3)p：任何实数x都是方程5x－12＝0的根； (4)p：对任意实数x，x2＋1≥0. 解　(1)綈p：存在一个四边形，它的四个顶点不共圆. (2)綈p：有些自然数的平方不是正数. (3)綈p：存在实数x0不是方程5x0－12＝0的根. (4)綈p：存在实数x0，使得x＋10. 类型二　特称命题的否定 例2　写出下列特称命题的否定，并判断其否定的真假. (1)p：x01，使x－2x0－3＝0； (2)p：有些素数是奇数； (3)p：有些平行四边形不是矩形. 解　(1) 綈p：x1，x2－2x－3≠0(假). (2) 綈p：所有的素数都不是奇数(假). (3) 綈p：所有的平行四边形都是矩形(假). 反思与感悟　特称命题的否定是全称命题，写命题的否定时要分别改变其中的量词和判断词.即p：x0∈M，p(x0)成立綈p：x∈M，綈p(x)成立. 跟踪训练2　写出下列特称命题的否定，并判断其否定的真假. (1)有些实数的绝对值是正数； (2)某些平行四边形是菱形； (3)x0，y0∈Z，使得x0＋y0＝3. 解　(1)命题的否定是“不存在一个实数，它的绝对值是正数”，即“所有实数的绝对值都不是正数”.它为假命题. (2)命题的否定是“没有一个平行四边形是菱形”，即“每一个平行四边形都不是菱形”.由于菱形是平行四边形，因此命题的否定是假命题. (3)命题的否定是“x，y∈Z，x＋y≠3”.当x＝0，y＝3时，x＋y＝3，因此命题的否定是假命题. 类型三　特称命题、全称命题的综合应用 例3　已知函数f(x)＝x2－2x＋5. (1)是否存在实数m，使不等式m＋f(x)0对于任意x∈R恒成立，并说明理由； (2)若存在一个实数x0，使不等式m－f(x0)0成立，求实数m的取值范围. 解　(1)不等式m＋f(x)0可化为m－f(x)， 即m－x2＋2x－5＝－(x－1)2－4. 要使m－(x－1)2－4对于任意x∈R恒成立，只需m－4即可. 故存在实数m，使不等式m＋f(x)0对于任意x∈R恒成立，此时，只需m－4. (2)不等式m－f(x0)0可化为mf(x0)，若存在一