全称量词命题的否定：∀ 改成 ∃，同时否定结论

公式初稿待审

bx1-c2-s3-k3

一句话 · 全称量词命题的否定是存在量词命题：¬(∀x∈M, p(x)) ⟺ ∃x∈M, ¬p(x)，要同时把 ∀ 换成 ∃ 并把结论整体否定，因为推翻「全都成立」只需要一个反例。

前置知识

①板书动画演示

讲稿 / 板书 / 图形三轨同步：听到哪一句，板书和图形就走到哪一步

引入1 / 12第 1 / 1 句三轨同步：语音 · 板书 · 图形

图形（由 draw 指令 JSON 确定性渲染，不是模型画的美术图）

本段以板书为主，没有图形。

板书（跟着讲稿逐行出现）

原话：所有人都及格了

怎么否定它？

讲稿

把「所有人都及格了」这句话否定掉，你会怎么说？

4 段例题已按「读题 → 思路 → 关键步骤 → 写出过程」拆开，可以不跟播放器一步步做

1第 7 段例题
- p：∀x∈R, x²>0
- ¬p：∃x∈R, x²≤0
卡住了？展开这一段的讲解
第一例：任意实数 x，x 方大于零。它的否定是存在实数 x，x 方小于等于零。
2第 8 段例题
- ≥ 的否定是 <
- 的否定是 ≤
- = 的否定是 ≠
卡住了？展开这一段的讲解
注意符号。大于等于的否定是小于，大于的否定是小于等于。等号别丢。
3第 9 段例题
- p：∀x∈R, x+1>2
- ¬p：∃x∈R, x+1≤2
卡住了？展开这一段的讲解
第二例：任意实数 x，x 加一大于二。它的否定是存在实数 x，x 加一小于等于二。
4第 10 段例题
- 否定 = 断言存在一个反例
- ¬p 真 ⟺ 能找到反例
卡住了？展开这一段的讲解
为什么要换成存在？因为推翻「全都成立」，只需要一个不成立的例子。

第2章常用逻辑用语 · 限时综合卷

题量

17 题

总分

110 分

限时

80 分钟

覆盖知识点

17 个

限时交卷后逐题给引导性解析（三层，一次放一层），错题自动进错题本。

做完题再回来看这一块，比先看更有效

全称量词命题的否定式是什么？
看答案与理由
答： ¬(∀x∈M, p(x)) ⟺ ∃x∈M, ¬p(x)。
为什么： 否定要同时改量词和否定结论。
为什么否定后量词会变成存在量词？
看答案与理由
答：因为推翻「每个都成立」只需要举出一个不成立的例子。
为什么： 存在一个反例，正是原全称结论不成立的含义。
「∀x∈R, x+1>2」的否定是「∃x∈R, x+1<2」吗？
看答案与理由
答：不是。应为 ∃x∈R, x+1≤2，等号不能丢。
为什么： x=1 时 x+1=2，它属于 ≤ 而不属于 <。

未填密钥

这个功能要调用 AI，需要先填一次你自己的接口密钥。

本站不预置 AI 密钥，需要你自己填一次（在「学习记录」页）。填之前，知识地图、三轨讲解、梯度练习、章测、错题本与学习报告全部照常可用。

这是刻意的设计：知识地图、三轨讲解、梯度练习、章测与学习报告全部离线可用，只有 AI 相关的几个功能需要联网。

内容状态公开，不藏着

本站自编讲义，非教材原文摘录；未引用教材页码、例题编号。

讲解与题目为本站自编，不是教材原文；本页不标示任何未核验的高考真题来源。