Administrator
发布于 2026-06-06 / 4 阅读
0
0

01 - 集合与常用逻辑用语

知识点一 集合的概念

1. 集合的定义

集合是指具有某种特定性质的具体的或抽象的对象汇总而成的集体。这些对象称为该集合的元素

通常用大写拉丁字母 ABC……表示集合,用小写拉丁字母 abc……表示元素。

💡 说明:集合是现代数学的基础概念,贯穿于整个数学体系。集合论的基本思想是:把一些确定的对象作为一个整体来研究。


2. 集合中元素的特征

特征 含义 示例说明
确定性 集合中的元素必须是确定的,即对于任意一个对象,都能明确判断它是否属于该集合 "所有的好人"不能构成集合,因为"好人"标准不明确
互异性 集合中的元素互不相同,同一元素不能重复出现 {1, 1, 2} 应写作 {1, 2}
无序性 集合中的元素没有先后顺序 {1, 2, 3}{3, 1, 2} 表示同一个集合

⚠️ 注意:三个特征缺一不可。没有确定性就不能判断元素是否属于集合;没有互异性就会出现重复元素;没有无序性则集合与序列无法区分。


3. 元素与集合的关系

关系 符号 含义 示例
属于 a 是集合 A 的元素 2 ∈ {1, 2, 3}
不属于 a 不是集合 A 的元素 4 ∉ {1, 2, 3}

⚠️ 易错点 只能用于元素与集合之间,不能用于集合与集合之间。


4. 常用数集及其记法

数集 名称 记法 示例
自然数集 全体非负整数组成的集合 N 0, 1, 2, 3, …
正整数集 全体正整数组成的集合 NN*+ 1, 2, 3, …
整数集 全体整数组成的集合 Z …, -2, -1, 0, 1, 2, …
有理数集 全体有理数组成的集合 Q 1/2, -3, 0, 2.5, …
实数集 全体实数组成的集合 R 所有实数

5. 集合的表示方法

表示方法 格式 示例
列举法 把元素一一列举在大括号内 {1, 2, 3, 4, 5}
描述法 {x | P(x)}{x ∈ A | P(x)} {x | x > 3}{x ∈ R | x2 - 1 = 0}
Venn 图法 用封闭曲线表示集合 平面上画圆或椭圆表示集合

💡 选择建议:元素个数较少且有限时用列举法;元素有共同的明显特征时用描述法。


知识点二 集合间的基本关系

1. 子集

如果集合 A任意一个元素都是集合 B 的元素,那么集合 A 称为集合 B子集,记作:

A ⊆ B(或 B ⊇ A)

读作"A 包含于 B"(或"B 包含 A")。

💡 规定:空集是任何集合的子集,即 ∅ ⊆ A


2. 集合相等

如果 A ⊆ BB ⊆ A,则称集合 A 与集合 B 相等,记作:

A = B

3. 真子集

如果 A ⊆ B,且 A ≠ B(即存在元素 x ∈ Bx ∉ A),则称集合 A 是集合 B真子集,记作:

A ⫋ B(或 B ⫌ A)

⚠️ 易错点 允许相等, 不允许相等。空集是任何非空集合的真子集。


4. 空集

不含任何元素的集合叫做空集,记作

∅ ⊆ A(A 为任意集合)

⚠️ 易错点: - {∅} 不同: 不含任何元素,{∅} 含有一个元素(即空集本身) - {0} 不同:{0} 含有一个元素 0


5. 子集个数规律

含有 n 个元素的集合:

类型 个数
子集 2n
真子集 2n - 1
非空子集 2n - 1
非空真子集 2n - 2

知识点三 集合的基本运算

1. 并集

由所有属于集合 A 属于集合 B 的元素组成的集合,叫做 AB并集,记作:

A ∪ B = {x | x ∈ A,或 x ∈ B}

性质: - A ∪ A = A - A ∪ ∅ = A - A ∪ B = B ∪ A(交换律) - A ⊆ (A ∪ B)B ⊆ (A ∪ B)


2. 交集

由所有属于集合 A 属于集合 B 的元素组成的集合,叫做 AB交集,记作:

A ∩ B = {x | x ∈ A,且 x ∈ B}

性质: - A ∩ A = A - A ∩ ∅ = ∅ - A ∩ B = B ∩ A(交换律) - (A ∩ B) ⊆ A(A ∩ B) ⊆ B


3. 补集

对于一个集合 A,由全集 U不属于 A 的所有元素组成的集合,叫做集合 A 相对于全集 U补集,记作:

UA = {x | x ∈ U,且 x ∉ A}

性质: - A ∪ (∁UA) = U - A ∩ (∁UA) = ∅ - U(∁UA) = A(补集的补集是原集) - UU = ∅U∅ = U


4. 德·摩根律

U(A ∪ B) = (∁UA) ∩ (∁UB)
U(A ∩ B) = (∁UA) ∪ (∁UB)

口诀:并的补等于补的交,交的补等于补的并。


知识点四 充分条件与必要条件

1. 命题

用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。判断为真的命题叫做真命题,判断为假的命题叫做假命题

💡 通常用小写字母 pqr……表示命题。


2. 充分条件与必要条件

如果"若 p,则 q"为真命题(即 p ⇒ q),则:

条件关系 含义 符号
pq充分条件 p 成立足以保证 q 成立 p ⇒ q
qp必要条件 qp 成立必不可少的条件 p ⇒ q

记忆技巧:充分条件——"有它就行";必要条件——"没它不行"。


3. 充要条件

如果 p ⇒ qq ⇒ p(即 p ⇔ q),则称:

p 是 q 的充分必要条件(简称充要条件)

此时也说 pq 等价


4. 四种条件关系一览

p ⇒ q q ⇒ p pq 示例
充要条件 p: x = 1q: x2 = 1(必要不充分)
充分不必要条件 p: x > 5q: x > 3
必要不充分条件 p: x2 = 1q: x = 1
既不充分也不必要 p: x > 0q: x < 0

知识点五 全称量词与存在量词

1. 全称量词

短语"所有的"、"任意一个"在逻辑中通常叫做全称量词,用符号""表示。

含有全称量词的命题叫做全称量词命题,形式为:

∀x ∈ M,p(x)

读作"对任意 x 属于 M,有 p(x) 成立"。


2. 存在量词

短语"存在一个"、"至少有一个"在逻辑中通常叫做存在量词,用符号""表示。

含有存在量词的命题叫做存在量词命题,形式为:

∃x ∈ M,p(x)

读作"存在 x 属于 M,使 p(x) 成立"。


3. 含有一个量词的命题的否定

原命题 否定命题
∀x ∈ M,p(x) ∃x ∈ M,¬p(x)
∃x ∈ M,p(x) ∀x ∈ M,¬p(x)

口诀:全称变存在,存在变全称,结论全否定。

⚠️ 常见错误:否定全称量词命题时,不要写成"¬∀x ∈ M,p(x)",而应写成"∃x ∈ M,¬p(x)"。


重点例题

例题1 集合运算

题目:已知全集 U = {1, 2, 3, 4, 5, 6, 7, 8}A = {1, 2, 3, 4}B = {3, 4, 5, 6},求 A ∩ BA ∪ BUAU(A ∩ B)

解析

A ∩ B = {3, 4}(取公共元素)
A ∪ B = {1, 2, 3, 4, 5, 6}(合并所有元素)
UA = {5, 6, 7, 8}(在 U 中但不在 A 中)
U(A ∩ B) = ∁U{3, 4} = {1, 2, 5, 6, 7, 8}

答案A ∩ B = {3, 4}A ∪ B = {1, 2, 3, 4, 5, 6}UA = {5, 6, 7, 8}U(A ∩ B) = {1, 2, 5, 6, 7, 8}


例题2 充要条件的判断

题目:判断 p: x > 2q: x > 1 的什么条件。

解析: - 若 x > 2,则必然 x > 1,所以 p ⇒ q 为真 - 若 x > 1,不一定 x > 2(如 x = 1.5),所以 q ⇒ p 为假

因此 pq 的充分不必要条件。

答案:充分不必要条件


例题3 量词命题的否定

题目:写出命题"所有能被 2 整除的整数都是偶数"的否定。

解析:原命题是全称量词命题:∀x ∈ {能被 2 整除的整数},x 是偶数

否定为:∃x ∈ {能被 2 整除的整数},x 不是偶数

即:"存在一个能被 2 整除的整数,它不是偶数"。

答案:存在一个能被 2 整除的整数,它不是偶数


易错点提醒

  • ⚠️ 集合元素的互异性:写集合时注意检查是否有重复元素,如 {1, 1, 2} 必须写成 {1, 2}
  • ⚠️ 空集与含空集的集合 是不含任何元素的集合,{∅} 是含有一个元素(空集)的集合,两者不同
  • ⚠️ 的区别 用于元素与集合之间, 用于集合与集合之间
  • ⚠️ 子集与真子集A ⊆ B 包括 A = B 的情况,A ⫋ B 不包括
  • ⚠️ 充分条件与必要条件混淆p ⇒ q 时,p 是充分的、q 是必要的;可用"小范围推大范围"来记忆
  • ⚠️ 量词命题的否定:全称变存在,存在变全称,结论要否定,不要只否定量词而忘记否定结论

方法技巧

1. 集合运算的解题策略

  1. 明确集合元素:先用列举法或描述法明确每个集合的元素
  2. 画 Venn 图:复杂运算建议画 Venn 图辅助分析
  3. 逐一验证:用数轴法处理连续实数集合的运算
  4. 验证结果:用元素验证法确认运算结果是否正确

2. 充要条件判断的快速方法

"小范围推大范围"原则: - 若 A ⊆ B,则 x ∈ Ax ∈ B 的充分不必要条件 - 若 A = B,则 x ∈ Ax ∈ B 的充要条件

符号判断法: - p ⇒ q 真 + q ⇒ p 假 → 充分不必要 - p ⇒ q 假 + q ⇒ p 真 → 必要不充分 - p ⇒ q 真 + q ⇒ p 真 → 充要 - p ⇒ q 假 + q ⇒ p 假 → 既不充分也不必要


3. 数轴法处理集合运算

对于实数集的子集,借助数轴直观表示集合关系,能快速准确地完成交集、并集、补集运算。


本章知识框架

第一章 集合与常用逻辑用语
├── 集合的概念
│   ├── 集合与元素的定义
│   ├── 元素的三大特征(确定性、互异性、无序性)
│   ├── 元素与集合的关系(∈、∉)
│   ├── 常用数集(N、N*、Z、Q、R)
│   └── 集合的表示方法(列举法、描述法、Venn图法)
├── 集合间的基本关系
│   ├── 子集(⊆)
│   ├── 真子集(⫋)
│   ├── 集合相等(=)
│   ├── 空集(∅)
│   └── 子集个数规律(2^n)
├── 集合的基本运算
│   ├── 并集(A ∪ B)
│   │   ├── 定义与性质
│   │   └── 数轴法
│   ├── 交集(A ∩ B)
│   │   ├── 定义与性质
│   │   └── 数轴法
│   ├── 补集(∁_U A)
│   │   ├── 定义与性质
│   │   └── 全集的概念
│   └── 德·摩根律
│       ├── 并的补 = 补的交
│       └── 交的补 = 补的并
├── 充分条件与必要条件
│   ├── 命题的概念
│   ├── 充分条件(p ⇒ q)
│   ├── 必要条件(q ⇒ p)
│   ├── 充要条件(p ⇔ q)
│   └── 四种条件关系判断
└── 全称量词与存在量词
    ├── 全称量词(∀)
    ├── 存在量词(∃)
    ├── 全称量词命题与存在量词命题
    └── 含有一个量词的命题的否定

课后练习

1. 用列举法表示集合 {x ∈ N | x2 - 5x + 6 = 0}

2. 已知集合 A = {1, 2, 3},写出 A 的所有子集。

3. 设全集 U = {1, 2, 3, 4, 5}A = {1, 2}B = {2, 3, 4},求 (∁UA) ∩ B

4. 已知集合 A = {x | -2 < x < 3}B = {x | 1 ≤ x ≤ 5},求 A ∩ BA ∪ B

5. 判断 p: x = 2q: x2 = 4 的什么条件。

6. 写出命题"∃x ∈ R,x2 + 2x + 3 = 0"的否定。

7. 已知集合 A = {x | x2 - 3x + 2 = 0}B = {x | 0 < x < 5, x ∈ N},求 A ∩ B

8.A = {a, b, c},求满足 A ∪ B = A 的集合 B 的个数。

9. 判断命题"∀x ∈ R,x2 - 2x + 1 ≥ 0"的真假,并写出其否定形式。

10. 已知 p: -1 < x < 3q: 0 < x < 2,判断 pq 的什么条件。


参考答案

1. 解方程 x2 - 5x + 6 = 0x = 2x = 3,且 x ∈ N,故 {2, 3}

2. ∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}(共 8 个)。

3. UA = {3, 4, 5}(∁UA) ∩ B = {3, 4}

4. A ∩ B = {x | 1 ≤ x < 3}A ∪ B = {x | -2 < x ≤ 5}

5. p ⇒ q 真,q ⇒ p 假(x 还可以是 -2),故 pq 的充分不必要条件。

6. ∀x ∈ R,x2 + 2x + 3 ≠ 0

7. A = {1, 2}B = {1, 2, 3, 4},故 A ∩ B = {1, 2}

8. A ∪ B = A 等价于 B ⊆ AA 有 3 个元素,子集共 23 = 8 个,故 B 有 8 个。

9. 真命题(x2 - 2x + 1 = (x-1)2 ≥ 0 恒成立)。否定:∃x ∈ R,x2 - 2x + 1 < 0

10. q ⇒ p 真((0, 2) ⊆ (-1, 3)),p ⇒ q 假,故 pq 的必要不充分条件。


教材第10页

教材第25页

教材第50页


📌 笔记区


本文档由 AI 辅助生成,仅供参考学习使用

随堂测验

阅读完文章后,来检验一下掌握程度吧

随堂测验

阅读完文章后,来检验一下你的掌握程度吧

-- 道题目
-- 选择题
-- 判断题

评论