全称量词与存在量词全部.ppt
《全称量词与存在量词全部.ppt》由会员分享,可在线阅读,更多相关《全称量词与存在量词全部.ppt(25页珍藏版)》请在冰豆网上搜索。
(1)对所有的实数)对所有的实数x,都有,都有x20;
(2)存在实数)存在实数x,满足,满足x20;(3)至少有一个实数)至少有一个实数x,使得,使得x220成立;成立;(4)存在有理数)存在有理数x,使得,使得x220成立;成立;(5)对于任何自然数)对于任何自然数n,有一个自然数,有一个自然数s使得使得s=nn;问题引入:
问题引入:
下列命题中含有哪些量词?
下列命题中含有哪些量词?
下列语句是命题吗?
下列语句是命题吗?
(1)与与(3),
(2)与与(4)之间有什么关系?
之间有什么关系?
(1)x3;
(2)2x+1是整数;是整数;(3)对所有的对所有的xR,x3;(4)对任意一个对任意一个xZ,2x+1是整数是整数。
语句语句
(1)
(2)
(1)
(2)不能判断真假,不是命题;不能判断真假,不是命题;语句语句(3)(4)(3)(4)可以判断真假,是命题。
可以判断真假,是命题。
全称量词、全称命题全称量词、全称命题定义:
定义:
短语短语“所有的所有的”“任意一个任意一个”在逻辑中通常叫做在逻辑中通常叫做全称量词全称量词,并,并用符号用符号“”表示。
表示。
含有全称量词的命题,叫做含有全称量词的命题,叫做全称命题全称命题。
常见的全称量词还有常见的全称量词还有“一切一切”“每一个每一个”“任给任给”“所有的所有的”等等。
全称命题全称命题举例:
举例:
命题符号记法:
命题符号记法:
命题:
对任意的命题:
对任意的nZ,2n+1是奇数;是奇数;所有的正方形都是矩形。
所有的正方形都是矩形。
通常,将含有变量通常,将含有变量x的语句用的语句用p(x),q(x),r(x),表示,变量表示,变量x的取值范围用的取值范围用M表示,那么,表示,那么,全称命题全称命题“对对M中任意一个中任意一个x,有,有p(x)成立成立”可用可用符号简记符号简记为:
为:
读作读作“对任意对任意x属于属于M,有,有p(x)成立成立”。
三、新知建构,典例分析全称命题所描述的问题的特点:
全称命题所描述的问题的特点:
给定范围内的所有元素(或每一个元素)都具有某给定范围内的所有元素(或每一个元素)都具有某种共同的性质。
种共同的性质。
例例.下列命题是否是全称命题?
下列命题是否是全称命题?
(1)每一个三角形都有外接圆;)每一个三角形都有外接圆;
(2)一切的无理数都是正数;)一切的无理数都是正数;(3)实数都有算术平方根)实数都有算术平方根.注意:
在写全称命题时,为了避免歧义,一般不要注意:
在写全称命题时,为了避免歧义,一般不要省略全称量词。
省略全称量词。
例例1判断下列全称命题的真假:
判断下列全称命题的真假:
(1)所有的素数是奇数;)所有的素数是奇数;
(2)xR,x211;(3)对每一个无理数)对每一个无理数x,x2也是无理数;也是无理数;下列语句是命题吗?
下列语句是命题吗?
(1)与与(3),
(2)与与(4)之间有什么关系?
之间有什么关系?
(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)可以判断真假,是命题。
可以判断真假,是命题。
存在量词、特称命题存在量词、特称命题定义:
定义:
短语短语“存在一个存在一个”“至少有一个至少有一个”在逻辑中通常叫做在逻辑中通常叫做存在量词存在量词,并用符号并用符号“”表示。
表示。
含有存在量词的命题,叫做含有存在量词的命题,叫做特称命题特称命题。
常见的存在量词还有常见的存在量词还有“有些有些”“有一个有一个”“对某个对某个”“有的有的”等等。
特称命题特称命题举例:
举例:
命题:
有的平行四边形是菱形;命题:
有的平行四边形是菱形;有一个素数不是奇数。
有一个素数不是奇数。
特称命题特称命题“存在存在M中的一个中的一个x0,使,使p(x0)成立成立”可用可用符号简记符号简记为:
为:
读作读作“存在一个存在一个x0属于属于M,使,使p(x0)成立成立”。
三、新知建构,典例分析例例2判断下列特称命题的真假:
判断下列特称命题的真假:
(1)有一个实数有一个实数x0,使使x02+2x0+3=0;
(2)存在两个相交平面垂直于同一条直线;存在两个相交平面垂直于同一条直线;(3)有些整数只有两个正因数有些整数只有两个正因数.全称命题、特称命题的表述方法:
命题命题全称命题全称命题特称命题特称命题所有的所有的xM,p(x)成立成立对一切对一切xM,p(x)成立成立对每一个对每一个xM,p(x)成成立立任选一个任选一个xM,p(x)成成立立凡凡xM,都有,都有p(x)成立成立存在存在x0M,使,使p(x)成立成立至少有一个至少有一个x0M,使,使p(x)成立成立对有些对有些x0M,使,使p(x)成成立立对某个对某个x0M,使,使p(x)成成立立有一个有一个x0M,使,使p(x)成成表表述述方方法法从命题形式上看从命题形式上看,这三个这三个全称命题全称命题的的否定否定都都变成了变成了特称命题特称命题.全称命题的否定是特称命题全称命题的否定是特称命题.三、新知建构,典例分析一般地一般地,对于含有一个量词的对于含有一个量词的全称命题的否定全称命题的否定,有下面的结论有下面的结论:
全称命题全称命题p:
探究探究否定否定:
1)所有实数的绝对值都不是正数所有实数的绝对值都不是正数;2)所有平行四边形都不是菱形所有平行四边形都不是菱形;3)特称命题特称命题它的否定它的否定从命题形式上看从命题形式上看,这三个这三个特称命题特称命题的的否定否定都变都变成了成了全称命题全称命题.一般地一般地,对于含有一个量词的对于含有一个量词的特称命题的否定特称命题的否定,有下面的结论有下面的结论:
特称命题特称命题特称命题的否定是全称命题特称命题的否定是全称命题.三、新知建构,典例分析例例3写出下列写出下列全称命题全称命题的否定的否定,并判断真假:
并判断真假:
(1)p:
所有能被所有能被3整除的整数都是奇数;整除的整数都是奇数;
(2)p:
每一个四边形的四个顶点共圆;每一个四边形的四个顶点共圆;(3)p:
对任意对任意xZ,x2的个位数字不等于的个位数字不等于3.例例4写出下列写出下列特称命题特称命题的否定的否定,并判断真假:
并判断真假:
(1)p:
;
(2)p:
有的三角形是等边三角形;有的三角形是等边三角形;(3)p:
有一个素数含有三个正因数有一个素数含有三个正因数.总总结:
结:
判断全称命题判断全称命题“xM,p(x)”是真命题是真命题的方法的方法判断全称命题判断全称命题“xM,p(x)”是假命题是假命题的方法的方法需要对集合需要对集合M中每个元素中每个元素x,证明,证明p(x)成立成立只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得,使得p(x0)不成立即可(举反例)不成立即可(举反例)需要证明集合需要证明集合M中中,使使p(x)成立的元素成立的元素x不存在不存在.只需在集合只需在集合M中找到一个元素中找到一个元素x0,使得使得p(x0)成立即成立即可可(举例说明举例说明).总总结:
结:
判断特称命题判断特称命题“x0M,p(x0)”是真命是真命题的方法题的方法判断特称命题判断特称命题“x0M,p(x0)”是假命是假命题的方法题的方法1.指出下列命题使用了那种量词,并用符号表示出来指出下列命题使用了那种量词,并用符号表示出来对任意正实数对任意正实数;对某个大于对某个大于10的正整数的正整数;2.判断下列命题的正假判断下列命题的正假对任意对任意,若,若,则,则;对任意一实数对任意一实数,成立成立;假命题假命题假命题假命题有些整数只有两个正因数有些整数只有两个正因数真命题真命题练习:
练习:
3.下列命题中的假命题是(下列命题中的假命题是()A.B.C.D.B4.已知已知,函数,函数.若若满足关于满足关于的方程的方程,则下列选项中为假命题的是,则下列选项中为假命题的是()A.B.C.D.C5.写出下列命题的否定,并判断其真假写出下列命题的否定,并判断其真假.:
对所有的正实数:
对所有的正实数,为正数且为正数且:
存在一个正实数:
存在一个正实数,或或真命题真命题6、命命题题:
“对对任任意意k0,方方程程x2xk0有有实实根根”的否定是的否定是()A存在存在k0,使方程,使方程x2xk0无实根无实根B对任意对任意k0,方程,方程x2xk0无实根无实根C存在存在k0,使方程,使方程x2xk0无实根无实根D存在存在k0,使方程,使方程x2xk0有实根有实根c7.下列命题中,真命题是下列命题中,真命题是()A.,使函数,使函数是偶函数;是偶函数;B.,使函数,使函数是奇函数;是奇函数;C.,使函数,使函数都是偶函数;都是偶函数;D.,使函数,使函数都是奇函数;都是奇函数;A8.下列命题为假命题是下列命题为假命题是_作业作业(作业本)(作业本):
P26A组组T3B组组T1