1.5.1 全称量词与存在量词 课件-2023-2024学年高一上学期数学人教A版（2019）必修第一册

第一章 集合与常用逻辑用语 1.5.1 全称量词与存在量词 高中数学/人教A版/必修一 1.理解全称量词、全称量词命题的含义. 2.理解存在量词、存在量词命题的含义. 3.判断一个命题是全称量词命题还是存在量词命题，会判断真假. 教学目标 重点、难点 1.重点：全称量词、存在量词、全称量词命题、存在量词命题的含义. 2.判断全称量词命题、存在量词命题及真假. 情境导学 德国著名的数学家哥德巴赫提出这样一个猜想：“任意取一个奇数，都可以把它写成三个素数之和，比如77，77＝53＋17＋7.”同年欧拉肯定了哥德巴赫猜想的正确，并且提出此猜想可以有另一等价的版本：每一个大于2的偶数都是两个素数之和，即“1＋1”(1表示1个素数)，如8＝3＋5.这就是被誉为“数学皇冠上的明珠”的哥德巴赫猜想．后来，数学家们陆续证明出了“9＋9”“7＋7”“6＋6”…“3＋3”“2＋3”，200多年后我国著名数学家陈景润才证明了“1＋2”，即：任意一个充分大的偶数都可以写成一个素数和最多不超过两个素数之积的和，如8＝2＋2×3＝3＋5.从陈景润的“1＋2”到“1＋1”似乎仅一步之遥，但迄今为止它仍然没有得到正面证明，也没有被推翻．不难发现，要想正面证明它就需要证明“任意一个”“每一个”“都”这种命题成立，但想要推翻它只需“存在一个”反例. （1）x>3 （2）2x+1是整数 （3）对所有的x∈R，x>3 （4）对任意一个x∈Z，2x+1是整数 思考：语句（3）~（4）与（1）~（2）之间有什 么关系呢？ 我们把短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“∀”表示.含有全称量词的命题，叫做全称量词命题。 将p(x)表示含有变量x的语句，M表示变量x的取值范围： 全称量词命题：“对M中任意一个x，p(x)成立” 符号简记为∀x∈M, p(x). 概念学习 补充：常见的全称量词还有：“一切”、“每一个”、“任给”等 课堂练习 例.判断下列全称量词命题的真假： (1)所有的素数都是奇数； (2)； (3)对任意一个无理数，也是无理数. 解：(1)2是素数，但2不是奇数.所以，全称量词命题“所有的素数都是奇数”是假命题. (2)，总有，因而.所以，全称量词命题“”是真命题. (3)是无理数，但是有理数.所以，全称量词命题“对任意一个无理数，也是无理数”是假命题. 要判定全称量词命题是真命题，需要对集合中每个元素，证明成立；如果在集合中找到一个元素，使不成立，那么这个全称量词命题就是假命题. 举反例啊 新知探究 判断全称量词命题真假的思维过程 全称量词命题 经证明为真或与性质、定理等真命题相符 可举出反例 真命题 假命题 概念引入 下列语句是命题吗？比较（1）和（3），（2）和（4），它们之间有什么关系？ （1）2x+1=3； （2）x能被2和3整除； （3）存在一个x∈R，使2x+1=3； （4）至少有一个x∈Z，x能被2和3整除. 思考 概念引入 思考 （１）（２）不是命题 而（3）（4）都是真命题，请观察回答，(3)(4)分别增加了怎样的短语？ 要理解“存在一个” “至少有一个”这些短语含义。 概念引入 短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词（existential quantifier），并用符号“”表示，含有存在量词的命题，叫做存在量词命题（existential proposition）. 概念 例如，命题“有的平行四边形是菱形” “有一个素数不是奇数”都是存在量词命题． 概念理解 结构特点：集合M中至少存在一个元素x，满足条件p. 一般形式：存在M中的元素x，使得p（x）成立.用符号 简记为：  x∈M , p（x）. 理解 存在量词命题的真假判断 要判定存在量词命题“x∈M，p（x）”是真命题，只需在集合M中找到一个元素x，使p（x）成立即可 要判定存在量词命题“x∈M，p（x）”是假命题，需要对集合M中的任意一个元素x，证明p（x）都不成立 （1）有一个实数 ，使 （2）平面内存在两条相交直线垂直于同一条直线； （3）有些平行四边形是菱形. 以下命题是存在量词命题吗？ 例：判断以下存在量词命题的真假. 思考：对于存在量词命题我们 怎样判断其真假？ 找特例说明存在量词命题为真， 找不到特例，则该存在量词命题为假. 判断下列命题是全称量词命题还是存在量词命题？ （1）自然数的平方都大于或等于零。 （2）存在实数x，满足x2≥3 。 （3）有些平行四边形的对角线不互相垂直。 （4）任意一个正方形，它的四条边都相等。 ∃ ∃ ∀ ∀ 请注意：