第三章-高级数理逻辑.pptx

第3章 集合的基本概念和运算3.1 集合的基本概念3.2 集合的基本运算3.3 集合中元素的计数3.1 集合的基本概念 集合的定义与表示 集合与元素 集合之间的关系 空集与全集 幂集集合定义与表示集合一些可确定的、可分辨的事物构成的整体 集合通常用大写英文字母来标记. 例如，常见的几个数集N, Z, Q, R, C .元素 组成集合的个体. 特别地，一个集合也可以作为另一个集合的元素. 集合的表示 列元素法 A={ a, b, c, d } 谓词表示法 B={ x | P(x) } B 由使得 P(x) 为真的全体x 构成. 例 B={ x | x+12 } 集合中的元素是互异的、无序的. 例 { 1, 2, 3 }、 { 2, 3, 1 }、 { 1, 2, 3, 1 }都表示同一个集合集合与元素元素与集合的关系：属于?，不属于 ?实例 A={ x | x?R?x2-1=0 }, A={-1,1} 1?A, 2?A注意：对于任何集合 A 和元素 x ， x?A和 x?A 两者成立其一，且仅成立其一. 集合与元素例 A={ a, {b,c}, d, {{d}} } a?A，{b,c}?A d?A， {{d}}?A b?A， c?A， {d}?A 集合之间的关系 包含（子集） A ? B ? ?x (x?A ? x?B) 不包含A ? B ? ?x (x?A ? x?B) 特别地，对于任何集合S，都有S ? S 例 A={ 0, 1 }, B={ 0, 1, 2 }, C={ 0, 1, 3 } 有 A ? B，A ? C，B ? C 集合之间的关系 相等 A = B ? A ? B ? B ? A ? ?x (x?A ? x?B) ? ?x (x?B ? x?A) ? ?x ((x?A ? x?B) ? (x?B ? x?A)) ? ?x (x?A ? x?B) 不相等A ? B ? A ? B ? B ? A 例 A={ 0, 1 }, B={ x | x(x-1)=0 }, C={ 0, 1, 2 }, 有 A=B， A ? C 集合之间的关系 真包含 A ? B ? A ? B ? A ? B 不真包含 A ? B ? A ? B ? A = B 例 A={ 0, 1 }, B={ 0, 1, 2 }, C={ 0, 1, 3 } 有 A ? B， A ? C， B ? A， B ? C 注意 ? 和 ? 的不同 例 A={ {1}, 1 }. {1} ? A， {1} ? A空集与全集空集 ?不含任何元素的集合 可符号化为?={x | x ? x }例{x | x2+1=0?x?R} 就是空集定理 空集是任何集合的子集 ??A ? ?x (x???x?A) 推论 空集是惟一的.证 假设存在?1和?2，则?1??2 且?1??2， 因此?1=?2空集与全集例 判断下列命题的真假 (1) ???(2) ???(3) ??{? }(4) ??{? }解 (1)、(3)、(4)为真， (2)为假.说明： ?和{? }是不同的两个集合全集 E 相对性 在给定问题中，全集包含任何集合，即?A (A?E )幂集n元集 含有n个元素的集合简称m元子集 n元集含有m个(m ≤ n)元素的子集n元集的m元子集有 个，共有2n个例 求A={ a, b }的全部子集 解 0元子集，有 个，即1个：? ； 1元子集，有 个，即2个： { a }, { b }； 2元子集，有 个，即1个： { a, b }幂集幂集 A的全体子集构成的集合，记作P(A) 符号化表示：P(A) = { x | x?A } 例 P(?) = {?}， P({?}) = {?,{?}} P({1,{2,3}})={?,{1},{{2,3}},{1,{2,3}}}3.2 集合的基本运算集合基本运算的定义 ? ? ? ? ?文氏图（John Venn）例题集合运算的算律集合包含或恒等式的证明集合基本运算的定义并 A?B = { x | x?A ? x?B }交 A?B = { x | x?A ? x?B }相对补 A?B = { x | x?A ? x?B }例 A={1, 2, 3}, B={1, 4}, C={3} 有 A?B={1, 2, 3, 4}, A?B={1}, C?B=?, A?B ={2, 3}, B?A ={4}, C?A = ?集合基本运算的定义不交当两个集合的交集是空集时n个集合的并和交分别记为集合基本运算的定义绝对补?A = E?A = { x | x?E ? x?A } 其中E是全集，故?A = { x | x?A }例 E=