简单的逻辑联结词全称量词与存在量词课件.ppt

《简单的逻辑联结词全称量词与存在量词课件.ppt》由会员分享，可在线阅读，更多相关《简单的逻辑联结词全称量词与存在量词课件.ppt（44页珍藏版）》请在三一办公上搜索。

1、2023/3/28,第三讲 简单的逻辑联结词全称量词与存在量词,2023/3/28,回归课本1.逻辑联结词命题中的或且非叫逻辑联结词.,2023/3/28,2.命题pq,pq,p的真假判断,2023/3/28,注意:p与q全真时,pq为真,否则,pq为假.p与q全假时,pq为假,否则,pq为真.p与p必定是一真一假.,2023/3/28,3.全称量词存在量词(1)全称量词短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号表示.含有全称量词的命题,叫做全称命题,全称命题“对M中任意一个x,有p(x)成立”,简记作xM,p(x).,2023/3/28,(2)存在量词短语“存在一个”“至少

2、有一个”在逻辑中通常叫做存在量词,并用符号表示.含有存在量词的命题,叫做特称命题,特称命题“存在M中的元素x0,使p(x0)成立”,简记作x0M,p(x0).(3)两种命题的关系全称命题的否定是特称命题;特称命题的否定是全称命题.注意:同一个全称命题特称命题,由于自然语言的不同,可能有不同的表述方法,在实际应用中可以灵活地选择.,2023/3/28,2023/3/28,考点陪练1.（2011安徽）命题“所有能被2整除的整数都是偶数”的否定是()A所有不能被2整除的整数都是偶数B所有能被2整除的整数都不是偶数C存在一个不能被2整除的整数是偶数D存在一个能被2整除的整数不是偶数,2023/3/28

3、,解析：本题是一个全称命题，其否定是特称命题，同时将命题的结论进行否定，答案为D.答案：D,2023/3/28,2.(2010威海模拟题)已知命题p:xR,cosx1,则()A.p:x0R,cosx01B.p:xR,cosx1C.p:x0R,cosx01D.p:xR,cosx1,2023/3/28,解析:全称量词的否定应为存在量词,所以命题p:xR,cosx1的否命题是x0R,cosx01.答案:C,2023/3/28,2.(2010广州联考题)若函数f(x),g(x)的定义域和值域都是R,则“f(x)g(x),xR”成立的充要条件是()A.x0R,使得f(x0)g(x0)B.不存在任何实数x

4、,使得f(x)g(x)C.xR,都有f(x)+g(x)D.存在无数多个实数x,使得f(x)g(x),2023/3/28,解析:f(x)g(x),xR的含义即对任意的实数,都有f(x)g(x)成立.因此其等价含义即为不存在任何实数使得f(x)g(x).答案:B,2023/3/28,3.(2010金华模拟题)下列特称命题中,假命题的个数是()x0R,使2x20+x0+1=0;存在两条相交直线垂直于同一个平面;x0R,x200.A.0 B.1C.2 D.3解析:命题是假命题,命题是真命题.答案:C,2023/3/28,4.(2010湖南)下列命题中的假命题是()A.xR,2x-10 B.xN*,(x

5、-1)20C.xR,lgx0 D.xR,tanx=2解析:对于选项B,当x=1时,结论不成立,故选B.答案:B,2023/3/28,5.(2010辽宁)已知a0,函数f(x)=ax2+bx+c.若x0满足关于x的方程2ax+b=0,则下列选项的命题中为假命题的是()A.xR,f(x)f(x0)B.xR,f(x)f(x0)C.xR,f(x)f(x0)D.xR,f(x)f(x0),2023/3/28,解析:由题知:x0为函数f(x)图象的对称轴方程,所以f(x0)为函数的最小值,即对所有的实数x,都有f(x)f(x0),因此xR,f(x)f(x0)是错误的,选C.答案:C,2023/3/28,类型

6、一含有逻辑联结词的命题真假判定解题准备:解决该类问题基本步骤为:1.弄清构成它的命题pq的真假;2.弄清它的结构形式;3.根据真值表判断构成新命题的真假.,2023/3/28,【典例1】已知命题p:xR,使tanx=1,命题q:x2-3x+20的解集是x|1x2,下列结论:命题“pq”是真命题;命题“pq”是假命题;命题“pq”是真命题;命题“pq”是假命题.其中正确的是()A.B.C.D.,2023/3/28,解 先判断命题p和q的真假,再对各个用逻辑联结词联结的命题进行真假判断.命题p:xR,使tanx=1正确,命题q:x2-3x+20的解集是x|1x2也正确;命题“pq”是真命题;命题“

7、pq”是假命题;命题“pq”是真命题;命题“pq”是假命题,故应选D.答案 D,2023/3/28,反思感悟 正确理解逻辑联结词“或”“且”“非”的含义是解题的关键,应根据组成各个复合命题的语句中所出现的逻辑联结词进行命题结构与真假的判断.其步骤为:确定复合命题的构成形式;判断其中简单命题的真假;根据其真值表判断复合命题的真假.,2023/3/28,类型二全称命题与特称命题真假的判断解题准备:1.要判定全称命题是真命题,需对集合M中每个元素x,证明p(x)成立;如果在集合M中找到一个元素x0,使得p(x0)不成立,那么这个全称命题就是假命题;2.要判定一个特称命题是真命题,只要在限定集合M中,

8、至少能找到一个x0,使p(x0)成立即可;否则,这一特称命题就是假命题.,2023/3/28,注意:有些题目隐含了全称量词和存在量词,要注意对其进行改写来找到.,2023/3/28,【典例2】(特例法)试判断以下命题的真假:(1)xR,x2+20;(2)xN,x41;(3)xZ,x31;(4)xQ,x2=3.,2023/3/28,解(1)由于xR,有x20,因而有x2+220,即x2+20.所以命题“xR,x2+20”是真命题.(2)由于0N,当x=0时,x41不成立.所以命题“xN,x41”是假命题.(3)由于-1Z,当x=-1时,能使x31.所以命题“xZ,x31”是真命题.(4)由于使x

9、2=3成立的数只有而它们都不是有理数.因此,没有任何一个有理数的平方能等于3.所以命题“xQ,x2=3”是假命题.,2023/3/28,反思感悟 本例中的(3)是一个典型的特例法,即要说明一个存在性命题正确,只要找到一个元素使命题成立即可.,2023/3/28,类型三全(特)称命题的否定解题准备:1.全称命题p:xM,p(x).它的否定p:x0M,p(x0).2.存在性命题p:x0M,p(x0).它的否定p:xM,p(x).3.全称(存在性)命题的否定与命题的否定有着一定的区别,全称(存在性)命题的否定是将其全称量词改为存在量词(或存在量词改为全称量词),并把结论否定,而命题的否定则直接否定结

10、论即可.从命题形式上看,全称命题的否定是特称命题,特称命题的否定是全称命题.,2023/3/28,【典例3】写出下列命题的否定,并判断命题的否定的真假,指出命题的否定属全称命题还是特称命题:(1)所有的有理数是实数;(2)有的三角形是直角三角形;(3)每个二次函数的图象都与y轴相交;(4)xR,x2-2x0.,2023/3/28,分析 先否定量词:存在任意.再否定判断词.解(1)非p:存在一个有理数不是实数.为假命题,属特称命题.(2)非p:所有的三角形都不是直角三角形.为假命题,属全称命题.(3)非p:有些二次函数的图象与y轴不相交.为真命题,属特称命题.(4)非p:xR,x2-2x0.为真

11、命题,属特称命题.,2023/3/28,反思感悟 只否定全称量词和存在量词,或只否定判断词,因否定不全面或否定词不准确而致错.从以上的符号语言和例子可以看出,对全称命题的否定,在否定判断词时,还要否定全称量词,变为特称命题.对特称命题的否定,在否定判断词时,也要否定存在量词.,2023/3/28,类型四 与逻辑联结词全称量词存在量词有关的命题中参数范围的确定解题准备:1.由简单命题的真假可判断复合命题的真假,反之,由复合命题的真假也能判断构成该复合命题的简单命题的真假.利用简单命题的真假分别求出参数满足的条件,再取二者的交集即可.,2023/3/28,2.此类题目经常与函数不等式等知识相联系,

12、要注意分类讨论思想的应用.【典例4】已知两个命题r(x):sinx+cosxm,s(x):x2+mx+10.如果对xR,r(x)s(x)为假,r(x)s(x)为真,求实数m的取值范围.分析 由题意可知,r(x)与s(x)有且只有一个是真命题,所以可先求出对xR时,r(x),s(x)都是真命题时m的范围,再由要求分情况讨论出所求m的范围.,2023/3/28,2023/3/28,反思感悟 解决这类问题时,应先根据题目条件,推出每一个命题的真假(有时不一定只有一种情况),然后再求出每个命题是真命题时参数的取值范围,最后根据每个命题的真假情况,求出参数的取值范围.,2023/3/28,错源一错误理解

13、命题的否定【典例1】已知命题p:函数f(x)=-(5-2m)x是减函数.若p为真命题,求实数m的取值范围.,2023/3/28,错解 命题p:f(x)=-(5-2m)x是减函数,p:函数f(x)=-(5-2m)x为增函数,05-2m1,2m,2023/3/28,剖析 本题的错误在于由p得到p:函数f(x)是增函数.事实上,命题p的否定包括“函数f(x)是增函数”和“f(x)不单调”两种情形.为了避免出错,处理这类问题时,不宜直接得到命题p,一般是先由原命题为真得出参数的取值范围,再研究p为真或为假时参数的取值范围.,2023/3/28,正解 由f(x)=-(5-2m)x是减函数,知5-2m1,

14、m2,当p为真时,m2,实数m的取值范围是2,+).,2023/3/28,错源二对含有量词的命题的否定不当致误【典例2】命题“对任意的xR,x3-x2+10”的否定是()A.不存在xR,x3-x2+10B.存在xR,x3-x2+10C.存在xR,x3-x2+10D.对任意的xR,x3-x2+10,2023/3/28,剖析 本题是对全称命题的否定,因此否定时既要对全称量词“任意”否定,又要对“”进行否定,全称量词“任意”的否定为存在量词“存在”,“”的否定为“”,可能的错误是“顾此失彼”,忽略了细节.正解 题目中命题的意思是“对任意的xR,x3-x2+10都成立”,要否定它,只要能找到至少一个x

15、,使得x3-x2+10即可,故命题“对任意的xR,x3-x2+10”的否定是“存在xR,x3-x2+10”,故选C.答案 C,2023/3/28,评析含有量词的命题的否定方法:对全称命题的否定,在否定判断词时,还要否定全称量词,变为特称命题.特别要注意的是,由于有的命题的全称量词往往可以省略不写,从而在进行命题否定时易将全称命题只否定判断词,而不否定省略了的全称量词.,2023/3/28,技法综合法【典例】(2010合肥第一次质检)下列命题:xR,不等式x2+2x4x-3均成立;若log2x+logx22,则x1;“若ab0且c0,则”的逆否命题是真命题;,2023/3/28,若命题p:xR,x2+11,命题q:xR,x2-x-10,则命题pq是真命题.其中真命题为()A.B.C.D.,2023/3/28,答案 A,