含量词命题的否定

01 · 出发点

否定命题就是准确描述它失败的情形

否定“所有同学都到齐”不是“所有同学都没到”，而是“至少有一名同学没到”。量词命题的否定会同时改变量词和所述性质。

数学中的否定必须覆盖原命题恰好不成立的全部情形。正确写出否定，是反例构造、反证法和逻辑等价变形的基础。

02 · 概念

量词互换与性质否定

全称命题“$\forall x\in M,\ p(x)$”失败，意味着在 $M$ 中至少存在一个对象使 $p(x)$ 不成立，因此它的否定是“$\exists x\in M,\ \neg p(x)$”。

存在命题“$\exists x\in M,\ p(x)$”失败，意味着 $M$ 中每个对象都不具有性质 $p$，因此它的否定是“$\forall x\in M,\ \neg p(x)$”。否定不改变原论域。

03 · 方法

三步写出含量词命题的否定

1. 01

   保持对象范围不变，识别原命题最外层是全称量词还是存在量词。

2. 02

   把 $\forall$ 与 $\exists$ 互换，再对性质 $p(x)$ 作逻辑否定。

3. 03

   检查新命题是否恰好描述原命题失败的情形，尤其核对严格与非严格不等号。

04 · 例题

把方法落到具体问题

05 · 辨析

容易忽略的条件与边界