2018-2019学年高二数学苏教版选修2-1讲义：第1部分 第1章 1.3 1.3.1 量词.docVIP

_1.3全称量词与存在量词 1．3.1　量　词 eq \a\vs4\al([对应学生用书P12]) 全称量词与全称命题 观察下列命题： (1)对任意实数x，都有x5. (2)对任意一个x(x∈Z)，3x＋1是整数． 问题：上述两个命题各表示什么意思？ 提示：(1)表示对每一个实数x，必定有x5； (2)对所有的整数x,3x＋1必定是整数． 全称量词和全称命题 全称量词 所有、任意、每一个、任给 符号表示 ?x表示“对任意x” 全称命题 含有全称量词的命题 一般形式 ?x∈M，p(x) 存在量词和存在性命题 观察下列语句： (1)存在一个实数x，使3x＋1＝7. (2)至少有一个x∈Z，使x能被3和4整除． 问题：上述两个命题各表述什么意思？ 提示：(1)表示有一个实数x，满足3x＋1＝7； (2)存在一个整数Z，满足能被3和4整除． 存在量词和存在性命题 存在量词 有一个、有些、存在一个 符号表示 “?x”表示“存在x” 存在性命题 含有存在量词的命题 一般形式 ?x∈M，p(x) 1．判断命题是全称命题还是存在性命题，主要是看命题中是否含有全称量词和存在量词，有些全称命题虽然不含全称量词，但可以根据命题涉及的意义去判断． 2．要确定一个全称命题是真命题，需保证该命题对所有的元素都成立；若能举出一个反例说明命题不成立，则该全称命题是假命题． 3．要确定一个存在性命题是真命题，举出一个例子说明该命题成立即可；若经过逻辑推理得到命题对所有的元素都不成立，则该存在性命题是假命题． eq \a\vs4\al([对应学生用书P12]) 全称命题、存在性命题的判断 [例1]　判断下列命题是全称命题还是存在性命题． (1)若a0且a≠1，则对任意x，ax0； (2)对任意实数x1，x2，若x1x2，则tan x1tan x2； (3)存在实数T，使得|sin(x＋T)|＝|sin x|； (4)存在实数x，使得x2＋10. [思路点拨]　分析每一个命题中的量词，再判断． [精解详析]　(1)、(2)含有全称量词“任意”，是全称命题．(3)、(4)含有存在量词“存在”，是存在性命题． [一点通]　 判断一个语句是全称命题还是存在性命题的步骤： (1)判断此语句是否为命题； (2)看命题中是否含有量词，并判断该量词是全称量词还是存在量词； (3)对不含或省略量词的命题，要根据命题涉及的实际意义进行判断． 1．下列命题中，是全称命题的是________；是存在性命题的是________．(填序号) ①正方形的四条边相等； ②有两个角相等的三角形是等腰三角形； ③正数的平方根不等于0； ④至少有一个正整数是偶数． 解析：①可表述为“每一个正方形的四条边相等”，是全称命题；②是全称命题，即“凡是有两个角相等的三角形都是等腰三角形”；③可表述为“所有正数的平方根不等于0”是全称命题；④是存在性命题． 答案：①②③　④ 2．判断下列命题是全称命题还是存在性命题： (1)指数函数都是单调函数； (2)至少有一个整数，它既能被2整除，又能被5整除； (3)?x∈{x|x是无理数}，x2是无理数； (4)?x∈{x|x∈Z}，log2x＞0； (5)负数的平方是正数； (6)有的实数是无限不循环小数； (7)每个二次函数的图像都与x轴相交． 解：(1)中含有全称量词“都”，所以是全称命题． (2)中含有存在量词“至少有一个”，所以是存在性命题． (3)中含有全称量词符号“?”，所以是全称命题． (4)中含有存在量词符号“?”，所以是存在性命题． (5)中省略了全称量词“都”，所以是全称命题． (6)中含有存在量词“有的”，所以是存在性命题． (7)中含有全称量词“每个”，所以是全称命题. 全称命题、存在性命题的表述 [例2]　判断下列命题是全称命题还是存在性命题，并用量词符号“?”，“?”表述： (1)凸n边形的外角和等于2π； (2)有一个有理数x，满足x2＝3； (3)对任意角α，都有sin2α＋cos2α＝1. [精解详析]　(1)全称命题：?x∈{x|x是凸n边形}，x的外角和是2π. (2)存在性命题：?x∈Q，x2＝3. (3)全称命题：?α∈R，sin2α＋cos2α＝1. [一点通]　准确理解全称命题和存在性命题的概念，熟练应用常用的全称量词和存在量词．任何一个全称命题和存在性命题都有多种表述方式，但用符号“?”“?”表述却很规范，就是一般式． 全称命题：?x∈M，p(x)； 存在性命题：?x∈M，p(x)． 3．将下列命题用量词符号“?”或“?”表示： (1)整数中1最小； (2)方程ax2＋2x＋1＝0(a＜1)至少存在一个负根； (3)对于某些实数x，有2x＋1＞0； (4)若直线l垂直于平面α内任一直线，则l⊥α. 解：(1)?x∈