全称量词与存在量词

官官方数学老师·11 页·深入（追求细节与边界）·0 次浏览·3 天前

✦ 全称量词与存在量词数学全称量词与存在量词举反例

量词逻辑命题否定互译规则

全称量词与存在量词

吃透 ∀ 与 ∃ 的逻辑含义、互译规则与命题否定边界

按空格/→ 演示下一步

1 / 11 页

全部页面点击任意一页，跳回舞台从这页播放

量词逻辑命题否定互译规则

全称量词与存在量词

吃透 ∀ 与 ∃ 的逻辑含义、互译规则与命题否定边界

1第 1 页 · 全称量词与存在量词

举反例

上页我们区分了全称「∀」与存在「∃」。要反驳「所有人都……」这种全称断言，并不需要逐一检查——只要拿出一个反例，就足以让整条断言崩塌。

反例的定义

使全称命题∀x P(x)为假的一个具体对象

一个就够

由对偶律¬∀x P(x)↔∃x¬P(x)保证

适用边界

反例只否全称；要否存在命题须另证∀x¬P(x)

构造策略

先试最小/边界值，或检索已知反例库

网店「全五星」中的第一条差评对应 →推翻「∀顾客满意」的一个反例

一条差评足以推翻「全员满意」，但不否定「有人满意」

\neg\forall x\, P(x) \Leftrightarrow \exists x\, \neg P(x)

2第 2 页 · 举反例

全称量词

上一页我们用一个反例就推翻了'所有苹果都是红的'。'所有'这个日常用词，在数学里其实对应一个严格的逻辑符号，今天我们把它拆开看。

符号与读法

∀x 读作'对所有 x'，量化论域 D 中的每一个元素

论域敏感

'所有鸟都会飞'在现存鸟类论域里为真，把'鸟'扩成'鸟+企鹅'立刻变假

否定换量词

¬∀x P(x) ≡ ∃x ¬P(x)，'不全'必须换成'有些不是'

真值要全检

∀x P(x) 为真 ⟺ D 中每个元素都满足 P；一个反例即令整体为假

班主任统计全班考勤对应 →全称量词

老师必须看到每个学生都在场，才能宣布'全班到齐'——漏一个就只能改口'还没到齐'

\forall x \in D,\ P(x) \quad \Longleftrightarrow \quad \neg\exists x \in D,\ \neg P(x)

3第 3 页 · 全称量词

存在量词

上页讲全称要'一个不放过'。但日常更常问的是'有没有'——班里有没有人戴眼镜？这种'至少存在一个'的判断，正是存在量词的舞台。

定义

∃x P(x) 表示存在至少一个 x 使 P(x) 成立

证明门槛

只需找到一个满足条件的实例，无需遍历全部

否定对偶

¬∃x P(x) ≡ ∀x ¬P(x)，与全称量词互换

存在性证明

构造性：给出具体 x；非构造性：只证存在但不指明

在班里找戴眼镜的同学对应 →存在量词的成立条件

找到一个就够了，不用查遍所有人；这和全称'一个都不能少'形成对比

\neg \exists x\, P(x) \equiv \forall x\, \neg P(x)

4第 4 页 · 存在量词

全称量词命题

上一节讲过,一个反例就能推翻全称命题——这种'一票否决'的力量意味着,要证明一个全称命题为真,必须把定义域里的每一个个体都照顾到,不能漏过一个。

命题形式

形如'对所有 x∈M,P(x) 成立',记作 ∀x∈M,P(x)

真假判定

找到任一反例即为假;否则需对每个个体证明成立

否定形式

¬∀x P(x) ≡ ∃x ¬P(x),量词翻转且谓词取反

证明策略

穷举(定义域有限)或任意性论证(任取一个推出结论)

酒店客房质检对应 →全称量词命题

定义域对应所有房间;每间都合格命题才成立,一间不过整批否决

\forall x \in M,\ P(x) \quad \neg \forall x\, P(x) \Leftrightarrow \exists x\, \neg P(x)

5第 5 页 · 全称量词命题

存在量词命题

全称命题要求'全都满足'——一个反例就能推翻它。那反过来，把门槛从'全部'降到'至少一个'，命题形式就变成了存在量词命题。

命题结构

形如 ∃x∈D, P(x)，读作『存在 D 中的某个 x 使 P(x) 成立』

真值判定

只要 D 中有一个 x 使 P(x) 为真，整句话便为真——一个实例足矣

否定的等价

¬∃x P(x) ⇔ ∀x ¬P(x)：『找不到一个』等价于『全都不是』

易错边界

∃x P(x) 不含『仅一个』或『恰好一个』；需精确计数时改用 ∃!x

在图书馆找一本特定的书对应 →存在量词命题

只要在某个书架上找到一本，『这本书存在』就为真——不必搜遍每个角落

\neg \exists x \, P(x) \;\Leftrightarrow\; \forall x \, \neg P(x)

6第 6 页 · 存在量词命题

命题的否定

前页讲存在命题时，找反例其实就是在做命题的否定。这不是简单加个'不'字——量词和谓词要配套变化，规则稍有差池，意思就反了。

否定全称命题

¬∀x P(x) ⇔ ∃x ¬P(x)，即至少存在一个反例

否定存在命题

¬∃x P(x) ⇔ ∀x ¬P(x)，所有对象都不满足

改写规律

量词∀↔∃、谓词 P→¬P 两个动作同时进行

典型应用

判全称命题为假：找反例；否存在命题：转化为全称

全班投票对应 →全称命题的否定

全票通过≠全部反对，而是至少一票不通过——这就是'存在反例'

\neg\forall x\, P(x)\Leftrightarrow\exists x\, \neg P(x)\\\neg\exists x\, P(x)\Leftrightarrow\forall x\, \neg P(x)

7第 7 页 · 命题的否定

全称量词命题的否定

全称量词命题的否定：定义、要点与典型应用

全称量词命题的否定

全称量词命题的否定：定义、要点与典型应用

8第 8 页 · 全称量词命题的否定

存在量词命题的否定

上页我们把『所有苹果都红』的否定讲透了。现在反过来：『至少有一个红苹果』被否定后，会变成什么？

否定形式

¬∃x P(x) ⟺ ∀x ¬P(x)：存在不成立，等价于全都对它不成立

两条操作

①量词 ∃ 改 ∀；②谓词 P 改 ¬P，两步必须同时完成

双重否定验证

¬(∀x ¬P(x)) 再否定一次，可还原为 ∃x P(x)，双向等价

至少有一件好事发生对应 →全部都不是好事

『至少一』被翻成『全部都非』，量级跳一档但方向精确

\neg \exists x P(x) \Leftrightarrow \forall x \neg P(x)

9第 9 页 · 存在量词命题的否定

本节要点

✓∀ 与 ∃ 互为对偶：否定时量词互换，内部命题取反
✓全称命题为真需覆盖所有情形，举出一例即可否定
✓存在命题为真只需找到一个具体例子
✓否定只动量词与内部谓词，外部逻辑结构保持不变
✓「任意」不能被有限枚举代替，无穷集合需另证

延伸主题：嵌套量词的否定顺序量词的可交换与不可交换谓词逻辑的形式化

10第 10 页 · 本节要点

课后思考

三个问题，先自己琢磨一阵，再对照参考答案。

1全称命题与它的否命题，在真假上有什么关系？为什么？

参考答案必有一真一假。原命题要求'每个都对'，否命题只要'存在一个错'，二者逻辑对立。否定全称命题等价于构造反例。

2用一句话写出'所有素数都是奇数'的否命题，并指出反例。

参考答案否命题：'∃素数p, p是偶数'。反例就是2。这说明否定全称命题的关键是找一个具体反例。

3'∀ε>0, ∃δ>0'和'∃δ>0, ∀ε>0'含义相同吗？分析学中为何强调量词顺序？

参考答案不同。前者是连续性（δ可随ε变），后者要求同一个δ对所有ε都成立，几乎不可能。量词顺序不可随意交换。

11第 11 页 · 课后思考