全称量词命题和存在量词命题的否定高一上学期数学人教A版（2019）必修一.pptx

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

全称量词：短语“所有的”“任意一个”在逻辑中通常叫做全称量词，

并用符号“∀”表示．

全称量词命题的表述形式：全称量词命题“对M中任意一个x，p(x)成立”，

可用符号简记为“∀x∈M，p(x)”.

存在量词：短语“存在一个”“至少一个”在逻辑中通常叫做存在量词，

并用符号“∃”表示．

存在量词命题的表述形式：全称量词命题“存在M中的元素x，p(x)成立”，

可用符号简记为“∃x∈M，p(x)”.

知识回顾—全称量词命题和存在量词命题

例已知∀x∈R，不等式x2＋4x－1m恒成立，求实数m的取值范围.

【解析】令y＝x2＋4x－1，x∈R，则y＝(x＋2)2－5≥－5，

因为∀x∈R，不等式x2＋4x－1m恒成立，

所以只要m－5即可.

所以m的取值范围是{m|m－5}.

拓展提升—恒成立问题

例已知命题：“存在实数x，使不等式－x2＋4x－1m有解”为真命题，求实数m的取值范围.

【解析】令y＝－x2＋4x－1，

因为y＝－x2＋4x－1＝－(x－2)2＋3≤3，

又因为∃x∈R，－x2＋4x－1m有解，

所以只要m小于函数的最大值即可，

所以m的取值范围是{m|m3}.

拓展提升—能成立问题

求解含有量词的命题中参数范围的策略

（1）对于全称量词命题“∀x∈M，ay(或ay)”为真的问题，实质就是不等式恒成立问题，通常转化为求函数y的最大值(或最小值)，

即aymax(或aymin).

（2）对于存在量词命题“∃x∈M，ay(或ay)”为真的问题，实质就是不等式能成立问题，通常转化为求函数y的最小值(或最大值)，

即aymin(或aymax).

拓展提升

新课引入

一般地，对一个命题进行否定，就可以得到一个新的命题，这一新命题称为原命题的否定．

例如：

“56是7的倍数”的否定是：“56不是7的倍数”；

“空集是集合A={1，2，3}的真子集”的否定是：“空集不是集合A={1，2，3}的真子集”．

注：一个命题和它的否定不能同时为真命题，也不能同时为假命题，只能一真一假．

全称量词命题的否定

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

存在一个素数不是奇数;

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

全称量词命题的否定

全称量词命题：

的否定为：

即“∃x∈M，¬p(x)．”

对任意的x∈M，p(x)成立．

存在x∈M，p(x)不成立，即存在x∈M，p(x)的对立面成立．

“∀x∈M，p(x)．”

全称量词命题的否定：

全称量词命题的否定

例1写出下列全称量词命题的否定．

(1)所有能被3整除的整数都是奇数；

存在一个能被3整除的整数不是奇数.

(2)每一个四边形的四个顶点在同一个圆上；

存在一个四边形，它的四个顶点不在同一个圆上.

(3)对任意x∈Z，x2的个位数字不等于3.

存在x∈Z，x2的个位数字等于3.

练习

存在量词命题的否定

所有实数的绝对值都不是正数;

每一个平行四边形都不是菱形;

变量词：一般来说，对含有一个量词的存在量词命题进行否定，我们只需把“存在一个”“至少有一个”“有些”等存在量词，变成“不存在一个”“没有一个”等短语即可.

存在量词命题的否定

存在量词命题的否定：

存在量词命题：

的否定为：

即“∀x∈M，¬p(x)．”

存在x∈M，p(x)成立．

不存在x∈M，p(x)成立，即任意x∈M，p(x)不成立

任意x∈M，p(x)的对立面¬p(x)成立．

“∃x∈M，p(x)．”

存在量词命题的否定

例2写出下列全称量词命题的否定.

(1)∃x∈R，x+2≤0；

∀x∈R，x+2＞0；

(2)有的三角形是等边三角形；

所有的三角形都不是等边三角形；

(3)有一个偶数是素数.

任意一个偶数都不是素数.

存在量词命题的否定

变2写出下列命题的否定，并判断真假.

(1)任意两个等边三角形都相似；

(2)