1.5.2 全称量词命题和存在量词命题的否定 - （导学案）（原卷版及解析）数学人教A版2019必修第一册.docxVIP

1.5.2全称量词命题和存在量词命题的否定导学案

理解全称量词命题和存在量词命题的含义，熟悉常见的全称量词和存在量词。

掌握全称量词命题和存在量词命题的否定形式，能正确地对含有一个量词的命题进行否定。

理解全称量词命题与存在量词命题之间的关系，提升逻辑推理的核心素养。

教学重点：通过生活和数学中的丰富实例，理解全称量词和存在量词的意义，能正确地对含有一个量词的命题进行否定。

教学难点：全称命题和特称命题的真假的判定，以及写出含有一个量词的命题的否定。

一、自主学习——温故知新

知识梳理

1．全称量词命题：?x∈M，p(x)，它的否定：也就是说，全称量词命题的否定是命题．

2．常见词语的否定形式

原词语

否定词语

原词语

否定词语

是

不是

至少有一个

一个也没有

都是

不都是

至多有一个

至少有两个

大于

不大于

至少有n个

至多有(n－1)个

小于

不小于

至多有n个

至少有(n＋1)个

任意的

某个

能

不能

所有的

某些

等于

不等于

注意点：

总结起来八个字“改变量词，否定结论”，从集合的角度来看，x的范围没有变，只是对结论进行了否定．一个命题和它的否定不能同时为真，也不能同时为假，只能一真一假．

2.存在量词命题的否定

存在量词命题：?x∈M，p(x)，它的否定：也就是说，存在量词命题的否定是全称量词命题．

知识梳理

名称

符号语言

含义

否定

含义

全称量词命题

对中任意一个都成立

存在中的元素,使不成立.

特称量词命题

存在中的元素,使成立.

对中任意一个都不成立

第二环节合作探究

（一）课堂导入1

同学们，大家好！今天咱们来聊聊一个大家再熟悉不过的话题——“广告语”。在日常生活中，我们经常会看到各种各样的广告语，比如“所有购买我们产品的顾客都能享受终身保修服务”?“本店有部分商品正在打折促销”。这些广告语中就蕴含着我们今天要学习的全称量词命题和存在量词命题。那么，如果这些广告语是虚假的，它们的否定又是什么呢？通过学习全称量词命题和存在量词命题的否定，咱们就能更好地理解和辨别这些广告语的真假啦。那接下来，就让我们一起走进全称量词命题和存在量词命题的否定的世界，去探索其中的奥秘吧！

情景引入2

同学们，大家好！今天咱们来聊聊一个大家再熟悉不过的话题——“命题的真假”。在咱们班里，每个同学都有自己的观点和判断，比如有的同学认为“所有的矩形都是平行四边形”是对的，有的同学认为“存在一个矩形不是平行四边形”也是对的。那大家有没有想过，这两个命题之间有什么关系呢？其实，这两个命题就是我们今天要学习的全称量词命题和存在量词命题的否定。通过学习全称量词命题和存在量词命题的否定，咱们就能更好地理解和解决这些问题啦。那接下来，就让我们一起走进全称量词命题和存在量词命题的否定的世界，去探索其中的奥秘吧！

（二）温故知新

回顾上节课知识：

提问：什么是全称量词？什么是存在量词？（全称量词表示“所有的”?“任意一个”等，存在量词表示“存在一个”?“至少有一个”等）

提问：如何用数学符号表示全称量词命题和存在量词命题？（全称量词命题：?x∈M，p(x)；存在量词命题：?x∈M，p(x)）

引入新课：提问：全称量词命题和存在量词命题的否定又是怎样的呢？（引出全称量词命题和存在量词命题的否定）

（三）导入新知

引例1：假设一个班级里所有同学都喜欢数学，那么这个命题的否定是什么？

引例2：假设一个班级里存在一个同学喜欢数学，那么这个命题的否定是什么？

类比实数运算：两个实数除了可以比较大小外，还可以进行加、减、乘、除等运算。如果把命题与实数相类比，那么命题是否也有类似的否定呢？本节就来研究这个问题。

（四）探究点1：全称量词命题的否定

【问题1】写出下列命题的否定：

(1)所有的矩形都是平行四边形；

(2)每一个素数都是奇数；

(3)?x∈R，x＋|x|≥0.

它们与原命题在形式上有什么变化？

提示

上面三个命题都是全称量词命题,即具有“”的形式.其中命题(1)的否定是“并非所有的矩形都是平行四边形”,也就是说,

存在一个矩形不是平行四边形;

命题(2)的否定是“并非每一个素数都是奇数”,也就是说,

存在一个素数不是奇数;

命题(3)的否定是“并非所有的”,也就是说,

从命题形式看,这三个全称量词命题的否定都变成了存在量词命题.

一般来说,对含有一个量词的全称量词命题进行否定,我们只需把“所有的”“任意一个”等全称量词,变成“并非所有的”“并非任意一个”等短语即可.也就是说,

假定全称量词命题为“”,则它的否定为“并非”,

也就是“不成立”.

通常,用符号“”表示“不成立”.

对于含有一个量词的全称量词命题的否定,有下面的结论:

全称量词命题:它的否定:

也就是说，存