同步人A数学必修第一册新教材讲义：第1章 1.5 1.5.1　全称量词与存在量词 1.5.2　全称量词命题和存在量词命题的否定含答案.docVIP

1.5　全称量词与存在量词 1. 1. 学 习 目 标 核 心 素 养 1.通过生活和数学中的丰富实例，理解全称量词与存在量词的意义以及全称量词命题和存在量词命题的意义. 2.掌握全称量词命题与存在量词命题真假性的判定．(重点、难点) 3.能正确地对含有一个量词的命题进行否定．(重点、易混点) 1.通过含量词的命题的否定，培养逻辑推理素养. 2.借助全称量词命题和存在量词命题的应用，提升数学运算素养. 1．全称量词与全称量词命题 (1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“?”表示． (2)含有全称量词的命题叫做全称量词命题，通常将含有变量x的语句用p(x)，q(x)，r(x)，…表示，变量x的取值范围用M表示，那么全称量词命题“对M中任意一个x，p(x)成立”可用符号简记为?x∈M，p(x)． 2．存在量词与存在量词命题 (1)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“?”表示． (2)含有存在量词的命题，叫做存在量词命题，存在量词命题“存在M中的元素x，使p(x)成立”，可用符号简记为“?x∈M，p(x)”． 思考：“一元二次方程ax2＋2x＋1＝0有实数解”是存在量词命题还是全称量词命题？请改写成相应命题的形式． 提示：是存在量词命题，可改写为“存在x∈R，使ax2＋2x＋1＝0” 3．含有一个量词的命题的否定﹁ 一般地，对于含有一个量词的命题的否定，有下面的结论： 全称量词命题p：?x∈M，p(x)，它的否定﹁p：?x∈M，﹁p(x)； 存在量词命题p：?x∈M，p(x)，它的否定﹁p：?x∈M，﹁p(x)． 全称量词命题的否定是存在量词命题，存在量词命题的否定是全称量词命题． 1．下列命题中全称量词命题的个数是(　　 ) ①任意一个自然数都是正整数； ②有的菱形是正方形； ③三角形的内角和是180°. A．0　　　　B．1　　　　C．2　　　　D．3 [答案]　C 2．下列全称量词命题为真命题的是(　　 ) A．所有的质数是奇数 B．?x∈R，x2＋1≥1 C．对每一个无理数x，x2也是无理数 D．所有的能被5整除的整数，其末位数字都是5 [答案]　B 3．下列命题中的假命题是(　　 ) A．?x∈R，|x|≥0 B．?x∈N*，(x－1)2>0 C．?x∈R，x＋2019<1 D．?x∈R,2x＞2 B　[当x＝1时，(x－1)2＝0，所以B项为假命题．] 4．已知命题p：?x∈R，sin x≤1，则其否定是(　　 ) A．￢p：?x∈R，sin ≥1 B．￢p：?x∈R，sin x≥1 C．￢p：?x∈R，sin x＞1 D．￢p：?x∈R，sin x＞1 [答案]　C 全称量词命题和存在量词命题的判断 【例1】　指出下列命题是全称量词命题还是存在量词命题，并判断它们的真假． (1)?x∈N,2x＋1是奇数； (2)存在一个x∈R，使eq \f(1,x－1)＝0； (3)对任意实数a，|a|＞0； (4)有一个角α，使sin α＝eq \f(1,2). [解]　(1)是全称量词命题．因为?x∈N，2x＋1都是奇数，所以该命题是真命题． (2)是存在量词命题．因为不存在x∈R，使eq \f(1,x－1)＝0成立，所以该命题是假命题． (3)是全称量词命题．因为|0|＝0，所以|a|＞0不都成立，因此，该命题是假命题． (4)是存在量词命题．因为当α＝30°时，sin α＝eq \f(1,2)，所以该命题是真命题． 全称量词命题与存在量词命题真假的判断方法： ?1?要判定一个全称量词命题是真命题，必须对限定集合M中的每个元素x证明p?x?成立；但要判定全称量词命题是假命题，只要能举出集合M中的一个x，使得p?x?不成立即可?这就是通常所说的“举出一个反例”?. ?2?要判定一个存在量词命题是真命题，只要在限定集合M中，能找到一个x使p?x?成立即可；否则，这个存在量词命题就是假命题. 1. 判断下列命题的真假． (1)任意两个面积相等的三角形一定相似； (2)?x，y为正实数，使x2＋y2＝0； (3)在平面直角坐标系中，任意有序实数对(x，y)都对应一点P； (4)?x∈N，x2>0. [解]　(1)因为面积相等的三角形不一定相似．故它是假命题． (2)因为当x2＋y2＝0时，x＝y＝0， 所以不存在x，y为正实数，使x2＋y2＝0，故它是假命题． (3)由有序实数对与平面直角坐标系中的点的对应关系知，它是真命题． (4)因为0∈N,02＝0，所以命题“?x∈N，x2>0”是假命题 含有一个量词的命题的否定 【例2】　(1)设命题p：?n∈N，n2>2n，则命题p的否定为(　　 ) A．?n∈N，n2>2n　　 B．?n∈N，n2≤2n C．?n∈N，n2≤2n