存在量词命题的否定：∃ 改成 ∀，同时否定结论
公式初稿待审bx1-c2-s3-k4
一句话 · 存在量词命题的否定是「把 ∃ 换成 ∀，同时把结论取反」，范围 M 不变；否定不等号时注意等号要取到。
前置知识
①板书动画演示
讲稿 / 板书 / 图形三轨同步：听到哪一句，板书和图形就走到哪一步
上一节说全称量词命题的否定要「改量词、否结论」。
②例题实操
4 段例题已按「读题 → 思路 → 关键步骤 → 写出过程」拆开，可以不跟播放器一步步做
- 1第 7 段例题
按两步走：换量词、否结论
卡住了？展开这一段的讲解
例 1：写出「`∃x∈R, x²<0`」的否定。
- 2第 8 段例题
∃ → ∀
x²<0 → x²≥0
卡住了？展开这一段的讲解
思路：第一步把 `∃` 换成 `∀`；第二步把 `x²<0` 否定成 `x²≥0`。
- 3第 9 段例题
否定式：∀x∈R, x²≥0
卡住了？展开这一段的讲解
关键一步：得到 `∀x∈R, x²≥0`。**注意 `≥` 别写成 `>`** —— 否定 `<` 得到的是 `≥`。
- 4第 10 段例题
原命题假、否定真，真假相反
卡住了？展开这一段的讲解
顺便看真假：原命题「存在实数 x 使 x²<0」是假命题；它的否定「对任意实数 x 都有 x²≥0」是真命题。两者真假相反，符合预期。
③章节训练
第2章 常用逻辑用语 · 限时综合卷
④易错点与自测
做完题再回来看这一块，比先看更有效
- 只换量词、忘了否定结论
- 只否定结论、忘了换量词
- 把 x²<0 的否定写成 x²>0（应为 x²≥0）
- 把范围 M 也一起否定掉
- 以为推翻存在命题只需举一个反例（那是对全称命题而言）
看完自测（3 题）
¬(∃x∈M, p(x)) 等价于什么？
看答案与理由
答： ∀x∈M, ¬p(x)。量词换、结论取反。
为什么： 推翻「存在一个成立」必须排除全部可能。
否定「∃x∈R, x²<0」时，结论部分怎么改？
看答案与理由
答： x²<0 改写成 x²≥0，等号要取到。
为什么： 否定严格小于得到的是大于等于。
否定前后，范围 x∈R 变了吗？
看答案与理由
答： 不变。只否定结论，范围保持原样。
为什么： 范围不是命题的结论部分。
问老师
这个功能要调用 AI，需要先填一次你自己的接口密钥。
去填密钥（在「学习记录」页）本站不预置 AI 密钥，需要你自己填一次（在「学习记录」页）。填之前，知识地图、三轨讲解、梯度练习、章测、错题本与学习报告全部照常可用。
这是刻意的设计：知识地图、三轨讲解、梯度练习、章测与学习报告全部离线可用，只有 AI 相关的几个功能需要联网。
⑤这份讲解的来源与状态
内容状态公开，不藏着
- 来源
- ai-draft
- 人工复核
- 未经教师人工审核
- 数学校验
- pending
- 段落数
- 12
本站自编讲义，非教材原文摘录；未引用教材页码、例题编号。
讲解与题目为本站自编，不是教材原文；本页不标示任何未核验的高考真题来源。