2017_2018学年高中数学第一章常用逻辑用语1.4全称量词与存在量词课件新人教A版选修2_120170830365.pptVIP

-*- 1.4　全称量词与存在量词 1.理解全称量词与存在量词的意义,会判断一个含有量词的全称命题、特称命题的真假. 2.能正确地对含有一个量词的命题进行否定,理解全称命题与特称命题之间的关系. 1.短语“所有的”“任意一个”等在逻辑中通常叫做全称量词,并用符号“?”表示.含有全称量词的命题叫做全称命题.短语“存在一个”“至少有一个”等在逻辑中通常叫做存在量词,用符号“?”表示.含有存在量词的命题叫做特称命题. 【做一做1】 下列命题中含有全称量词的是(　　) A.至少有一个自然数是2的倍数 B.存在小于零的整数 C.方程3x=2有实数根 D.无理数是小数 答案:D 2.全称命题“对M中任意一个x,有p(x)成立”可用符号?x∈M,p(x)表示,读作“对任意x属于M,有p(x)成立”. 特称命题“存在M中的元素x0,使p(x0)成立”,可用符号?x0∈M,p(x0)表示,读作“存在M中的一个元素x0,使p(x0)成立”. 归纳总结全称命题中的全称量词表明给定范围内的所有对象都具有某一性质,无一例外;而特称命题中的存在量词却表明给定范围内的对象有例外,两者正好构成相反意义的表述. 【做一做2】 下列语句是特称命题的是(　　) A.整数n是2和7的倍数 B.存在整数n,使n能被11整除 C.x7 D.?x∈M,p(x)成立 解析:B选项中有存在量词“存在”,故B项是特称命题,A和C不是命题,D是全称命题. 答案:B 3.含有一个量词的命题的否定 (1)全称命题p:?x∈M,p(x),它的否定?p:?x0∈M, ?p(x0),是特称命题; (2)特称命题p:?x0∈M,p(x0),它的否定?p:?x∈M, ?p(x),是全称命题. 答案:D 【做一做3-2】 已知命题p:?x∈R,sin x≤1,则?p是　　　　　　　　　　　.? 解析:全称命题的否定为特称命题.则?p:?x0∈R,sin x01. 答案:?x0∈R,sin x01 1.全称命题与特称命题的真假 剖析:要判定一个全称命题是真命题,必须对限定集合M中的每一个元素x验证p(x)成立;但要判定一个全称命题是假命题,却只需找出集合M中的一个x=x0,使得p(x0)不成立即可(这就是我们常说的“举出一个反例”).要判定一个特称命题为真命题,只要在限定集合M中,至少能找到一个x=x0,使得p(x0)成立即可;否则,这一特称命题就是假命题. 2.含有一个量词的命题的否定 剖析:全称命题和特称命题的否定,其模式是固定的,即先把相应的全称量词改为存在量词,存在量词改为全称量词,再对命题结论进行否定,熟练地掌握下列常用词语的否定,对写出含有一个量词的命题的否定有很大帮助. 归纳总结在实际应用中,若从正面证明全称命题“?x∈M,p(x)”是真命题不容易,可证明它的否定“?x0∈M, ?p(x0)”是假命题,反之亦然. 题型一 题型二 题型三 题型四 全称命题与特称命题的辨析 【例1】 判断下列命题是全称命题还是特称命题: (1)负数没有对数; (2)至少有一个整数,它既能被2整除,又能被5整除; (3)?x∈{x|x是无理数},x2是无理数; (4)?x0∈{x|x∈Z},log2x00. 分析:(1)虽然表面看并不含量词,但从意义上来理解却含有“全部”“所有的”这样的意思;(2)(3)(4)明显含有量词. 解:(1)和(3)为全称命题;(2)和(4)为特称命题. 题型一 题型二 题型三 题型四 【变式训练1】 判断下列语句是全称命题,还是特称命题: (1)凸多边形的外角和等于360°; (2)有些实数a,b能使|a-b|=|a|+|b|; ? 解:(1)可以改写为“所有的凸多边形的外角和等于360°”,是全称命题. (2)含有存在量词“有些”,故是特称命题. (3)含有全称量词“任意”,故是全称命题. 题型一 题型二 题型三 题型四 判断全称命题与特称命题的真假 【例2】 已知命题: p1:函数y=2x-2-x在R上为增函数, p2:函数y=2x+2-x在R上为减函数, 则在命题q1:p1∨p2,q2:p1∧p2,q3:(?p1)∨p2和q4:p1∧(?p2)中,真命题是(　　) A.q1,q3 B.q2,q3 C.q1,q4 D.q2,q4 解析:p1为真,p2为假, 则q1为真,q2为假,q3为假,q4为真. 答案:C 反思要判定一个全称命题是真命题,需要对限定集合中每一个元素验证其成立;但要判定一个特称命题为真命题,只要在限定集合中找到一个元素说明其成立即可. 题型一 题型二 题型三 题型四 【变式训练2】 判断下列命题的真假: (1)存在一个函数,既是偶函数又是奇函数; (2)每一条线段的长度都能用正有理数来表示; 题型一 题型二 题型三 题型四 对含有一个量词的命题的否定