1.4全称量词与存在量词45517.pptVIP

* * 全称量词与存在量词 梁世慧 思考：下列语句是命题吗？(1)与(3)， (2)与(4)之间有什么关系？ (1) x>3； (2) 2x+1是整数； (3) 对所有的x∈R，x>3； (4) 对任意一个x∈Z，2x+1是整数. 短语“所有的”“任意一个”在逻辑中 通常叫做全称量词，并用符号“?”表示. 全称量词与全称命题 含有全称量词的命题，叫做全称命题. 常见的全称量词还有“一切” “每一个” “任给” “所有”等 . 命题：对任意的n∈Z，2n+1是奇数； 所有的正方形都是矩形. 通常,将含有变量x的语句用p(x), q(x), r(x),…表示，变量x的取值范围用M表示， 那么， 全称命题: 对M中任意一个x，有p(x)成立 读作“对任意x属于M，有p(x)成立”. ?x∈M, p(x) 例1 判断下列全称命题的真假： （1）所有的素数是奇数； （2） ? x∈R，x2＋1≥1； （3）对每一个无理数x，x2也是无理数； 真 假 假 总 结： 判断全称命题“?x∈M, p(x) ”是真命题的方法 判断全称命题“?x∈M, p(x) ”是假命题的方法 需要对集合M中每个元素x，证明p(x)成立 只需在集合M中找到一个元素x0，使得p(x0)不成立即可（举反例） 思考：下列语句是命题吗？(1)与(3)， (2)与(4)之间有什么关系？ (1) 2x+1=3； (2) x能被2和3整除； (3) 存在一个x0∈R，使2x+1=3； (4) 至少有一个x0∈Z，x能被2和3整除. 短语“存在一个”“至少有一个”在逻辑 中通常叫做存在量词，并用符号“?”表示. 存在量词与特称命题 含有存在量词的命题，叫做特称命题. 常见的存在量词还有“有些”“有一个”“对某个” “有的”等 . 命题：有的平行四边形是菱形； 有一个素数不是奇数. 存在M中的元素x0，使p(x0)成立 读作“存在M中的元素x0，使p(x0)成立” 特称命题: ?x0∈M, p(x0) 存在量词与特称命题 真 假 假 例2 判断下列特称命题的真假： (1)有一个实数x0, 使x02+2x0+3=0； (2)存在两个相交平面垂直于同一条直线； (3)有些整数只有两个正因数. 需要证明集合M中,使p(x)成立的元素x不存在. 只需在集合M中找到一个元素x0,使得p(x0) 成立即可 (举例说明). 总 结： 判断特称命题“?x0∈M, p(x0) ”是真命题的方法 判断特称命题“?x0∈M, p(x0) ”是假命题的方法 探究：指出下列命题的形式，并写出 下列命题的否定: 这些命题和它们的否定在形式上有什么不同？ （1）所有的矩形都是平行四边形； （2）每一个素数都是奇数； （3）?x∈R，x2-2x+1≥0. 否定:存在一个矩形不是平行四边形； 否定:存在一个素数不是奇数； 否定: ? x0∈R，x02-2x0+1<0. 全称命题p: 全称命题的否定是特称命题. 例3 写出下列全称命题的否定： （1）p:所有能被3整除的整数都是奇数； （2）p:每一个四边形的四个顶点共圆； （3）p: 对任意 x∈Z，x2的个位数字不等于3.