全称量词与全称命题：数学·代数模块「集合与常用逻辑用语→全称量词与存在量词」的核心概念，需掌握规范定义、适用条件及与相近概念的区分。【示例】上海高考数学卷常结合情境考查全称量词与全称命题：要求据题干条件判断、计算或表述，答案须扣住概念本身（如联系\forall x \in M, p(x) — 全称命题：对…），避免只写结论不写依据。【考纲关联】属常考重点（B级）、常考；纳入「集合与常用逻辑用语→全称量词与存在量词」复习清单，与教材表述及近年等级考/秋考、一模二模同类题对照巩固。
存在量词与特称命题：数学·代数模块「集合与常用逻辑用语→全称量词与存在量词」的核心概念，需掌握规范定义、适用条件及与相近概念的区分。【示例】上海高考数学卷常结合情境考查存在量词与特称命题：要求据题干条件判断、计算或表述，答案须扣住概念本身（如联系\forall x \in M, p(x) — 全称命题：对…），避免只写结论不写依据。【考纲关联】属常考重点（B级）、常考；纳入「集合与常用逻辑用语→全称量词与存在量词」复习清单，与教材表述及近年等级考/秋考、一模二模同类题对照巩固。
命题的否定与量词转换：数学·代数模块「集合与常用逻辑用语→全称量词与存在量词」的核心概念，需掌握规范定义、适用条件及与相近概念的区分。【示例】上海高考数学卷常结合情境考查命题的否定与量词转换：要求据题干条件判断、计算或表述，答案须扣住概念本身（如联系\forall x \in M, p(x) — 全称命题：对…），避免只写结论不写依据。【考纲关联】属常考重点（B级）、常考；纳入「集合与常用逻辑用语→全称量词与存在量词」复习清单，与教材表述及近年等级考/秋考、一模二模同类题对照巩固。
要点
全称命题否定后变为特称命题，量词互换。
特称命题否定后变为全称命题，量词互换。
判断命题真假需注意量词范围及条件。
公式
公式：
\forall x \in M, p(x)
适用条件：
M为非空集合，p(x)为关于x的谓词。
解释：
全称命题：对于集合M中的任意元素x，命题p(x)成立。
公式：
\exists x \in M, p(x)
适用条件：
M为非空集合，p(x)为关于x的谓词。
解释：
特称命题：存在集合M中的某个元素x，使得命题p(x)成立。
公式：
\neg (\forall x \in M, p(x)) \equiv \exists x \in M, \neg p(x)
适用条件：
适用于任何非空集合M和谓词p(x)。
解释：
全称命题的否定是特称命题：并非所有x满足p(x)，等价于存在某个x不满足p(x)。
公式：
\neg (\exists x \in M, p(x)) \equiv \forall x \in M, \neg p(x)