高中数学同步导学（2017新课标）（预备知识2）：专题九 含有一个量词的命题的否定 Word版含解析.docVIP

学习目标] 1．通过探究数学中一些实例，使学生归纳总结出含有一个量词的命题与它们的否定在形式上的变化规律． 2．通过例题和习题的教学，使学生能够根据含有一个量词的命题与它们的否定在形式上的变化规律，正确地对含有一个量词的命题进行否定． 知识链接] 你能尝试写出下面含有一个量词的命题的否定吗？ (1)所有矩形都是平行四边形； (2)每一个素数都是奇数； (3)?xR，x2－2x＋1≥0. 答：(1)存在一个矩形不是平行四边形； (2)存在一个素数不是奇数； (3)?x0R，x－2x0＋10. 预习导引] 1．全称命题的否定： 全称命题p：?xM，p(x)， 它的否定p：?x0∈M，p(x0)． 2．特称命题的否定： 特称命题p：?x0∈M，p(x0)， 它的否定p：?x∈M，p(x)． 3．全称命题的否定是特称命题． 特称命题的否定是全称命题.　　　　　　　　　　　　　　　　　　　 要点一　全称命题的否定 例1　写出下列命题的否定： (1)任何一个平行四边形的对边都平行； (2)数列{1,2,3,4,5}中的每一项都是偶数； (3)?a，bR，方程ax＝b都有唯一解； (4)可以被5整除的整数，末位是0. 解　(1)是全称命题，其否定为：存在一个平行四边形的对边不都平行． (2)是全称命题，其否定：数列{1,2,3,4,5}中至少有一项不是偶数． (3)是全称命题，其否定：?a，bR，使方程ax＝b的解不唯一或不存在． (4)是全称命题，其否定：存在被5整除的整数，末位不是0. 规律方法　全称命题的否定是特称命题，对省略全称量词的全称命题可补上量词后进行否定． 跟踪演练1　写出下列全称命题的否定： (1)p：所有能被3整除的整数都是奇数； (2)p：每一个四边形的四个顶点共圆； (3)p：对任意xZ，x2的个位数字不等于3. 解　(1) p：存在一个能被3整除的整数不是奇数． (2) p：存在一个四边形，它的四个顶点不共圆． (3) p：?x0Z，x的个位数字等于3. 要点二　特称命题的否定 例2　写出下列特称命题的否定，并判断其真假． (1)p：?x1，使x2－2x－3＝0； (2)p：有些素数是奇数； (3)p：有些平行四边形不是矩形； 跟踪演练2　写出下列特称命题的否定： (1)p：?x0R，x＋2x0＋2≤0； (2)p：有的三角形是等边三角形； (3)p：有一个素数含三个正因数． 解　(1) p：?x∈R，x2＋2x＋20. (2) p：所有的三角形都不是等边三角形． (3) p：每一个素数都不含三个正因数． 要点三　特称命题、全称命题的综合应用 例3　已知函数f(x)＝4x2－2(p－2)x－2p2－p＋1在区间－1,1]上至少存在一个实数c，使得f(c)0.求实数p的取值范围． 解　在区间－1,1]中至少存在一个实数c，使得f(c)0的否定是在－1,1]上的所有实数x，都有f(x)≤0恒成立．又由二次函数的图象特征可知， 　即 即p≥或p≤－3. 故在区间－1,1]上至少存在一个实数c且使f(c)＞0的实数p的取值范围是(－3，)． 规律方法　通常对于“至多”“至少”的命题，应采用逆向思维的方法处理，先考虑命题的否定，求出相应的集合，再求集合的补集，可避免繁杂的运算． 跟踪演练3　若?xR，f(x)＝(a2－1)x是单调减函数，则a的取值范围是________． 1．命题p：“存在实数m，使方程x2＋mx＋1＝0有实数根”，则“p”形式的命题是(　　) A．存在实数m，使方程x2＋mx＋1＝0无实根 B．不存在实数m，使方程x2＋mx＋1＝0无实根 C．对任意的实数m，方程x2＋mx＋1＝0无实根 D．至多有一个实数m，使方程x2＋mx＋1＝0有实根 答案　C 解析　命题p是特称命题，其否定形式为全称命题，即p：对任意的实数m，方程x2＋mx＋1＝0无实根． 2．对下列命题的否定说法错误的是(　　) A．p：能被2整除的数是偶数；p：存在一个能被2整除的数不是偶数 B．p：有些矩形是正方形；p：所有的矩形都不是正方形 C．p：有的三角形为正三角形；p：所有的三角形不都是正三角形 D．p：?n∈N,2n≤100；p：?nN,2n100. 答案　C 解析　“有的三角形为正三角形”为特称命题，其否定为全称命题：“所有的三角形都不是正三角形”，故选项C错误． 　对含有一个量词的命题的否定要注意以下问题： (1)确定命题类型，是全称命题还是特称命题． (2)改变量词：把全称量词改为恰当的存在量词；把存在量词改为恰当的全称量词． (3)否定结论：原命题中的“是”“有”“存在”“成立”等改为“不是”“没有”“不存在”“不成立”等． (4)无量词的全称命题要先补回量词再否定． 一、基础达标 1．下列命题中，正确