《第三讲简单的逻辑联结词全称量词与存在量词》由会员分享,可在线阅读,更多相关《第三讲简单的逻辑联结词全称量词与存在量词(44页珍藏版)》请在金锄头文库上搜索。
1、第三讲第三讲 简单的逻辑联结词简单的逻辑联结词 全称量全称量词与存在量词词与存在量词8/11/2024回归课本回归课本1.逻辑联结词逻辑联结词命题中的命题中的或或 且且 非非叫逻辑联结词叫逻辑联结词.8/11/20242.命题命题pq,pq,p的真假判断的真假判断pqpqpqp真真真真真真真真假假真真假假假假真真假假假假真真假假真真真真假假假假假假假假真真8/11/2024注意注意:p与与q全真时全真时,pq为真为真,否则否则,pq为假为假.p与与q全假时全假时,pq为假为假,否则否则,pq为真为真.p与与p必定是一真一假必定是一真一假.8/11/20243.全称量词全称量词 存在量词存在量词
2、(1)全称量词全称量词短语短语“所有的所有的”“任意一个任意一个”在逻辑中通常叫做在逻辑中通常叫做全称量词全称量词,并用并用符号符号表示表示.含有全称量词的命题含有全称量词的命题,叫做叫做全称命题全称命题,全称命题全称命题“对对M中任意一个中任意一个x,有有p(x)成立成立”,简记作简记作xM,p(x).8/11/2024 (2)存在量词存在量词短语短语“存在一个存在一个”“至少有一个至少有一个”在逻辑中通常叫做在逻辑中通常叫做存在量词存在量词,并用符号并用符号 表示表示.含有存在量词的命题含有存在量词的命题,叫做叫做特称命题特称命题,特称命特称命题题“存在存在M中的元素中的元素x0,使使p(
3、x0)成立成立”,简记作简记作 x0M,p(x0).(3)两种命题的关系两种命题的关系全称命题的否定是全称命题的否定是特称命题特称命题;特称命题的否定是特称命题的否定是全称命题全称命题.注意注意:同一个全称命题同一个全称命题 特称命题特称命题,由于自然语言的不同由于自然语言的不同,可能有可能有不同的表述方法不同的表述方法,在实际应用中可以灵活地选择在实际应用中可以灵活地选择.8/11/2024命题命题全称命题全称命题“xA,p(x)”特称命题特称命题“ xA,p(x)”表述表述方法方法对所有的对所有的xA,p(x)成立成立存在存在xA,使使p(x)成立成立对一切对一切xA,p(x)成立成立至少
4、有一个至少有一个xA,使使p(x)成立成立对每一个对每一个xA,p(x)成立成立对有些对有些xA,使使p(x)成立成立任选一个任选一个xA,p(x)成立成立对某个对某个xA,使使p(x)成立成立凡凡xA,都有都有p(x)成立成立有一个有一个xA,使使p(x)成立成立8/11/2024考点陪练考点陪练1.(2011安徽)命题安徽)命题“所有能被所有能被2整除的整数都是偶数整除的整数都是偶数”的否定的否定是是()A所有不能被所有不能被2整除的整数都是偶数整除的整数都是偶数B所有能被所有能被2整除的整数都不是偶数整除的整数都不是偶数C存在一个不能被存在一个不能被2整除的整数是偶数整除的整数是偶数D存
5、在一个能被存在一个能被2整除的整数不是偶数整除的整数不是偶数8/11/2024解析:本题是一个全称命题,其否定是特称命题,同时将命题解析:本题是一个全称命题,其否定是特称命题,同时将命题的结论进行否定,答案为的结论进行否定,答案为D.答案:答案:D8/11/20242.(2010威海模拟题威海模拟题)已知命题已知命题p:xR,cosx1,则则( )A.p: x0R,cosx01B.p:xR,cosx1C.p: x0R,cosx01D.p:xR,cosx18/11/2024解析解析:全称量词的否定应为存在量词全称量词的否定应为存在量词,所以命题所以命题p:xR,cosx1的否命题是的否命题是 x
6、0R,cosx01.答案答案:C8/11/20242.(2010广州联考题广州联考题)若函数若函数f(x),g(x)的定义域和值域都是的定义域和值域都是R,则则“f(x)g(x),xR”成立的充要条件是成立的充要条件是( )A. x0R,使得使得f(x0)g(x0)B.不存在任何实数不存在任何实数x,使得使得f(x)g(x)C.xR,都有都有f(x)+g(x)D.存在无数多个实数存在无数多个实数x,使得使得f(x)g(x)8/11/2024解析解析:f(x)g(x),xR的含义即对任意的实数的含义即对任意的实数,都有都有f(x)0 B.xN*,(x-1)20C. xR,lgx0,函数函数f(x
7、)=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)8/11/2024解析解析:由题知由题知:x0为函数为函数f(x)图象的对称轴方程图象的对称轴方程,所所以以f(x0)为函数的最小值为函数的最小值,即对所有的实数即对所有的实数x,都有都有f(x)f(x0),因此因此xR,f(x)f(x0)是错误的是错误的,选选C.答案答案:C8/11/2024类型一类型一含有逻辑联结词的命题真假判定含
8、有逻辑联结词的命题真假判定解题准备解题准备:解决该类问题基本步骤为解决该类问题基本步骤为:1.弄清构成它的命题弄清构成它的命题p q的真假的真假;2.弄清它的结构形式弄清它的结构形式;3.根据真值表判断构成新命题的真假根据真值表判断构成新命题的真假.8/11/2024【典例典例1】 已知命题已知命题p: xR,使使tanx=1,命题命题q:x2-3x+20的解的解集是集是x|1x2,下列结论下列结论:命题命题“pq”是真命题是真命题;命题命题“pq”是假命题是假命题;命题命题“pq”是真命题是真命题;命题命题“pq”是假命题是假命题.其中正确的是其中正确的是( )A. B.C. D.8/11/
9、2024 解解 先判断命题先判断命题p和和q的真假的真假,再对各个用逻辑联结词联结的命再对各个用逻辑联结词联结的命题进行真假判断题进行真假判断.命题命题p: xR,使使tanx=1正确正确,命题命题q:x2-3x+20的解集是的解集是x|1x0;(2)xN,x41;(3) xZ,x30,即即x2+20.所以命题所以命题“xR,x2+20”是真命题是真命题.(2)由于由于0N,当当x=0时时,x41不成立不成立.所以命题所以命题“xN,x41”是是假命题假命题.(3)由于由于-1Z,当当x=-1时时,能使能使x31.所以命题所以命题“ xZ,x30.8/11/2024分析分析 先否定量词先否定量
10、词:存在存在任意任意.再否定判断词再否定判断词.解解 (1)非非p:存在一个有理数不是实数存在一个有理数不是实数.为假命题为假命题,属特称命题属特称命题.(2)非非p:所有的三角形都不是直角三角形所有的三角形都不是直角三角形.为假命题为假命题,属全称命题属全称命题.(3)非非p:有些二次函数的图象与有些二次函数的图象与y轴不相交轴不相交.为真命题为真命题,属特称命属特称命题题.(4)非非p: xR,x2-2x0.为真命题为真命题,属特称命题属特称命题. 8/11/2024反思感悟反思感悟 只否定全称量词和存在量词只否定全称量词和存在量词,或只否定判断词或只否定判断词,因否因否定不全面或否定词不
11、准确而致错定不全面或否定词不准确而致错.从以上的符号语言和例子可以看出从以上的符号语言和例子可以看出,对全称命题的否定对全称命题的否定,在否定在否定判断词时判断词时,还要否定全称量词还要否定全称量词,变为特称命题变为特称命题.对特称命题的否对特称命题的否定定,在否定判断词时在否定判断词时,也要否定存在量词也要否定存在量词.8/11/2024类型四类型四 与逻辑联结词与逻辑联结词 全称量词全称量词 存在量词有关的命题中参数范存在量词有关的命题中参数范围的确定围的确定解题准备解题准备:1.由简单命题的真假可判断复合命题的真假由简单命题的真假可判断复合命题的真假,反之反之,由由复合命题的真假也能判断
12、构成该复合命题的简单命题的真假复合命题的真假也能判断构成该复合命题的简单命题的真假.利用简单命题的真假分别求出参数满足的条件利用简单命题的真假分别求出参数满足的条件,再取二者的交再取二者的交集即可集即可.8/11/20242.此类题目经常与函数此类题目经常与函数 不等式等知识相联系不等式等知识相联系,要注意分类讨论思要注意分类讨论思想的应用想的应用.【典例典例4】 已知两个命题已知两个命题r(x):sinx+cosxm,s(x):x2+mx+10.如果对如果对xR,r(x)s(x)为假为假,r(x)s(x)为真为真,求实数求实数m的取的取值范围值范围.分析分析 由题意可知由题意可知,r(x)与
13、与s(x)有且只有一个是真命题有且只有一个是真命题,所以可所以可先求出对先求出对xR时时,r(x),s(x)都是真命题时都是真命题时m的范围的范围,再由要再由要求分情况讨论出所求求分情况讨论出所求m的范围的范围.8/11/20248/11/2024 反思感悟反思感悟 解决这类问题时解决这类问题时,应先根据题目条件应先根据题目条件,推出每一个命推出每一个命题的真假题的真假(有时不一定只有一种情况有时不一定只有一种情况),然后再求出每个命题是然后再求出每个命题是真命题时参数的取值范围真命题时参数的取值范围,最后根据每个命题的真假情况最后根据每个命题的真假情况,求求出参数的取值范围出参数的取值范围.
14、8/11/2024错源一错源一错误理解命题的否定错误理解命题的否定【典例典例1】 已知命题已知命题p:函数函数f(x)=-(5-2m)x是减函数是减函数.若若p为真命为真命题题,求实数求实数m的取值范围的取值范围.8/11/2024错解错解 命题命题p:f(x)=-(5-2m)x是减函数是减函数,p:函数函数f(x)=-(5-2m)x为增函数为增函数,05-2m1,21,m0D.对任意的对任意的xR,x3-x2+1”,可能的错误可能的错误是是“顾此失彼顾此失彼”,忽略了细节忽略了细节.正解正解 题目中命题的意思是题目中命题的意思是“对任意的对任意的xR,x3-x2+10都成立都成立”,要否定它
15、要否定它,只要能找到至少一个只要能找到至少一个x,使得使得x3-x2+10即可即可,故故命题命题“对任意的对任意的xR,x3-x2+10”的否定是的否定是“存在存在xR,x3-x2+10”,故选故选C.答案答案 C 8/11/2024评析评析含有量词的命题的否定方法含有量词的命题的否定方法:对全称命题的否定对全称命题的否定,在否定判断词时在否定判断词时,还要否定全称量词还要否定全称量词,变为特变为特称命题称命题.特别要注意的是特别要注意的是,由于有的命题的全称量词往往可以由于有的命题的全称量词往往可以省略不写省略不写,从而在进行命题否定时易将全称命题只否定判断词从而在进行命题否定时易将全称命题只否定判断词,而不否定省略了的全称量词而不否定省略了的全称量词.8/11/2024技法技法综合法综合法【典例典例】 (2010合肥第一次质检合肥第一次质检)下列命题下列命题:xR,不等式不等式x2+2x4x-3均成立均成立;若若log2x+logx22,则则x1;“若若ab0且且c0,则则” 的逆否命题是真命的逆否命题是真命题题;8/11/2024若命题若命题p:xR,x2+11,命题命题q: xR,x2-x-10,则命题则命题pq是真命题是真命题.其中真命题为其中真命题为( )A. B.C. D.8/11/2024 答案答案 A8/11/2024