（全国通用版）2018-2019高中数学 第一章 常用逻辑用语 1.4.1 全称量词 1.4.2 存在量词学案 新人教A版选修2-1.docVIP

PAGE PAGE 1 1.4.1 全称量词 1.4.2 学习目标　1.理解全称量词与存在量词的含义.2.理解并掌握全称命题和特称命题的概念.3.能判定全称命题与特称命题的真假，并掌握其判定方法． 知识点一　全称量词、全称命题 思考　观察下面的两个语句，思考下列问题： P：m≤5； Q：对所有的m∈R，m≤5. 上面的两个语句是命题吗？二者之间有什么关系？ 答案　语句P无法判断真假，不是命题；语句Q在语句P的基础上增加了“所有的”，可以判断真假，是命题．语句P是命题Q中的一部分． 梳理　(1)全称量词及全称命题的概念 短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“?”表示．含有全称量词的命题，叫做全称命题． (2)表示 将含有变量x的语句用p(x)，q(x)，r(x)，…表示，变量x的取值范围用M表示．那么，全称命题“对M中任意一个x，有p(x)成立”可用符号简记为?x∈M，p(x)，读作“对任意x属于M，有p(x)成立”． (3)全称命题的真假判定 要判定全称命题是真命题，需要对集合M中每个元素x，证明p(x)成立，但要判定全称命题是假命题，只需举出一个x0∈M，使得p(x0)不成立即可． 知识点二　存在量词、特称命题 思考　找出下列命题的共同特征，并判断其真假． (1)存在x0∈R，xeq \o\al(2,0)≤0； (2)有些三棱锥是正四面体． 答案　所给命题都是真命题，它们都表示“存在”的意思． 梳理　(1)存在量词及特称命题的要命 短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词，并用符号“?”表示．含有存在量词的命题，叫做特称命题． (2)表示 特称命题“存在M中的元素x0，使p(x0)成立”可用符号简记为?x0∈M，p(x0)，读作“存在M中的元素x0，使p(x0)成立”． (3)特称命题的真假判定 要判定一个特称命题是真命题，只需在集合M中找到一个元素x0，使p(x0)成立即可，否则这一特称命题就是假命题． (1)“有些”“某个”“有的”等短语不是存在量词．(×) (2)全称量词的含义是“任意性”，存在量词的含义是“存在性”．(√) (3)全称命题中一定含有全称量词，特称命题中一定含有存在量词．(×) 类型一　判断命题的类型 例1　将下列命题用“?”或“?”表示． (1)实数的平方是非负数； (2)方程ax2＋2x＋1＝0(a＜1)至少存在一个负根； (3)若直线l垂直于平面α内任一直线，则l⊥α. 考点　量词与命题 题点　全称(特称)命题的符号表示 解　(1)?x∈R，x2≥0. (2)?x0＜0，axeq \o\al(2,0)＋2x0＋1＝0(a＜1)． (3)若?a?α，l⊥a，则l⊥α. 反思与感悟　判断一个命题是全称命题还是特称命题的关键是看量词．由于某些全称命题的量词可能省略，所以要根据命题表达的意义判断，同时要会用相应的量词符号正确表达命题． 跟踪训练1　判断下列命题是全称命题还是特称命题． (1)梯形的对角线相等； (2)存在一个四边形有外接圆； (3)二次函数都存在零点； (4)过两条平行线有且只有一个平面． 考点　量词与命题 题点　全称(存在)量词的识别 解　命题(1)完整的表述应为“所有梯形的对角线相等”，很显然为全称命题． 命题(2)为特称命题． 命题(3)完整的表述为“所有的二次函数都存在零点”，故为全称命题． 命题(4)是命题“过任意两条平行线有且只有一个平面”的简写，故为全称命题． 类型二　判断命题的真假 例2　判断下列命题的真假． (1)?x∈R，x2－x＋1＞eq \f(1,2)； (2)?α，β，cos(α－β)＝cos α－cos β； (3)存在一个函数既是偶函数又是奇函数； (4)每一条线段的长度都能用正有理数表示； (5)存在一个实数x0，使等式xeq \o\al(2,0)＋x0＋8＝0成立． 考点　特称(全称)命题的真假性判断 题点　特称(全称)命题真假的判断 解　(1)真命题，∵x2－x＋1－eq \f(1,2)＝x2－x＋eq \f(1,2) ＝eq \b\lc\(\rc\)(\a\vs4\al\co1(x－\f(1,2)))2＋eq \f(1,4)≥eq \f(1,4)＞0，∴x2－x＋1＞eq \f(1,2)恒成立． (2)真命题，例如α＝eq \f(π,4)，β＝eq \f(π,2)，符合题意． (3)真命题，函数f(x)＝0既是偶函数又是奇函数． (4)假命题，如：边长为1的正方形的对角线长为eq \r(2)，它的长度就不是有理数． (5)假命题，因为该方程的判别式Δ＝－31＜0，故无实数解． 反思与感悟　要判定全称命题“?x∈M，p(x)”是真命题，需要对集合M中每个元素x，证明p(x)都成立；如果在集合M中找到一个元素x