2018-19学年高中数学第1章常用逻辑用语1.3.2含有一个量词的命题的否定学案苏教版.docx_第1页
2018-19学年高中数学第1章常用逻辑用语1.3.2含有一个量词的命题的否定学案苏教版.docx_第2页
2018-19学年高中数学第1章常用逻辑用语1.3.2含有一个量词的命题的否定学案苏教版.docx_第3页
2018-19学年高中数学第1章常用逻辑用语1.3.2含有一个量词的命题的否定学案苏教版.docx_第4页
2018-19学年高中数学第1章常用逻辑用语1.3.2含有一个量词的命题的否定学案苏教版.docx_第5页
已阅读5页,还剩6页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1.3.2含有一个量词的命题的否定学习目标1.理解含有一个量词的命题的否定的意义.2.会对含有一个量词的命题进行否定.3.掌握全称命题的否定是存在性命题,存在性命题的否定是全称命题.知识点一全称命题与存在性命题的否定思考1写出下列命题的否定:所有的矩形都是平行四边形;有些平行四边形是菱形.答案并非所有的矩形都是平行四边形.每一个平行四边形都不是菱形.思考2对的否定能否写成:所有的矩形都不是平行四边形?答案不能.思考3对的否定能否写成:有些平行四边形不是菱形?答案不能.梳理(1)命题命题的表述全称命题pxM,p(x)全称命题的否定綈pxM,綈p(x)存在性命题pxM,p(x)存在性命题的否定綈pxM,綈p(x)(2)常见的命题的否定形式原语句是都是至少有一个至多有一个对任意xA使p(x)为真否定形式不是不都是一个也没有至少有两个存在xA使p(x)为假知识点二含有一个量词的命题p的否定真假性判断对“含有一个量词的命题p的否定”的真假判断一般有两种思路:一是直接判断綈p的真假,二是用p与綈p的真假性相反来判断.1.命题綈p的否定是p.()2.xM,p(x)与xM,綈p(x)的真假性相反.()3.从存在性命题的否定看,是对“量词”和“p(x)”同时否定.()类型一全称命题的否定例1写出下列命题的否定,并判断其真假:(1)p:任意nZ,则nQ;(2)p:等圆的面积相等,周长相等;(3)p:偶数的平方是正数.考点全称命题的否定题点含有全称量词的命题的否定解(1)綈p:存在nZ,使nQ,这是假命题.(2)綈p:存在等圆,其面积不相等或周长不相等,这是假命题.(3)綈p:存在偶数的平方不是正数,这是真命题.反思与感悟(1)写出全称命题的否定的关键是找出全称命题的全称量词和结论,把全称量词改为存在量词,结论变为否定的形式就得到命题的否定.(2)有些全称命题省略了量词,在这种情况下,千万不要将否定简单的写成“是”或“不是”.全称命题的否定的真假性与全称命题相反.跟踪训练1写出下列全称命题的否定:(1)p:所有能被3整除的整数都是奇数;(2)p:对任意xZ,x2的个位数字都不等于3;(3)p:在数列1,2,3,4,5中的每一项都是偶数;(4)p:可以被5整除的整数,末位是0.考点全称命题的否定题点含有全称量词的命题的否定解(1)綈p:存在一个能被3整除的整数不是奇数.(2)綈p:xZ,x2的个位数字等于3.(3)綈p:在数列1,2,3,4,5中至少有一项不是偶数.(4)綈p:存在被5整除的整数,末位不是0.类型二存在性命题的否定例2写出下列存在性命题的否定,并判断其否定的真假:(1)有些实数的绝对值是正数;(2)某些平行四边形是菱形;(3)xR,x210;(4)x,yZ,使得xy3.考点存在性命题的否定题点含一个量词的命题真假判断解(1)命题的否定是“不存在一个实数,它的绝对值是正数”,即“所有实数的绝对值都不是正数”.命题的否定是假命题.(2)命题的否定是“没有一个平行四边形是菱形”,即“每一个平行四边形都不是菱形”.由于菱形是平行四边形,因此命题的否定是假命题.(3)命题的否定是“不存在xR,使x210,因此命题的否定是真命题.(4)命题的否定是“x,yZ,xy3”.当x0,y3时,xy3,因此命题的否定是假命题.引申探究若本例(2)改为“某些平行四边形是正方形”,写出该命题的否定并判断真假.解命题的否定是“没有一个平行四边形是正方形”,即“每一个平行四边形都不是正方形”,假命题.反思与感悟(1)对存在性命题否定的两个步骤改变量词:把存在量词换为恰当的全称量词.否定性质:原命题中的“有”“存在”等更改为“没有”“不存在”等.(2)存在性命题否定后的真假判断存在性命题的否定是全称命题,其真假性与存在性命题相反;要说明一个存在性命题是真命题,只需要找到一个实例即可.跟踪训练2写出下列存在性命题的否定:(1)p:xR,x22x20;(2)p:有的三角形是等边三角形;(3)p:存在一元二次方程无实数根.考点存在性命题的否定题点含存在量词的命题的否定解(1)綈p:xR,x22x20.(2)綈p:所有的三角形都不是等边三角形.(3)綈p:所有一元二次方程都有实数根.类型三含量词命题的否定的应用例3对于任意实数x,不等式sinxcosxm恒成立.求实数m的取值范围.考点全称量词、存在性量词的否定题点由含量词的命题的真假求参数的范围解令ysinxcosx,xR,ysinxcosxsin,又xR,sinxcosxm恒成立,只要mm有解”,求实数m的取值范围.考点存在性命题的否定题点由含量词的命题的真假求参数的范围解令ysinxcosx,xR,ysinxcosxsin,.又xR,sinxcosxm有解,只要m0”是真命题,可得(a1)2420,1a2n,则綈p为_.考点存在性命题的否定题点含存在量词的命题的否定答案nN,n22n解析将命题p的量词“”改为“”,“n22n”改为“n22n”.2.命题“任意xR,若y0,则x2y0”的否定是_.考点全称命题的否定题点含有全称量词命题的否定答案存在xR,若y0,则x2y0解析已知命题是一个全称命题,其否定为存在性命题,先将“任意”换成“存在”,再否定结论,即命题的否定是“存在xR,若y0,则x2y0”.3.下列命题的否定为真命题的是_.(填序号)xR,x2x1x;x,yZ,2x5y12;xR,sin2xsinx10.考点全称量词、存在性量词的否定题点含一个量词的命题真假判断答案解析命题的否定为假命题亦即原命题为真命题,只有为真命题,其余均为假命题,故否定为真命题的是.4.若R,使sinx1;x(,0),2xcosx.考点全称量词,存在性量词的否定题点含一个量词的命题真假判断答案解析sinxcosxsin0,即exx1,故正确;当x0时,y2x的图象在y3x的图象上方,故错误;当x时,sinx0成立”为真,则参数a的取值范围为_.考点存在性命题的否定题点由含量词的命题的真假求参数的范围答案(3,)解析由已知得綈p:x1,2,x22ax2a0成立.设f(x)x22ax2a,则解得a3,綈p为假,a3,即a的取值范围是(3,).7.已知命题p:xR,x2x0,函数f(x)(lnx)2lnxa有零点;,R,cos()cossin;R,函数f(x)sin(2x)都不是偶函数.考点全称量词,存在性量词的否定题点含一个量词的命题真假判断答案解析f(x)是幂函数,m11,m2,f(x)x1,f(x)在(0,)上单调递减,故为真命题;y(lnx)2lnx2的值域为,a0,方程(lnx)2lnxa0有解,即f(x)有零点,故为真命题;当0时,cos()cossin成立,故为真命题;当时,f(x)sin(2x)cos2x为偶函数,故为假命题.9.已知命题p:“a1”是“x0,x2”的充要条件,命题q:xR,x2x10,则下列结论中正确的是_.命题“pq”是真命题;命题“p(綈q)”是真命题;命题“綈pq”是真命题;命题“(綈p)(綈q)”是假命题.考点全称量词,存在性量词的否定题点含一个量词的命题真假判断答案解析因为a1可以推出xx22,显然当a2时也能推出“x0,x2”成立,所以“a1”是“x0,x2”的充分不必要条件,故p是假命题.而q是真命题,故正确.10.已知f(x)ln(x21),g(x)xm,若对x10,3,x21,2,使得f(x1)g(x2)成立,则实数m的取值范围为_.考点全称量词、存在性量词的否定题点由含量词的命题的真假求参数的范围答案解析当x0,3时,f(x)minf(0)0,当x1,2时,g(x)ming(2)m,由f(x)ming(x)min,得0m,所以m.二、解答题11.命题p是“对某些实数x,有xa0或xb0”,其中a,b是常数.(1)写出命题p的否定;(2)当a,b满足什么条件时,命题p的否定为真?考点存在性命题的否定题点含一个量词的命题真假判断解(1)命题p的否定:对任意实数x,有xa0且xb0.(2)要使命题p的否定为真,需要使不等式组的解集不为空集,通过画数轴可看出,a,b应满足的条件是ba.12.若“x,sinxcosxm”为假命题,求实数m的取值范围.考点存在性命题的否定题点由含量词的命题的真假求参数的范围解令f(x)sinxcosx2sin,x.可知f(x)在上为增函数,在上为减函数.由于f(0),f1,f2,所以1f(x)2.由于“x,sinxcosxm”为假命题,则其否定“x,sinxcosxm”为真命题,所以mf(x)min1,即m1.所以m的取值范围是(,1.13.已知命题p:对任意m1,1,不等式a25a3恒成立;命题q:不等式x2ax20有解,若p是真命题,q是假命题,求a的取值范围.考点全称量词,存在性量词的否定题点由含量词的命题的真假求参数的范围解m1,1,2,3.对任意m1,1,不等式a25a3恒成立,可得a25a33,a6或a1.故当命题p为真命题时,a6或a1.又命题q:不等式x2ax20,a2或a0对a1,1恒成立等价于即解得x3,即实数x的取值范围是(,1)(3,).15.f(x)是定义在2,2上的奇函数,当x(0,2时,f(x)2x1,函数g(x)x22xm.如果x12,2,x22,2,使得g(x2)f(x1),则实数m的取值

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论