定义 命题是判断真假的陈述句；量词（全称/存在）用于限定命题中变量的取值范围。
从哪来 本节为高一数学逻辑起点，不依赖前置知识点，直接基于自然语言逻辑构建数学语言基础。
为什么 数学需要严谨性。日常语言常有歧义（如“有些人”指多少？），而数学必须明确。
1. 命题：只有能判断真假的陈述句才叫命题，这是逻辑推理的原子单位。
2. 量词：当命题包含变量时，必须用“所有”（全称）或“至少有一个”（存在）来消除歧义，否则命题真假无法确定。例如“$x^2 \ge 0$”不是命题，但“$\forall x \in \mathbb{R}, x^2 \ge 0$”是命题。
生活类比法**
适合**形象思维强、抽象思维弱**的学生。
- **命题
像“是非题”，只有对/错两种结果。问句（“你吃饭了吗？”）、祈使句（“请关门”）都不是命题，因为无法判断真假。
-
量词：像“范围圈”。
- 全称量词 $\forall$（所有）：画一个大圈，圈住所有元素，要求
每一个都满足条件。
- 存在量词 $\exists$（存在）：只需在圈里找到
一个满足条件的元素即可。
-
例子：“班里所有同学身高都超过1米8”（全称，只要有一个没超过就是假）；“班里有个同学身高超过1米8”（存在，只要有一个超过就是真）。
符号逻辑法**
适合**逻辑性强、喜欢结构化**的学生。
- **命题结构
命题 $p$ 是一个真值函数，取值域为 $\{T, F\}$。
-
量词定义：
- 全称命题：$\forall x \in M, p(x)$。真假判定：若存在 $x_0 \in M$ 使 $p(x_0)$ 为假，则命题为假；否则为真。
- 特称命题：$\exists x \in M, p(x)$。真假判定：若存在 $x_0 \in M$ 使 $p(x_0)$ 为真，则命题为真；否则为假。
-
强调：量词是连接变量与谓词（条件）的桥梁，没有量词的含变量语句不是命题。
反例证伪法**
适合**批判性思维强、喜欢挑战**的学生。
- **核心逻辑
判断全称命题真假，找
一个反例即可证伪；判断特称命题真假，找
一个正例即可证实。
-
训练：
- 命题：“所有奇数都是质数。” → 找反例：9是奇数但不是质数 → 假。
- 命题：“存在一个偶数是质数。” → 找正例：2是偶数且是质数 → 真。
-
结论：全称命题“难真易假”，特称命题“易真难假”。