2018-2019学年高中数学 第一章 常用逻辑用语 1.4 全称量词与存在量词 1.4.3 含有一个量词的命题的否定 新人教A版选修2-1.pptVIP

数 学 选修2-1 · 人教A版 新课标导学 第一章 常用逻辑用语 1.4　全称量词与存在量词 1.4.3　含有一个量词的命题的否定 2 互动探究学案 3 课时作业学案 1 自主预习学案 自主预习学案 数学命题中出现“全部”、“所有”、“一切”与“存在着”，“有”、“有些”的词语，在逻辑中分别称为全称量词与存在性量词，由这样的量词构成的命题分别称为全称命题与特称命题．而他们的否定形式是我们困惑的症结所在． 1．命题的否定 (1)全称命题p：?x∈M，p(x)，它的否定?p：____________________，全称命题的否定是________命题． (2)特称命题p：?x0∈M，p(x0)，它的否定?p：___________________，特称命题的否定是________命题． ?x0∈M，?p(x0)　 特称　 ?x∈M，?p(x)　 全称　 不是　 不都是　 ≤　　 一个也没有　　 至少有两个　　 存在x∈A　 使p(x)假　 1．(2016·浙江理，4)命题“?x∈R，?n∈N*使得n≥x2”的否定形式是 (　　) A．?x∈R，?n∈N*使得nx2 B．?x∈R，?n∈N*使得nx2 C．?x∈R，?n∈N*使得nx2 D．?x∈R，?n∈N*使得nx2 [解析]　根据含有量词的命题的否定的概念可知，选D． D　 2．已知命题p：?x∈R，使tanx＝1，则下列关于命题?p的描述中正确的是 (　　) A．?x∈R，使tanx≠1　　 B．?x?R，使tanx≠1 C．?x∈R，使tanx≠1 D．?x?R，使tanx≠1 [解析]　特称命题的否定是全称命题，故命题p：?x∈R，使tanx＝1的否定?p：?x∈R，使tanx≠1． C　 3．(安徽屯溪一中2017－2018学年期中)设命题P：?n∈N，n22n，则?P为 (　　) A．?n∈N，n22n　　　　 B．?n∈N，n2≤2n C．?n∈N，n2≤2n D．?n∈N，n2＝2n [解析]　根据否命题的定义，既否定原命题的条件，又否定原命题的结论，存在的否定为任意，所以命题P的否命题应该为?n∈N，n2≤2n，故选C． C　 4．命题“?x∈R，x2－2x0”的否定是　?x∈R，x2－2x≥0　. [解析]　特称命题的否定是全称命题，故“?x∈R，x2－2x0”的否定是“?x∈R，x2－2x≥0”． 5．命题“过平面外一点与已知平面平行的直线在同一平面内”的否定为____________________________________________________. [解析]　原命题为全称命题，写其否定是要将全称量词改为存在量词． 过平面外一点与已知平面平行的直线不都在同一平面内　 互动探究学案 命题方向　?全称命题、特称命题的否定 　　　　　写出下列命题的否定. (1)p：?x∈R，x2＋2x＋2≤0； (2)p：有的三角形是等边三角形； (3)p：所有能被3整除的整数是奇数； (4)p：每一个四边形的四个顶点共圆． 典例 1 [规范解答]　(1)?p：?x∈R，x2＋2x＋20． (2)?p：所有的三角形都不是等边三角形． (3)?p：存在一个能被3整除的整数不是奇数． (4)?p：存在一个四边形的四个顶点不共圆． 『规律总结』　1.一般地，写含有一个量词的命题的否定，首先要明确这个命题是全称命题还是特称命题，并找到量词及相应结论，然后把命题中的全称量词改成存在量词，存在量词改成全称量词，同时否定结论． 2．对于省略量词的命题，应先挖掘命题中隐含的量词，改写成含量词的完整形式，再依据规则来写出命题的否定． 〔跟踪练习1〕 写出下列全称命题和特称命题的否定． (1)每个二次函数的图象都开口向下； (2)任何一个平行四边形的对边都平行； (3)某些平行四边形是菱形． [解析]　(1)命题的否定：存在一个二次函数的图象开口不向下． (2)命题的否定：存在一个平行四边形的对边不都平行． (3)命题的否定：“没有一个平行四边形是菱形”，也即“每一个平行四边形都不是菱形”． 　　　　　写出下列命题的否定. (1)可以被5整除的数，末位是0； (2)能被3整除的数，也能被4整除． [思路分析]　(1)(2)中均为省略了全称量词的全称命题，书写其否定时，要补全量词，不能只否定结论，不否定量词． [规范解答]　(1)省略了全称量词“任何一个”，命题的否定为：有些可以被5整除的数，末位不是0． (2)省略了全称量词“所有”，命题的否定为：存在一个能被3整除的数，不能被4整除． 典例 2 『规律总结』　由于全称量词往往省略不写，因此在写这类命题的否定时，必须找出其中省略的全称量词，写成“?x∈M，p(x)”的形式，然后再把它的否定写成“?x0∈M