2020-2021学年高中数学新教材人教A版必修第一册课件-1.5-全称量词与存在量词.ppt

含有一个量词的全称量词命题的否定,有下面的结论 全称量词命题 它的否定 从形式看，全称量词命题的否定是存在量词命题。 全称量词命题的否定是存在量词命题 2）p:每一个四边形的四个顶点在同一个圆上； 解：1） 存在一个能被3整除的整数不是奇数. 2) 存在一个四边形，它的四个顶点不在同一个圆上. 3) 的个位数字等于3 . 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 一般地，对于含有一个量词的存在量词命题的否定,有下面的结论 存在量词命题 它的否定 从命题形式看,这三个存在量词命题的否定都变成了全称量词命题. $x0? M,p(x0) " x ? M, p(x) 存在量词命题的否定是全称量词命题 3） 有一个偶数是素数. P: 解: 2) 该命题的否定：所有三角形都不是等边三角形 3） 该命题的否定：任意一个偶数都不是素数 例6 写出下列命题的否定，并判断真假； （1）任意两个等边三角形都相似； 解：（1） 该命题的否定：存在两个对边三角形，它们不相似。 因为任意两个等边三角形的三边成比例，所以任意两个等边三角形都 相似。因此这是一个假命题。 （2）该命题的否定： 所以这是一个假命题。 达标检测 2.一般地，对于含有一个量词的全称量词命题的否定,有下面的结论： 全称量词命题 它的否定 一般地，对于含有一个量词的存在量词命题的否定,有下面的结论： " x ? M, p(x) $x0? M,p(x0) 存在量词命题 它的否定 1.（1）全称量词、全称量词命题； （2）存在量词、存在量词命题。 * 德国著名的数学家哥德巴赫提出这样一个问题：“任意取一个奇数，可以把它写成三个质数之和，比如77,77=53+17+7”,同年欧拉首先肯定了哥德巴赫猜想的正确，并且认为：每一个偶数都是两个质数之和，虽然通过大量检验这个命题是正确的，但是不需要证明．这就是被誉为“数学皇冠上的明珠”的哥德巴赫猜想．200多年后我国著名数学家陈景润才证明了“1+2”即：凡是比某一个正整数大的任何偶数，都能表示成一个质数加上两个质数相乘，或者表示成一个质数加上一个质数．从陈景润的“1+2”到“1+1”似乎仅一步之遥，但它是一个迄今为止仍然没有得到正面证明也没有被推翻的命题．要想正面证明就需要证明“任意一个”“每一个”“都”这种命题成立，要想推翻它只需“存在一个”反例． 我们学校为了迎接10月28号的秋季田径运动会,正在排练由1000名学生参加的开幕式团体操表演.这1000名学生符合下列条件： （1）所有学生都来自高二年级； （2）至少有30名学生来自高二.一班； （3）每一个学生都有固定表演路线. 结合图片及上述文字，引出“所有”，“至少有”，“每一个”等短语，在逻辑上称为量词. 全称量词 下列语句是命题吗?(1)与(3),(2)与(4)之间有什么关系? (1)x>3 (2)2x+1是整数 (3)对所有的x R,x>3 (4)对任意一个x Z,2x+1是整数 是 是 不是 不是 (3)在(1)的基础上,用量词“所有的”对变量 x进行限定; 关系: (3)(4) 全称量词命题 (4)在(2)的基础上,用短语”对任意一个”对 变量x进行限定. 一.全称量词命题 1. 全称量词及表示: 短语“对所有的”、“对任意一个”、“对一切”、“对每一个”、“任给”、“所有的”在逻辑中通常叫全称量词。 定义： 表示： 用符号“ ”表示 2. 全称量词命题及表示: 定义： 含有全称量词的命题，叫全称量词命题。 表示： 全称命题“对M中任意一个x，有含变量x的语句p(x）成立”表示为: 读作:“对任意x属于Ｍ，有p(x)成立”。 (2)所有的正方形都是矩形。 都是全称量词命题。 例如:命题(1)对任意的n Z,2n+1是奇数; (1)实数都能写成小数形式; (2)凸多边形的外角和等于2 练习：用量词“ ”表达下列命题: （3）任一个实数乘以-1都等于它的相反数 x R,x能写成小数形式 x {x|x是凸n边形},x的外角和等于2 x R,x·(-1)= -x 例1.判断下列全称量词命题的真假. (1) 所有的素数都是奇数; (2) x R, |x|+1≥1 (3) 对每一个无理数x,x2也是无理数 解: (1)∵2是素数,但不是奇数. ∴全称命