新人教A版必修一152全称量词命题和存在量词命题的否定学案

2019-2020学年新人教A版必修一1.5.2全称量词命题和存在量词命题的否定学案1．全称量词和存在量词(1)常见的全称量词有：“任意一个”“一切”“每一个”“任给”“所有的”等．(2)常见的存在量词有：“存在一个”“至少有一个”“有些”“有一个”“某个”“有的”等．2．全称命题与特称命题(1)含有全称量词的命题叫全称命题．(2)含有存在量词的命题叫特称命题.3．命题的否定(1)全称命题的否定是特称命题；特称命题的否定是全称命题．(2)p或q的否定为：綈p且綈q；p且q的否定为：綈p或綈q.4．逻辑联结词(1)命题中的且、或、非叫做逻辑联结词．(2)命题p且q、p或q、非p的真假判pqp且qp或q非p真真真真假真假假真假假真假真真假假假假真[常用结论]1．含有逻辑联结词的命题真假的判断规律(1)p或q：p，q中有一个为真，则p或q为真，即有真为真．(2)p且q：p，q中有一个为假，则p且q为假，即有假即假．(3)綈p：与p的真假相反，即一真一假，真假相反．2．含有一个量词的命题的否定的规律是“改量词，否结论”．3．命题的否定和否命题的区别：命题“若p，则q”的否定是“若p，则綈q”，否命题是“若綈p，则綈q”．[基础自测]1．(思考辨析)判断下列结论的正误．(正确的打“√”，错误的打“×”)(1)命题“3≥2”是真命题．()(2)若命题p且q为假命题，则命题p，q都是假命题．()(3)命题“对顶角相等”的否定是“对顶角不相等”．()(4)“全等的三角形面积相等”是全称命题．()[答案](1)√(2)×(3)×(4)√2．命题“存在x0∈R，x20－x0－1＞0”的否定是()A．任意x∈R，x2－x－1≤0B．任意x∈R，x2－x－1＞0C．存在x0∈R，x20－x0－1≤0D．存在x0∈R，x20－x0－1≥0A[特称命题的否定是全称命题，故选A.]3．下列命题中的假命题是()A．存在x0∈R，lgx0＝1B．存在x0∈R，sinx0＝0C．任意x∈R，x3＞0D．任意x∈R,2x＞0C[当x＝0时，x3＝0，故选项C错误，故选C.]4．(教材改编)已知p：2是偶数，q：2是质数，则命题綈p，綈q，p或q，p且q中真命题的个数为()A．1B．2C．3D．4B[p和q显然都是真命题，所以綈p，綈q都是假命题，p或q，p且q都是真命题．]5．若命题“任意x∈R，ax2－ax－2≤0”是真命题，则实数a的取值范围是________．[－8,0][当a＝0时，不等式显然成立．当a≠0时，依题意知a＜0，Δ＝a2＋8a≤0，解得－8≤a＜0.综上可知－8≤a≤0.]全称命题、特称命题1.命题“任意x∈R，存在n∈N*，使得n≤x2”的否定形式是()A．任意x∈R，存在n∈N*，使得n＞x2B．任意x∈R，任意n∈N*，使得n＞x2C．存在x∈R，存在n∈N*，使得n＞x2D．存在x∈R，任意n∈N*，使得n＞x2D[结合全(特)称命题的否定形式可知，D选项正确．]2．(2019·商丘模拟)已知f(x)＝sinx－x，命题p：存在x∈0，π2，f(x)＜0，则()A．p是假命题，綈p：任意x∈0，π2，f(x)≥0B．p是假命题，綈p：存在x∈0，π2，f(x)≥0C．p是真命题，綈p：任意x∈0，π2，f(x)≥0D．p是真命题，綈p：存在x∈0，π2，f(x)≥0C[易知f′(x)＝cosx－1≤0，所以f(x)在0，π2上是减函数，因为f(0)＝0，所以f(x)＜0，所以命题p：存在x∈0，π2，f(x)＜0是真命题，綈p：任意x∈0，π2，f(x)≥0，故选C.]3．下列四个命题：p1：存在x0∈(0，＋∞)，12x0＜13x0；p2：存在x0∈(0,1)，log12x0＞log13x0；p3：任意x∈(0，＋∞)，12x＞log12x；p4：任意x∈0，13，12x＜log13x.其中的真命题是()A．p1，p3B．p1，p4C．p2，p3D．p2，p4D[对于p1，当x0∈(0，＋∞)时，总有12x0＞13x0成立，故p1是假命题；对于p2，当x0＝12时，有1＝log1212＝log1313＞log1312成立，故p2是真命题；对于p3，结合指数函数y＝12x与对数函数y＝log12x在(0，＋∞)上的图像，可以判断p3是假命题；对于p4，结合指数函数y＝12x与对数函数y＝log13x在0，13上的图像可以判断p4是真命题．][规律方法](1)全(特)称命题的否定方法：任意x∈M，p(x)互否存在x0∈M，綈p(x0)，简记：改量词，否结论．(2)判定全称命题“任意x∈M，p(x)”是真命题，需要对集合M中的每一个元素x，证明p(x)成立；要判断特称命题是真命题，只要在限定集合内至少找到一个x＝x0，使p(x0)成立．判断含有逻辑联结词的命题的真假【例1】(1)若命题“p或q”是真命题，“綈p为真命题”，则()A．p真，q真B．p假，q真C．p真，q假D．p假，q假(2)(2019·山师大附中模拟)设命题p：函数f(x)＝2x＋2－x在R上递增，命题q：△ABC中，A＞B⇔sinA＞sinB，下列命题为真命题的是()A．p且qB．p或(綈q)C．(綈p)且qD．(綈p)且(綈q)(1)B(2)C[(1)因为綈p为真命题，所以p为假命题，又因为p或q为真命题，所以q为真命题．(2)f(x)＝2x＋2－x是复合函数，在R上不是单调函数，命题p是假命题，在△ABC中，A＞B⇔sinA＞sinB成立，命题q是真命题，所以(綈p)且q为真，故选C.][规律方法]“p或q”“p且q”“綈p”形式命题真假的判断步骤确定命题的构成形式；判断命题p，q的真假；,根据真值表确定“p或q”“p且q”“綈p”形式命题的真假.已知命题p：存在x0∈R，使tanx0＝33，命题q：x2－3x＋2＜0的解集是{x|1＜x＜2}，下列结论：①命题“p且q”是真命题；②命题“p且(綈q)”是假命题；③命题“(綈p)或q”是真命题；④命题“(綈p)或(綈q)”是假命题．其中正确的是()A．②③B．①②④C．①③④D．①②③④D[由题意可知：p，q均为真命题，∴p且q是真命题，p且(綈q)是假命题；(綈p)或q是真命题；(綈p)或(綈q)是假命题，故①②③④均正确．]由命题的真假确定参数的取值范围【例2】(1)已知f(x)＝ln(x2＋1)，g(x)＝12x－m，若对任意x1∈[0,3]，存在x2∈[1,2]，使得f(x1)≥g(x2)，则实数m的取值范围是()A.14，＋∞B.12，＋∞C.－∞，14D.－∞，－12(2)给定命题p：对任意实数x都有ax2＋ax＋1＞0成立；q：关于x的方程x2－x＋a＝0有实数根．如果p或q为真命题，p且q为假命题，则实数a的取值范围为________．(1)A(2)(－∞，0)∪14，4[(1)当x∈[0,3]时，f(x)min＝f(0)＝0，当x∈[1,2]时，g(x)min＝g(2)＝14－m，由f(x)min≥g(x)min，得0≥14－m，所以m≥14，故选A.(2)当p为真命题时，“对任意实数x都有ax2＋ax＋1＞0成立”⇔a＝0或a＞0，Δ＜0，所以0≤a＜4.当q为真命题时，“关于x的方程x2－x＋a＝0有实数根”⇔Δ＝1－4a≥0，所以a≤14.因为p或q为真命题，p且q为假命题，所以p，q一真一假．所以若p真q假，则0≤a＜4，且a＞14，所以14＜a＜4；若p假q真，则a＜0或a≥4，a≤14，即a＜0.故实数a的取值范围为(－∞，0)∪14，4.][母题探究]若将本例(1)中“存在x2∈[1,2]”改为“任意x2∈[1,2]”，其他条件不变，则实数m的取值范围是什么？[解]当x∈[1,2]时，g(x)max＝g(1)＝12－m，由f(x)min≥g(x)max，得0≥12－m，所以m≥12，即m的取值范围为12，＋∞.[规律方法]根据全特称命题的真假求参数的思路,与全称命题或特称命题真假有关的参数取值范围问题的本质是恒成立问题或有解问题，解决此类问题时，一般先利用等价转化思想将条件合理转化，得到关于参数的方程或不等式组，再通过解方程或不等式组求出参数的值或范围.(2019·辽宁五校联考)已知命题“存在x∈R,4x2＋(a－2)x＋14≤0”是假命题，则实数a的取值范围为()A．(－∞，0)B．[0,4]C．[4，＋∞)D．(0,4)D[因为命题“存在x∈R,4x2＋(a－2)x＋14≤0”是假命题，所以其否定“对任意x∈R,4x2＋(a－2)x＋14＞0”是真命题，则Δ＝(a－2)2－4×4×14＝a2－4a＜0，解得0＜a＜4，故选D.]1．(2015·全国卷Ⅰ)设命题p：存在n∈N，n2＞2n，则綈p为()A．任意n∈N，n2＞2nB．存在n∈N，n2≤2nC．任意n∈N，n2≤2nD．存在n∈N，n2＝2nC[因为“存在x∈M，p(x)”的否定是“任意x∈M，綈p(x)”，所以命题“存在n∈N，n22n”的否定是“任意n∈N，n2≤2n”．故选C.]2．(2013·全国卷Ⅰ)已知命题p：任意x∈R,2x＜3x；命题q：存在x∈R，x3＝1－x2，则下列命题中为真命题的是()A．p且qB．綈p且qC．p且綈qD．綈p且綈B[当x＝0时，有2x＝3x，不满足2x＜3x，∴p：任意x∈R,2x＜3x是假命题．如图，函数y＝x3与y＝1－x2有交点，即方程x3＝1－x2有解，∴q：存在x∈R，x3＝1－x2是真命题．∴p且q为假命题，排除A.∴綈p为真命题，∴綈p且q是真命题，选B.]