全称与存在——量词决定解法

两个量词，两类题

含量词的命题有两大族，高考重点也分两路。

全称量词：一个都不能少

"对任意 $x \in D$，$p(x)$ 成立"，符号 $\forall x \in D, p(x)$。

它的否定是存在命题：$\exists x \in D, \neg p(x)$。

一个全称命题为假，只需一个反例。 所以"证否"极容易，"证是"极难——要验证每一个。

存在量词：有一个就行

"存在 $x \in D$，$p(x)$ 成立"，符号 $\exists x \in D, p(x)$。

它的否定是全称命题：$\forall x \in D, \neg p(x)$。

一个存在命题为真，只需举一个例子。 所以"证是"容易，"证否"难。

两种命题的难度完全相反，这也是命题人爱考它们的原因。看到量词，先判断自己要证的是"全都"还是"至少一个"，再选策略。

量词藏在哪：四种伪装

高考很少直接写"任意""存在"。它换了四种说法。

伪装一："恒成立"

"对任意 $x \in [1,3]$，$f(x) > 0$ 恒成立。"

这是全称命题。"恒成立"= "对任意都成立"。

伪装二："能成立""有解"

"存在 $x \in [1,3]$，使 $f(x) > 0$ 能成立。"

这是存在命题。"能成立" = "有解" = "存在"。

"恒成立"和"能成立"只差一个字，是两个完全不同的题。

• 恒成立：要 $f(x)$ 在区间上的最小值 $> 0$
• 能成立：要 $f(x)$ 在区间上的最大值 $> 0$

这一对是高考导数题的第一道分水岭。 把"能成立"当"恒成立"做，答案必然错；反之亦然。

伪装三："都""至少""至多"

• "$x_1$、$x_2$ 都满足……"——全称
• "至少有一个满足……"——存在
• "至多有一个满足……"——全称（"不能有两个或以上"）

伪装四："任给""不论"

• "任给一个 $x$"——全称
• "不论 $x$ 取何值"——全称
• "总有"——全称

否定：一条规则，两处易错

$$\neg(\forall x \in D, p(x)) \equiv \exists x \in D, \neg p(x)$$ $$\neg(\exists x \in D, p(x)) \equiv \forall x \in D, \neg p(x)$$

规则：量词互换，结论否定。

易错点一：范围不能动。 否定"对任意 $x > 0$，$p(x)$"得到的是"存在 $x > 0$，$\neg p(x)$"——$x > 0$ 这个范围不动，只有量词和结论变。有人否定成"存在 $x \le 0$"，那是把范围也否了，错。

易错点二：结论要否到底。

• $\neg(x > 0)$ 是 $x \le 0$
• $\neg(x^2 < 4)$ 是 $x^2 \ge 4$
• $\neg(\text{是奇数})$ 是不是奇数（即偶数，若在整数范围内）

只否一半是最常见的丢分方式。 比如否定"所有矩形都是平行四边形"，正确是"存在一个矩形不是平行四边形"；写成"存在一个矩形是梯形"就错了——"不是平行四边形"不等于"是梯形"，还可能什么都不是。

全称与存在相遇：两类经典题

题型一：恒成立求参数范围

对任意 $x \in [1, 3]$，$x^2 - 2x + a \ge 0$ 恒成立，求 $a$ 的范围。

思路：全称成立 ⟺ 最小值满足。

$$a \ge -x^2 + 2x \quad \text{对任意 } x \in [1,3]$$

即 $a \ge \max_{x \in [1,3]}(-x^2 + 2x) = 1$（在 $x=1$ 处取 1）。

所以 $a \ge 1$。

"恒成立"转化三步：把参数移到一边 → 求另一边的最大/最小 → 比较。

题型二：能成立求参数范围

同样的不等式，改成：

存在 $x \in [1,3]$，使 $x^2 - 2x + a \ge 0$，求 $a$ 的范围。

存在成立 ⟺ 最大值满足。

$$a \ge -(x^2 - 2x) \quad \text{对某个 } x$$

即 $a \ge \min_{x\in[1,3]}(-x^2+2x) = -3$（在 $x=3$ 处取 $-3$）。

所以 $a \ge -3$。

同一道题，只把"任意"换成"存在"，答案从 $a \ge 1$ 变成 $a \ge -3$。 这就是量词的力量。

题型三：任意 + 存在（双量词）

对任意 $x_1 \in [1,3]$，存在 $x_2 \in [2,4]$，使 $f(x_1) = g(x_2)$。

这类题的解法是化归为值域关系：$f$ 在 $[1,3]$ 的值域必须包含于 $g$ 在 $[2,4]$ 的值域。

双量词题在高考是压轴难度，但方法固定：把两个量词分别翻译成"整个值域"和"至少一个值"，再比集合。

全称存在与命题真假

判断含量词命题的真假，量词给出两条捷径：

• 全称命题：找一个反例即假。 快速尝试边界值、特殊值（0、1、$-1$、端点）。
• 存在命题：举一个例子即真。 同样优先试特殊值。

考试时间紧，先试特殊值，别一上来就暴力推导。

试 $x = 0$、$x = 1$、端点值——多数题目在这几个点上就露出答案。

在高中数学体系里的位置

• 充分必要条件（上一讲）：量词常和充要捆绑出题，如"$a > 1$ 是'对任意 $x$，$f(x)>0$'的充分条件吗"。
• 导数专题：恒成立与能成立是导数应用的入口章节，也是量词的主战场。这一讲是为导数铺路的。
• 函数最值（函数专题）：恒成立看最小值、能成立看最大值，量词问题最终都落到最值问题。

思考与拓展

1. 写出下列命题的否定：(1) 对任意 $x \in \mathbb{R}$，$x^2 + 1 > 0$；(2) 存在一个平行四边形是梯形。
2. "对任意 $x \in [0,2]$，$kx^2 - 2x + 1 > 0$" 恒成立，求 $k$ 的取值范围。
3. 把上题改成"存在 $x \in [0,2]$ 使不等式成立"，$k$ 的范围变成什么？
4. 判断命题真假："存在一个实数 $x$，使 $x^2 + x + 1 < 0$"。

高考母题

（2025·全国II卷） 已知集合 $A=\{-4,0,1,2,8\},B=\left \{ x∣x ^ { 3 } =x \right \},$ 则 $A\cap B=$ （   ） C． $\{2,8\}$ D． $\{0,1\}$

A．$\{0,1,2\}$　　B．$\{1,2,8\}$

展开详解

答案：D

【分析】
求出集合 $B$ 后结合交集的定义可求 $A∩B$ . $B=\left \{ x\|x ^ { 3 } =x \right \}=\left \{ 0,-1,1 \right \}$ ，故 $A\cap B=\left \{ 0,1 \right \}$ ， 故选：D.

一句话总结

恒成立看最小值、能成立看最大值，只差一个字答案可能差一倍；含量词否定=量词互换+结论否到底，范围不动；判断真假先试特殊值——全称找反例、存在举个例。