北大离散数学04课程.pptVIP

《集合论与图论》第4讲 第4讲 集合恒等式北京大学 内容提要 1. 集合恒等式与对偶原理 2. 集合恒等式的证明 3. 集合列的极限 4. 集合论悖论与集合论公理 集合恒等式(关于?与?) 等幂律(idempotent laws) A?A=A A?A=A 交换律(commutative laws) A?B=B?A A?B=B?A 集合恒等式(关于?与?、续) 结合律(associative laws) (A?B)?C=A?(B?C) (A?B)?C=A?(B?C) 分配律(distributive laws) A?(B?C)=(A?B)?(A?C) A?(B?C)=(A?B)?(A?C) 集合恒等式(关于?与? 、续) 吸收律(absorption laws) A?(A?B)=A A?(A?B)=A 集合恒等式(关于~) 双重否定律(double complement law) ~~A=A 德●摩根律(DeMorgan’s laws) ~(A?B)=~A?~B ~(A?B)=~A?~B 集合恒等式(关于?与E) 零律(dominance laws) A?E=E A??=? 同一律(identity laws) A??=A A?E=A 集合恒等式(关于?,E) 排中律(excluded middle) A?~A = E 矛盾律(contradiction) A