离散数学j第03讲.pptVIP

定理3.2.6 任给集合A和B，则 B= ~ A iff A∪B=U 且 A∩B=? 该定理表明了①若A的补是B，则B的补是A，即A和B互补。②补的唯一性。 推论3.2.5 ① ~ U=?，② ~ ?=U 定理3.2.7 任给集合A，则 ~ ~ A=A。 该定理表明了，A的补的补是A。 定理3.2.8 任给集合A和B，则 ① ~(A∪B)= ~ A∩ ~ B， ② ~(A∩B)= ~ A∪ ~ B。 定义3.2.5 任给集合A和B，A和B的对称差是集合，记为A?B， A?B =(A-B)∪(B-A) ={x|(x?A?x?B)?(x?B?x?A)} ={x|x?A?x?B} 定理3.2.9 任给集合A和B，则 A?B=(A∪B)∩(~ A∪ ~ B) =(A∪B) - (A∩B) 推论3.2.9 ① ~ A? ~ B=A?B ② A?B=B?A ③ A?A=? 2．集合代数与对偶原理 本小节将形式地讨论由集合、集合变元、集合运算和圆括号所构成的集合代数以及集合代数中的对偶原理。 与命题逻辑相似，对于给定集合实行集合运算，可以生成新的集合。同用大写英文字母表示确定集合一样，也用大写字母表示不确定的集合，前者称为集合常元，后者称为集合变元。集合变元用以集合常元代替后，才表示确定的集合。下面将给出集合的合式公式定义。 定义3.2