全称 / 存在量词命题的否定

是什么

全称量词命题的否定是存在量词命题，存在量词命题的否定是全称量词命题。

核心要点

¬(∀x ∈ M，p(x)) 是 ∃x ∈ M，¬p(x)；¬(∃x ∈ M，p(x)) 是 ∀x ∈ M，¬p(x)

一句话记住

改量词，否结论

常见题型

• 看到“写出命题的否定” → 量词互换、结论否定，范围 M 不变

相关知识点

同一节的其他知识点