∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
知识要点 · 高中数学

集合与常用逻辑用语

必修第一册 · 高一至高三

集合的概念与基本关系（包含、相等）、并交补运算；充分条件、必要条件与充要条件；全称量词与存在量词。

必修第一册开篇以集合语言重构数学表达：集合是描述对象总体的基本工具，逻辑用语（充分必要条件、量词）则规范数学陈述。两者是高中全部数学内容的语言基础。

§ 01

集合的概念与表示

集合中的元素具有确定性、互异性、无序性。表示方法：列举法（有限集）、描述法 {x∣p(x)}\{x\mid p(x)\}、图示法（Venn 图）。常用数集记号 N\mathbb{N}、Z\mathbb{Z}、Q\mathbb{Q}、R\mathbb{R} 必须熟记。
§ 02

集合间的基本关系

子集 A⊆BA\subseteq B：AA 中任一元素都属于 BB；相等：互为子集；真子集：是子集且不相等。空集是任何集合的子集、任何非空集合的真子集——含参问题中空集情形最易漏讨论。
§ 03

集合的运算

交集 A∩BA\cap B：同属两者；并集 A∪BA\cup B：至少属于一个；补集 ∁UA\complement_U A：属于全集 UU 而不属于 AA。运算律（交换、结合、分配）与 Venn 图、数轴是处理运算问题的两大工具。
§ 04

充分条件与必要条件

若 p⇒qp\Rightarrow q，则 pp 是 qq 的充分条件、qq 是 pp 的必要条件；双向成立则充要。判断技巧：小范围推大范围，「小」是「大」的充分条件。集合视角：A⊆BA\subseteq B 时「x∈Ax\in A」是「x∈Bx\in B」的充分条件。
§ 05

全称量词与存在量词

全称命题「对任意 x∈Mx\in M，p(x)p(x)」记作 ∀x∈M, p(x)\forall x\in M,\ p(x)；特称命题「存在 x∈Mx\in M 使 p(x)p(x)」记作 ∃x∈M, p(x)\exists x\in M,\ p(x)。否定规则：全称与特称互换、结论取反，如 ∀\forall 命题的否定是 ∃\exists 命题。

核心公式速查

德摩根律∁U(A∪B)=(∁UA)∩(∁UB)\complement_U(A\cup B)=(\complement_U A)\cap(\complement_U B)
容斥原理∣A∪B∣=∣A∣+∣B∣−∣A∩B∣|A\cup B|=|A|+|B|-|A\cap B|

学习建议与易错点

  • 含参集合题先问「会不会是空集」：A⊆BA\subseteq B 类问题 A=∅A=\varnothing 是独立情形。
  • 条件判断画数轴比较范围大小最直观，端点取舍单独验证。
  • 写否定命题只否结论不否条件，量词互换是命题否定的核心动作。
  • 描述法竖线前后分工：前是代表元素，后是满足条件，两者缺一不可。