1.5全称量词与存在量词-【新教材】人教A版(2019)高中数学必修第一册课件(共20张PPT).ppt

第1章 集合与常用逻辑用语 1.5 全称量词与存在量词 全称量词与全称量词命题 下列语句是命题吗？比较（1）和（3），（2）和（4）， 你有什么发现？ （1） （2） 是整数 （3）对所有的 （4）对任意一个 是整数 短语“所有的”“任意一个”在逻辑中一般叫做全称量词， 用符号“ ”表示，含有全称量词的命题，叫做全称量词命题。 常见的全称量词有“一切”“每一个”“任给”“所有的”“全部的”“只要是”“任意的”“凡是”等等 通常，将含有变量 的语句用 等等来表示， 变量 的范围用 表示。那么，全称量词命题“对 中任意一个 成立”可用符号简记为： 全称量词命题怎么判断真假？ 【例1】判断下列全称量词命题的真假 （1）所有的素数都是奇数； 素数，即质数，一个正整数，除了1和自身之外没有其他整数的因数，则成为素数(质数). （3）对任意一个无理数 ， 也是无理数 要判断全称量词命题“ ”是真命题，需要对集合中 每一个元素 ，证明 成立；如果在集合中找到一个元素 ， 使得 不成立，那么这个全称量词命题就是假命题。 存在量词与存在量词命题 下列语句是命题吗？比较（1）和（3），（2）和（4）， 你有什么发现？ （1） （2） 能被2和3整除 （3）存在一个 使 （4）至少有一个 使 能被2和3整除 短语“存在一个”“至少有一个”在逻辑中一般叫做存在量词， 用符号“ ”表示，含有存在量词的命题，叫做存在量词命题。 常见的存在量词有“存在”“某一个”“任给”“对部分”“对某个”“对某些”“有一个”“有的”等等 通常，将含有变量 的语句用 等等来表示， 变量 的范围用 表示。那么，存在量词命题“ 中存在一个 成立”可用符号简记为： 例2 判断下列存在量词命题的真假： ③有些平行四边形是菱形 ②平面内两条相交直线垂直于同一直线 ①有一个实数 ，使得 要判断存在量词命题“ ”是真命题，只需要在集合 中找到一个元素 ，证明 成立即可；如果在集合中 找不到 任何元素，使得 成立，那么这个存在量词命题就是假命题。 探究 写出下列命题的否定 （1）所有的矩形都是平行四边形； （2）每一个素数都是奇函数； （3） 它们与原命题在形式上有什么变化？ 定义 全称量词命题： 它的否定： 也就是，全称量词命题的否定是存在量词命题. 写出下列全称量词命题的否定 （1）所有能被3整除的整数都是奇数； （2）每一个四边形的四个顶点在同一个圆上 （3）对任意 的个位数字不等于3 例3 （1）该命题的否定：存在一个能被3整除的整数不是奇数 （2）该命题的否定：存在一个四边形，它的四个顶点不在同一个圆上. （3）该命题的否定： 的个位数字等于3. 探究 写出下列命题的否定： （1）存在一个实数的绝对值是正数； （2）有些平行四边形是菱形； （3） 它们与原命题在形式上有什么变化？ 定义 存在量词命题： 它的否定： 也就是，存在量词命题的否定是全称量词命题. 例4 写出下列存在量词命题的否定： （1） （2）有的三角形是等边三角形； （3）有一个偶数是素数. 解:（1）该命题的否定： （2）该命题的否定：所有的三角形都不是等边三角形 （3）该命题的否定：任意一个偶数都不是素数 练习 1.写出下列命题的否定 （1） （2）任意奇数的平方还是奇数； （3）每个平行四边形都是中心对称图形