02.01 常用逻辑用语

🟦 常用逻辑用语 (Logic in Mathematics)

知识核心

逻辑用语是数学表达的基石。核心在于准确判定命题间的推导方向（充分性与必要性）以及掌握量词在命题否定中的转换规律。

---

一、 充分条件与必要条件

1. 概念理解与语序陷阱

在判定时，务必分清“谁推导谁”。

• 正常语序：$p$ 是 $q$ 的充分不必要条件。
• 逆向语序：$q$ 的充分不必要条件是 $p$。

2. 等价转换关系

逻辑等价

• $p$ 是 $q$ 的充分条件 $⟺$ $q$ 是 $p$ 的必要条件。
• $p$ 不是 $q$ 的充分条件 $⟺$ $q$ 不是 $p$ 的必要条件。
• $p$ 是 $q$ 的必要不充分条件 $⟺$ $q$ 是 $p$ 的充分不必要条件。

3. 基于“推导关系”的判定

通过箭头方向判定（设 $p,q$ 为两个命题）：

推导关系	$p$ 是 $q$ 的…条件
若 $p\Rightarrow q$ 且 $q\nRightarrow p$	充分不必要条件
若 $p\nRightarrow q$ 且 $q\Rightarrow p$	必要不充分条件
若 $p\Rightarrow q$ 且 $q\Rightarrow p$	充分必要条件 (充要条件)
若 $p\nRightarrow q$ 且 $q\nRightarrow p$	既不充分又不必要条件

4. 基于“集合大小”的判定 (数形结合)

设命题 $p,q$ 对应的集合分别为 $A,B$，则判定原则为 “小范围 $\Rightarrow$ 大范围”：

• 若 $A\subseteq B$，则 $p$ 是 $q$ 的充分条件。
• 若 $B\subseteq A$，则 $p$ 是 $q$ 的必要条件。
• 若 $A⊊B$，则 $p$ 是 $q$ 的充分不必要条件。
• 若 $B⊊A$，则 $p$ 是 $q$ 的必要不充分条件。
• 若 $A=B$，则 $p$ 是 $q$ 的充要条件。

---

二、 全称量词与存在量词

1. 全称量词与全称命题

• 量词：所有的、任意一个、一切、每一个、任给等，符号：$\forall$。
• 命题形式 $p$：$\forall x\in M,P(x)$。
• 命题否定 $\neg p$：$\exists x_0\in M,\neg P(x_0)$。

2. 存在量词与特称命题

• 量词：存在一个、至少有一个、有些、有一个、对某个、有的等，符号：$\exists$。
• 命题形式 $p$：$\exists x_0\in M,P(x_0)$。
• 命题否定 $\neg p$：$\forall x\in M,\neg P(x)$。

---

⚠️ 考场避坑与做题技巧

核心法则：否定必易位

1. 全称命题的否定是特称命题：必须将 $\forall$ 改为 $\exists$，同时否定结论。
2. 特称命题的否定是全称命题：必须将 $\exists$ 改为 $\forall$，同时否定结论。

集合判定的“口诀”

“小出大，小充大”： 集合范围越小，其蕴含的信息量越大，推导出的结论越具体。

• 例如：$x=1\Rightarrow x^2=1$（$x=1$ 范围小，是充分条件）。

---