否定时只加一个“不”
ONE IDEA AT A TIME
把核心意思拆成三步
全称命题要覆盖每一个对象；存在命题只需找到一个对象。
- 01
∀：任意、每一个、所有
- 02
∃：存在、至少有一个
- 03
否定“所有都”就是“至少一个不”
先用一句大白话记住证明“所有”与证明“至少一个”，需要的证据一样吗？
接下来不要背结论，先在互动实验里改变条件，看结论什么时候成立、什么时候不成立。
本课关键表达¬(∀x,p(x)) ⇔ ∃x,¬p(x)
全称命题要覆盖每一个对象；存在命题只需找到一个对象。
01.05
预备知识
01先理解
02动手试
CHANGE IT · WATCH IT · EXPLAIN IT
在有限样本中寻找反例
切换命题，逐个检查对象，看全称是否被一个反例推翻。 每次改变一个条件，先预测，再观察结果。
互动实验 · 按 3 步完成先猜 → 只改一个量 → 用结论解释变化
∀x∈样本，x²≥0
-2满足
-1满足
0满足
1满足
2满足
这个命题在当前样本中成立
全称命题需要每个对象都满足；一个反例就足以否定它。
03看例题
WORKED EXAMPLE
用一个反例否定全称命题
问题
否定命题“所有实数 x 都有 x²>x”。
- 1
原命题是 ∀x∈ℝ，x²>x
- 2
否定时量词 ∀ 变成 ∃
- 3
性质 x²>x 变成 x²≤x
结论存在 x∈ℝ，使 x²≤x（例如 x=0）
这节课最容易错在易错 1 易错 2 易错 3
把“至少一个不”写成“所有不”
存在命题举例不满足范围
04马上练
QUICK CHECK
两道题，检查概念是否站稳
选择后立即显示原因。答错时先读解析，再重新选一次。
01
“每个实数都有平方”中的量词是？
02
“∀x∈ℝ，x²≥0”的否定是？
本课练习0 / 2
完成两道练习后，就可以记录本课进度。