人教版高中数学选修14全称量词与存在量词(全部)课件.ppt

1、【学习目标学习目标】1、理解全称命题和特称命题的含义，、理解全称命题和特称命题的含义，2、能用数学符号表示含有量词的命题及判断其命题的真假性、能用数学符号表示含有量词的命题及判断其命题的真假性3、能够根据含有一个量词的命题与它们的否定在形式上的变化、能够根据含有一个量词的命题与它们的否定在形式上的变化规律，正确地对含有一个量词的命题进行否定规律，正确地对含有一个量词的命题进行否定【重点与难点重点与难点】重点：重点：理解全称量词与存在量词的意义理解全称量词与存在量词的意义。难点：难点：正确地对含有一个量词的命题进行否定正确地对含有一个量词的命题进行否定。问题引入：下列命题中含有哪些量词？（1）对

2、所有的实数）对所有的实数x，都有，都有x20；（2）存在实数）存在实数x，满足，满足x20；（3）至少有一个实数）至少有一个实数x，使得，使得x220成立；成立；（4）存在有理数）存在有理数x，使得，使得x220成立；成立；（5）对于任何自然数）对于任何自然数n，有一个自然数，有一个自然数s 使得使得 s=n n；下列语句是命题吗？下列语句是命题吗？(1)与与(3)，(2)与与(4)之间有什么关系？之间有什么关系？(1)x3；(2)2x+1是整数；是整数；(3)对所有的对所有的xR，x3；(4)对任意一个对任意一个xZ，2x+1是整数是整数。语句语句(1)(2)(1)(2)不能判断真假，不是命

3、题；不能判断真假，不是命题；语句语句(3)(4)(3)(4)可以判断真假，是命题。可以判断真假，是命题。全称量词、全称命题全称量词、全称命题定义：定义：短语短语“所有的所有的”“”“任意一个任意一个”在逻辑中通常叫做在逻辑中通常叫做全称量词全称量词，并用符号，并用符号“”表示。表示。含有全称量词的命题，叫做含有全称量词的命题，叫做全称命题全称命题。常见的全称量词还有常见的全称量词还有“一切一切”“每一个每一个”“任给任给”“所有的所有的”等等。全称命题全称命题举例：举例：命题符号记法：命题符号记法：命题：对任意的命题：对任意的nZ，2n+1是奇数；是奇数；所有的正方形都是矩形。所有的正方形都是

4、矩形。通常，将含有变量通常，将含有变量x的语句用的语句用p(x),q(x),r(x),表示，变量表示，变量x的取值范围用的取值范围用M表示，那么，表示，那么，(),xMp x，全称命题全称命题“对对M中任意一个中任意一个x，有，有p(x)成立成立”可用可用符号简记符号简记为：为：读作读作“对任意对任意x属于属于M，有，有p(x)成立成立”。三、新知建构，典例分析 22,sinsincosxRxxx 例例如如：全称命题所描述的问题的特点：全称命题所描述的问题的特点：给定范围内的所有元素（或每一个元素）都具有某种共同的性质。给定范围内的所有元素（或每一个元素）都具有某种共同的性质。例例.下列命题是

5、否是全称命题？下列命题是否是全称命题？（1）每一个三角形都有外接圆；）每一个三角形都有外接圆；（2）一切的无理数都是正数；）一切的无理数都是正数；（3）实数都有算术平方根）实数都有算术平方根.注意：在写全称命题时，为了避免歧义，一般不要注意：在写全称命题时，为了避免歧义，一般不要 省略全称量词。省略全称量词。例例1 判断下列全称命题的真假：判断下列全称命题的真假：（1）所有的素数是奇数；）所有的素数是奇数；（2）xR，x211；（3）对每一个无理数）对每一个无理数x，x2也是无理数；也是无理数；下列语句是命题吗？下列语句是命题吗？(1)与与(3)，(2)与与(4)之间有什么关系？之间有什么关系

6、？(1)2x+1=3；(2)x能被能被2和和3整除；整除；(3)存在一个存在一个x0R，使，使2x+1=3；(4)至少有一个至少有一个x0Z，x能被能被2和和3整除。整除。语句语句(1)(2)(1)(2)不能判断真假，不是命题；不能判断真假，不是命题；语句语句(3)(4)(3)(4)可以判断真假，是命题。可以判断真假，是命题。存在量词、特称命题存在量词、特称命题定义：定义：短语短语“存在一个存在一个”“”“至少有一个至少有一个”在逻辑中通常叫做在逻辑中通常叫做存在量词存在量词，并用符号并用符号“”表示。表示。含有存在量词的命题，叫做含有存在量词的命题，叫做特称命题特称命题。常见的存在量词还有常

7、见的存在量词还有“有些有些”“”“有一个有一个”“对某个对某个”“”“有的有的”等等。特称命题特称命题举例：举例：命题：有的平行四边形是菱形；命题：有的平行四边形是菱形；有一个素数不是奇数。有一个素数不是奇数。00(),xMp x，特称命题特称命题“存在存在M中的一个中的一个x0，使，使p(x0)成立成立”可用可用符号简记符号简记为：为：读作读作“存在一个存在一个x0属于属于M，使，使p(x0)成立成立”。三、新知建构，典例分析 例例2 判断下列特称命题的真假：判断下列特称命题的真假：(1)有一个实数有一个实数x0,使使x02+2x0+3=0；(2)存在两个相交平面垂直于同一条直线；存在两个相

8、交平面垂直于同一条直线；(3)有些整数只有两个正因数有些整数只有两个正因数.全称命题、特称命题的表述方法：,()xM p x 0,()xM p x表述方法表述方法1)写写 出出 下下 列列 命命 题题 的的 否否 定定所所 有有 的的 矩矩 形形 都都 是是 平平 行行 四四 边边 形形；2)每每 一一 个个 素素 数数 都都 是是 奇奇 数数；23),210 xR xx这这 些些 命命 题题 和和 它它 们们 的的 否否 定定 在在 形形 式式 上上 有有 什什 么么 变变 化化？1)存存 在在 一一 个个 矩矩 形形 不不 是是 平平 行行 四四 边边 形形；2)存存 在在 一一 个个 素

9、素 数数 不不 是是 奇奇 数数；23),210 xR xx否否 定定:x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)从命题形式上看从命题形式上看,这三个这三个全称命题全称命题的的否定否定都变成了都变成了特称命题特称命题.全称命题的否定是特称命题全称命题的否定是特称命题.,(),xM P x 它的否定 p：xM，p（x）.三、新知建构，典例分析一般地一般地,对于含有一个量词的对于含有一个量词的全称命题的否定全称命题的否定,有下面的结论有下面的结论:全称命题全称命

10、题p:探究探究1)写写 出出 下下 列列 命命 题题 的的 否否 定定有有 些些 实实 数数 的的 绝绝 对对 值值 是是 正正 数数；2)某某 些些 平平 行行 四四 边边 形形 是是 菱菱 形形；23),10 xRx这这些些命命题题和和它它们们的的否否定定在在形形式式上上有有什什么么变变化化？否定否定:1)所有实数的绝对值都不是正数所有实数的绝对值都不是正数;2,10 xRxx xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)x xM M,p p(x x)2)所有平行四边形都不是菱形所有平行四

11、边形都不是菱形;3)x xM M,p p(x x)特称命题特称命题:p它的否定它的否定:px xM M,p p(x x)从命题形式上看从命题形式上看,这三个这三个特称命题特称命题的的否定否定都变成了都变成了全称命题全称命题.一般地一般地,对于含有一个量词的对于含有一个量词的特称命题的否定特称命题的否定,有下面的结论有下面的结论:x xM M,p p(x x)特称命题特称命题:p特称命题的否定是全称命题特称命题的否定是全称命题.三、新知建构，典例分析例例3 写出下列写出下列全称命题全称命题的否定的否定,并判断真假：并判断真假：（1）p:所有能被所有能被3整除的整数都是奇数；整除的整数都是奇数；（

12、2）p:每一个四边形的四个顶点共圆；每一个四边形的四个顶点共圆；（3）p:对任意对任意 xZ，x2的个位数字不等于的个位数字不等于3.整除的整数不是奇数3存在一个能被:p:.p存 在 一 个 四 边 形，它 的 四 个 顶 点 不 共 圆200:,3.pxZx的 个 位 数 字 等 于2:,220.pxR xx:.p所 有 的 三 角 形 都 不 是 等 边 三 角 形:.p每 一 个 素 数 都 不 含 有 三 个 正 因 数例例4 写出下列写出下列特称命题特称命题的否定的否定,并判断真假：并判断真假：（1）p:；（2）p:有的三角形是等边三角形；有的三角形是等边三角形；（3）p:有一个素数

13、含有三个正因数有一个素数含有三个正因数.022,0200 xxRx总总 结：结：判断全称命题判断全称命题“xM,p(x)”是真命题的方法是真命题的方法判断全称命题判断全称命题“xM,p(x)”是假命题的方法是假命题的方法需要对集合需要对集合M中每个元素中每个元素x，证明，证明p(x)成立成立只需在集合只需在集合M中找到一个元素中找到一个元素x0，使得，使得p(x0)不成立即可（举不成立即可（举反例）反例）需要证明集合需要证明集合M中中,使使p(x)成立的元素成立的元素x不存在不存在.只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得使得p(x0)成立即可成立即可(举例说明举例说明).

14、总总 结：结：判断特称命题判断特称命题“x0M,p(x0)”是真命题的方法是真命题的方法判断特称命题判断特称命题“x0M,p(x0)”是假命题的方法是假命题的方法1.指出下列命题使用了那种量词，并用符号表示出来指出下列命题使用了那种量词，并用符号表示出来对任意正实数对任意正实数 ；对某个大于对某个大于10的正整数的正整数 ；2,20a aa,(2)1024nn20,20aaa*10,(2)1024nnnN2.判断下列命题的正假判断下列命题的正假对任意对任意 ，若，若 ，则，则 ；对任意一实数对任意一实数 ，成立成立；,a bRab11abx212x假命题假命题假命题假命题有些整数只有两个正因数

15、有些整数只有两个正因数真命题真命题练习：练习：3.下列命题中的假命题是（下列命题中的假命题是（）A.B.1,20 xxR*2,(1)0 xNx,tan2xRxC.D.,lg1xRxB4.已知已知 ，函数，函数 .若若 满足关于满足关于 的方的方程程 ，则下列选项中为假命题的是，则下列选项中为假命题的是()0a 2()fxaxbxc0 x20axbx0,()()xRfxfxA.B.C.D.0,()()xRfxfx0,()()xRfxfx0,()()xRfxfxC5.写出下列命题的否定，并判断其真假写出下列命题的否定，并判断其真假.：对所有的正实数：对所有的正实数 ，为正数且为正数且mmmmpp

16、：存在一个正实数：存在一个正实数 ，或或m0m mm真命题真命题6、命题：、命题：“对任意对任意k0，方程，方程x2xk0有实根有实根”的否定是的否定是()A存在存在k0，使方程，使方程x2xk0无实根无实根B对任意对任意k0，方程，方程x2xk0无实根无实根C存在存在k0，使方程，使方程x2xk0无实根无实根D存在存在k0，使方程，使方程x2xk0有实根有实根c7.下列命题中，真命题是下列命题中，真命题是()A.，使函数，使函数 是偶函数；是偶函数；mR2()()fxxm x xRB.，使函数，使函数 是奇函数；是奇函数；mR2()()fxxm x xRC.，使函数，使函数 都是偶函数；都是

17、偶函数；mR2()()fxxm x xRD.，使函数，使函数 都是奇函数；都是奇函数；2()()fxxm x xRmRA8.下列命题为假命题是下列命题为假命题是_11(0,),()()23xxx1123(0,1),loglogxxx121(0,1),()log2xxx 解解:p:a b c,(0,+),三三 个个 数数1ab,1bc,1ca全全 小小 于于2 .假假 设设 p 是是 真真 命命 题题,则则 a b c,(0,+),1ab+1bc+1ca 6 1ab+1bc+1ca=1111116abcabcabcabc222 推推 出出 矛矛 盾盾,由由 此此 可可 知知 p 是是 假假 命命 题题,p 是是 真真 命命 题题 谢谢观看！谢谢观看！作业作业（作业本）（作业本）:P26 A组组T3 B组组T1