离散数学课件第六章集合代数.pptVIP

例6.3例6.3求1到1000之间(包含1和1000在内)既不能被5和6，也不能被8整除的数有多少个。解答 设 S＝{x|x∈Z∧1≤x≤1000}A＝{x|x∈S∧x可被5整除}B＝{x|x∈S∧x可被6整除}C＝{x|x∈S∧x可被8整除} |T|表示有穷集T中的元素数 ?x?表示小于等于x的最大整数 lcm(x1,x2,…,xn)表示x1,x2,…,xn的最小公倍数 第31页，共59页，星期日，2025年，2月5日例6.3|A|＝?1000/5?＝200|B|＝?1000/6?＝166|C|＝?1000/8?＝125|A∩B|＝?1000/lcm(5,6)?＝33|A∩C|＝?1000/lcm(5,8)?＝25|B∩C|＝?1000/lcm(6,8)?＝41|A∩B∩C|＝?1000/lcm(5,6,8)?＝8将这些数字依次填入文氏图，得到第32页，共59页，星期日，2025年，2月5日例6.3根据包含排斥原理，所求不能被5，6和8整除的数应为由文氏图也可得知，不能被5，6和8整除的数有

1000－(200+100＋33＋67)＝600个。第33页，共59页，星期日，2025年，2月5日广义并和广义交定义6.10设A为集合，A的元素的元素构成的集合称为A的广义并，记为∪A。 符号化表示为 ∪A＝{x|?z(z∈A∧x∈z)}定义6.11设A为非空集合，A的所有元素的公共元素构成的集合称为A的广义交，记为∩A。 符号化表示为∩A＝{x|?z(z∈A→x∈z)}第34页，共59页，星期日，2025年，2月5日例6.4例6.4设A＝{{a,b,c},{a,c,d},{a,e,f}} B＝{{a}} C＝{a,{c,d}}则 ∪A＝{a,b,c,d,e,f}∪B＝{a}∪C＝a∪{c,d} ∪?＝? ∩A＝{a} ∩B＝{a} ∩C＝a∩{c,d}第35页，共59页，星期日，2025年，2月5日广义并与广义交的说明若A＝{A1,A2,…,An}，则∪A＝A1∪A2∪…∪An若A＝{A1,A2,…,An}，则∩A＝A1∩A2∩…∩An在后面的叙述中，若只说并或交，则这都是指集合的初级并或初级交；如果在并或交前边冠以“广义”两个字，则指集合的广义并或广义交。为了使得集合表达式更为简洁，我们对集合运算的优先顺序做如下规定：称广义并、广义交、幂集、绝对补运算为一类运算并、交、相对补、对称差运算为二类运算。一类运算优先于二类运算一类运算之间由右向左顺序进行二类运算之间由括号决定先后顺序。第36页，共59页，星期日，2025年，2月5日例6.5例6.5设A＝{{a},{a,b}} 计算∪∪A，∩∩A，∩∪A∪(∪∪A－∪∩A)解答∪A＝{a,b} ∩A＝{a} ∪∪A＝a∪b ∩∩A＝a ∩∪A∪(∪∪A－∪∩A) ＝(a∩b)∪(a∪b－a) ＝(a∩b)∪(b-a) ＝b第37页，共59页，星期日，2025年，2月5日6.3集合恒等式下面的恒等式给出了集合运算的主要算律，其中A，B，C代表任意集合。 幂等律A∪A＝A (6.1)

A∩A＝A (6.2) 结合律(A∪B)∪C＝A∪(B∪C) (6.3)

(A∩B)∩C＝A∩(B∩C) (6.4) 交换律A∪B＝B∪A (6.5)

A∩B＝B∩A (6.6) 分配律A∪(B∩C)＝(A∪B)∩(A∪C) (6.7)

A∩(B∪C)＝(A∩B)∪(A∩C) (6.8) 同一律A∪?＝A (6.9)

A∩E＝A (6.10)第38页，共59页，星期日，2025年，2月5日6.3集合恒等式零律 A∪E＝E (6.11)

A∩?＝? (6.12)排中律 A∪～A＝E (6.13)矛盾律 A∩～A＝? (6.14)吸收律