离散数学 合证明.pptVIP

第4讲集合恒等式 内容提要 1.集合恒等式与对偶原理 2.集合恒等式的证明 3.集合列的极限 4.集合论悖论与集合论公理 2020/229 《集合论与图论》第4讲 集合恒等式(关于∪与⌒) 等幂律( idempotent laws) A∪A=A A⌒A=A 交换律( commutative laws) A∪B=BA A⌒B=BA 2020/229 《集合论与图论》第4讲 集合恒等式(关于∪与⌒、续) 结合律( associative laws (A∽B)C=A(BC) (A∩B)C=A(BC) ●分配律( distributive laws) A(B∩⌒C)=(A∪B(AC A(BC)=(A⌒B)(A⌒C) 2020/229 《集合论与图论》第4讲 集合恒等式(关于∪与⌒、续 吸收律( absorption laws) Au(A⌒B)=A A⌒(A∪B)=A 2020/229 《集合论与图论》第4讲 集合恒等式(关于~) 双重否定律 double complement law) A=a 德●摩根律( DeMorgans|aws) ~(A∽B)=~A⌒~B (A⌒B)=~A~B 2020/229 《集合论与图论》第4讲 集合恒等式(关于与E) 零律( dominance laws) A∪E=E Ao=o ●同一律( identity laws) A∪=A A⌒E=A 20