2021届高考数学一轮复习第一章集合与常用逻辑用语第三节简单的逻辑联结词全称量词与存在量词教师文档教案文北师大版

1、第三节第三节简单的逻辑联结词、全称量词与存在量词简单的逻辑联结词、全称量词与存在量词授课提示：对应学生用书第 7 页基础梳理1命题 p 且 q，p 或 q，非 p 的真假判断pqp 且 qp 或 q非 p真真真真假真假假真假假真假真真假假假假真2.全称量词与全称命题(1)“所有”“每一个”“任何”“任意”“一切”都是在指定范围内，表示整体或全部的含义，这样的词叫作全称量词(2)含有全称量词的命题，叫作全称命题3存在量词与特称命题(1)“有些”“有一个”“存在”都有表示个别或一部分的含义，这样的词叫作存在量词(2)含有存在量词的命题叫作特称命题1判定全称命题为真，需证明对任意 xm，p(x)恒成

2、立；判定全称命题为假，我们只需找到一个 xm，使 p(x)不成立即可2判定特称命题为真，只需找到一个 xm，使 p(x)成立即可；判定特称命题为假，需证明对任意 xm，p(x)均不成立4全称命题与特称命题的否定(1)要说明一个全称命题是错误的，只需找出一个反例就可以了，实际上是要说明这个全称命题的否定是正确的全称命题的否定是特称命题(2)要说明一个特称命题“存在一些对象满足某一性质”是错误的，就要说明所有的对象都不满足这一性质实际上是要说明这个特称命题的否定是正确的，特称命题的否定是全称命题1一种关系逻辑联结词与集合的关系：“或、且、非”三个逻辑联结词，对应着集合运算中的“并、交、补”，因此，

3、常常借助集合的“并、交、补”的意义来解答由“或、且、非”三个联结词构成的命题问题2两类否定(1)非(p 且 q)(非 p)或(非 q)(2)非(p 或 q)(非 p)且(非 q)3三句口决p 且 q 全真为真，p 或 q 有真即真，非 p 与 p 真假相反四基自测1(基础点：复合命题真假)已知 p：2 是偶数，q：2 是质数，则命题非 p，非 q，p 或 q，p 且q 中真命题的个数为()a1b2c3d4答案：b2(基础点：特称命题的否定)设命题 p：存在 nn，n22n，则非 p 为()a任意 nn，n22nb存在 nn，n22nc任意 nn，n22nd存在 nn，n22n答案：c3(基础点

4、：全称命题的否定)若命题 p：任意 xr r，x22x20，其非 p 为()a任意 xr r，x22x20b存在 xr r，x22x20c任意 xr r，x22x20d存在 xr r，x22x20答案：b4(易错点：含有量词命题的真假)给出下列命题：任意 xnn，x3x2；所有可以被 5 整除的整数，末位数字都是 0；存在 xr r，x2x10；存在一个四边形，它的对角线互相垂直则以上命题的否定中，真命题的序号为_答案：授课提示：对应学生用书第 8 页考点一含有逻辑联结词的命题真假挖掘 1判断复合命题的真假/ 自主练透例 1(1)设有下面四个命题p1：若复数 z 满足1zr r，则 zr r；

5、p2：若复数 z 满足 z2r r，则 zr r；p3：若复数 z1，z2满足 z1z2r r，则 z1z2；p4：若复数 zr r，则zr r.其中的真命题为()ap1，p3bp1，p4cp2，p3dp2，p4解析设复数 zabi(a，br r)，对于 p1，1z1abiabia2b2r r，b0，zr r，p1是真命题；对于 p2，z2(abi)2a2b22abir r，ab0，a0 或 b0，p2不是真命题；对于 p3，设 z1xyi(x，yr r)，z2cdi(c，dr r)，则 z1z2(xyi)(cdi)cxdy(dxcy)ir r，dxcy0，取 z112i，z212i，z1z2

6、，p3不是真命题；对于p4，zabir r，b0，zabiar r，p4是真命题故选 b.答案b(2)(2020太原模拟)已知命题 p：存在 xr r，x2x10；命题 q：若 ab，则1a1b，则下列命题中为真命题的是()ap 且 qbp 且(非 q)c(非 p)且 qd(非 p)且(非 q)解析x2x1(x12)234340，所以存在 xr r，使 x2x10 成立，故 p 为真命题，非 p 为假命题，又易知命题 q 为假命题，所以非 q 为真命题，由复合命题真假判断的真值表知 p 且(非 q)为真命题，故选 b.答案b破题技法复合命题的真假判断方法解读适合题型直接法(1)确定这个命题的结

7、构及组成这个命题的每个简单命题；(2)判断每个简单命题的真假；(3)根据真值表判断原命题的真假能够顺利分解为简单命题转化法根据原命题与逆否命题的等价性，判断原命题的逆否命题的真假性原命题的真假性不易判断拓展含逻辑联结词命题真假的等价关系(1)p 或 q 真p，q 至少一个真(非 p)且(非 q)假(2)p 或 q 假p，q 均假(非 p)且(非 q)真(3)p 且 q 真p，q 均真(非 p)或(非 q)假(4)p 且 q 假p，q 至少一个假(非 p)或(非 q)真(5)非 p 真p 假；非 p 假p 真挖掘 2利用复合命题真假求参数/ 互动探究例 2(2020湖北武汉模拟)已知命题 p：关

8、于 x 的方程 x2ax40 有实根；命题 q：关于 x的函数 y2x2ax4 在3，)上是增函数若 p 或 q 是真命题，则实数 a 的取值范围是_解析若命题 p 是真命题， 则a2160， 即 a4 或 a4； 若命题 q 是真命题， 则a43，即 a12.因为 p 或 q 是真命题，所以 ar r，即 a 的取值范围是(，)答案(，)破题技法根据复合命题的真假求参数范围的步骤(1)先求出每个简单命题是真命题时参数的取值范围；(2)再根据复合命题的真假确定各个简单命题的真假情况(有时不一定只有一种情况)；(3)最后由(2)的结论求出满足条件的参数取值范围1在例 2 条件下，若 p 且 q

9、为真命题，求实数 a 的取值范围解析：p 且 q 为真命题，p 和 q 均为真命题，a4 或 a4，a12.a 的取值范围为12，44，)2在例 2 条件下，若 p 或 q 为真命题，p 且 q 为假命题，求实数 a 的取值范围解析：由 p 或 q 为真命题，p 且 q 是假命题知，命题 p 和 q 一真一假若 p 真 q 假，则 a12；若 p 假 q 真，则4a4.故 a 的取值范围是(，12)(4，4)考点二全称命题、特称命题挖掘 1全称命题、特称命题的真假判断/ 自主练透例 1(1)下列命题中的假命题是()a任意 xr r，x20b任意 xr r，2x10c存在 xr r，lg x1d

10、存在 xr r，sin xcos x2解析对于 sin xcos x 2sin(x4) 22，d 为假命题答案d(2)已知命题 p：存在 xr r，x2x10；命题 q：若 a2b2，则 ab.下列命题为真命题的是()ap 且 qbp 且(非 q)c(非 p)且 qd(非 p)且(非 q)解析方程 x2x10 的根的判别式(1)2430 恒成立，p 为真命题对于命题 q，取 a2，b3，223，q 为假命题，非 q 为真命题因此 p 且(非 q)为真命题选 b.答案b破题技法全称命题与特称命题真假的判断方法命题名称真假判断方法一判断方法二全称命题真所有对象使命题真否定为假假存在一个对象使命题假

11、否定为真特称命题真存在一个对象使命题真否定为假假所有对象使命题假否定为真挖掘 2全称命题、特称命题的否定/互动探究例 2(1)命题“任意 x0，)，x3x0”的否定是()a任意 x(，0)，x3x0b任意 x(，0)，x3x0c存在 x0，)，x3x0d存在 x0，)，x3x0答案c(2)命题“存在 x(0，)，ln xx1”的否定是()a任意 x(0，)，ln xx1b任意 x(0，)，ln xx1c存在 x(0，)，ln xx1d存在 x(0，)，ln xx1解析该命题的否定是将存在量词改为全称量词，等号改为不等号即可，故选 a.答案a破题技法全称命题与特称命题的否定(1)改写量词：确定命

12、题所含量词的类型，省去量词的要结合命题的含义加上量词，再对量词进行改写(2)否定结论：对原命题的结论进行否定考点三根据量词的意义求参数挖掘 1“任意”恒成立问题/ 互动探究例 1(1)对于任意实数 x，不等式(a2)x22(a2)x40 恒成立，则实数 a 的取值范围是()a(，2)b(，2c(2，2d(2，2)解析当 a2 时，有40，对任意 xr r 恒成立当 a2 时，有a20，2（a2）24（a2）（4）0，解得a2，2a2，2a2.综上可得2a2.故选 c.答案c(2)已知函数 f(x)exxmx(e 为自然对数的底数)，若 f(x)0 在(0，)上恒成立，则实数 m 的取值范围是(

13、)a(，2)b(，e)c(，e24)d(e24，)解析f(x)exxmx0 在(0，)上恒成立，mexx2在(0，)上恒成立，令 g(x)exx2，x0，g(x)（x22x）exx4（x2）exx3，当 0 x2 时，g(x)0，g(x)单调递减；当 x2 时，g(x)0，g(x)单调递增则当 x2 时，g(x)取得最小值，且最小值为 g(2)e24，me24.则实数 m 的取值范围是(，e24)故选 c.答案c破题技法对于含量词的命题中求参数的取值范围的问题，可根据命题的含义，利用函数值域(或最值)解决挖掘 2“存在”有解问题/ 互动探究例 2若命题“存在 xr r，使得 x2(a1)x10”是真命题，则实数 a 的取值范围是_解析由题意得(a1)240，a3 或 a1.答案(，1)(3，)破题技法单变量对“任意”恒成立，“存在”成立问题(1)任意 xm，n，af(x)恒成立af(x