《数学 第一章 常用逻辑用语 1.4.1 全称量词 1.4.2 存在量词1 新人教A版选修1-1 .ppt》由会员分享,可在线阅读,更多相关《数学 第一章 常用逻辑用语 1.4.1 全称量词 1.4.2 存在量词1 新人教A版选修1-1 .ppt(17页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、1.4.1 1.4.1 全称量词全称量词 1.4.2 1.4.2 存在量词存在量词教学目标教学目标1.全称命题与特称命题真假的判定2.全称命题与特称命题的否定设设p:实数:实数x满足满足x24ax3a20,a0.且非且非p是非是非q的必要不充分条件,求实数的必要不充分条件,求实数a的取的取值范围值范围复习引入复习引入下列语句是否是命题?下列语句是否是命题?(1)(1)与与(3)(3),(1)(1)与与(4)(4),(2)(2)与与(5)(5),(2)(2)与与(6)(6)之间有什么关系?之间有什么关系?(1)(1)x x33;(2)2(2)2x x+1+1是整数;是整数;(3)(3)对所有的对
2、所有的x x R R,x x3;3;(4)(4)存在一个存在一个x x0 0 R R,使得,使得x x0 033;(5)(5)对任意一个对任意一个x x Z Z,2 2x x+1+1是整数是整数(6)(6)至少有一个至少有一个x x0 0 Z Z,2x2x0 0+1+1是整数是整数.思思 考考1.全称量词全称量词短语短语“对所有的对所有的”“”“对任意一个对任意一个”在逻辑在逻辑中通常叫做中通常叫做全称量词全称量词.符号:符号:2.全称命题全称命题:含有全称量词的命题含有全称量词的命题.符号:符号:x M,p(x)读作读作:对任意:对任意x属于属于M,有,有p(x)成立成立.*讲授新课讲授新课
3、*3.存在量词:存在量词:短语短语“存在一个存在一个”“至少有一个至少有一个”等都是表示整体的一部分的等都是表示整体的一部分的词在逻辑中通常叫做存在量词词在逻辑中通常叫做存在量词.符号:符号:4.特称命题特称命题(存在命题存在命题):含有存在量词的命题含有存在量词的命题.符号:符号:x0 M,p(x0)读作:读作:存在存在M中一个中一个x0,使,使p(x0)成立成立.例例1 1下列命题是全称还是特称命题吗?其真假如何下列命题是全称还是特称命题吗?其真假如何?(1)(1)所有的素数是奇数所有的素数是奇数 (2)(2)x x R R,x x2 2+1+1 1 1(3)(3)有的平行四边形是菱形有的
4、平行四边形是菱形(4)(4)对每个无理数对每个无理数x x,x x2 2也是无理数也是无理数;(5)(5)存在两个相交平面于直于同一条直线;存在两个相交平面于直于同一条直线;(6)(6)每个指数函数都是单调函数;每个指数函数都是单调函数;(7)(7)有些实数的平方小于有些实数的平方小于0.0.例例2 2判断下列语句是全称命题还是特称命题判断下列语句是全称命题还是特称命题,以及真假情况,并用符号以及真假情况,并用符号“”或或“”来表来表示示.(1)(1)有一个向量有一个向量 ,的方向不能确定的方向不能确定;(2)(2)存在一个函数存在一个函数f(xf(x),使,使f(xf(x)既是奇函数既是奇函
5、数又是偶函数又是偶函数;(3)(3)对任意实数对任意实数a,b,ca,b,c,方程方程 都有解都有解;(4)(4)在平面外的所有直线中,有一条直线和在平面外的所有直线中,有一条直线和这个平面垂直这个平面垂直.全称命题、特称命题常用表述形式全称命题、特称命题常用表述形式命命题题全称命题全称命题特称命题特称命题表表述述方方法法同一个全称命题、特称命题,由于自然语言的同一个全称命题、特称命题,由于自然语言的不同,可以有不同的表述方法不同,可以有不同的表述方法.p:“所有的所有的平行四边形平行四边形是是矩形矩形”p:“不是所有不是所有的平行四边形都是矩形的平行四边形都是矩形”也就是说也就是说“存在存在
6、至少一个平行四边形它不是矩形至少一个平行四边形它不是矩形”所以,所以,p:“存在存在平行四边形平行四边形不是不是矩形矩形”假命题假命题真命题真命题探究探究:设设p:“平行四边形是矩形平行四边形是矩形”(1)命题命题p是真命题还是假命题是真命题还是假命题(2)请写出请写出命题命题p的否定形式的否定形式(3)判断判断p的真假的真假*讲授新课讲授新课*(1)所有的人都喝水;(2)有实数a,使得 .探究:全称命题和特称命题的否定探究:全称命题和特称命题的否定对下列命题进行否定:*讲授新课讲授新课*含有一个量词的全称命题的否定含有一个量词的全称命题的否定,有下面的结论有下面的结论全称命题全称命题它的否定
7、它的否定从形式看,全称命题的否定是特称命题从形式看,全称命题的否定是特称命题.从形式看从形式看,特称命题的否定都变成了全称命题特称命题的否定都变成了全称命题.含有一个量词的特称命题的否定含有一个量词的特称命题的否定,有下面的结论有下面的结论特称命题特称命题它的否定它的否定1 1(安徽理(安徽理7 7)命题)命题“所有能被所有能被2 2整除的整数都整除的整数都是偶数是偶数”的否定是(的否定是()(A A)所有不能被)所有不能被2 2整除的数都是偶数整除的数都是偶数(B B)所有能被)所有能被2 2整除的整数都不是偶数整除的整数都不是偶数(C C)存在一个不能被)存在一个不能被2 2整除的数都是偶
8、数整除的数都是偶数(D D)存在一个能被)存在一个能被2 2整除的数不是偶数整除的数不是偶数D D2.2.(湖南卷理(湖南卷理2 2)下列命题中的假命题是()下列命题中的假命题是()B B*课堂练习课堂练习*能力提升能力提升*1.2.2.判断下列命题的真假判断下列命题的真假.(1)x0R,x02x0;(2)xR,sinxcosxtanx;(3)x0Q,x0280;(4)xR,x2x10;(5)x0R,sinx0cosx0=2;(6)a,bR,真真假假假假假假假假真真小结小结含有一个量词的命题的否定含有一个量词的命题的否定结论:全称命题的否定是特称命题结论:全称命题的否定是特称命题 特称命题的否定是全称命题特称命题的否定是全称命题