离散数学 集合证明..ppt

《集合论与图论》第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?~A = ? 全补律 ~? = E ~E = ? 集合恒等式(关于-) 补交转换律(difference as intersection) A-B=A?~B 集合恒等式(推广到集族) 分配律 德●摩根律 对偶(dual)原理 对偶式(dual): 一个集合关系式, 如果只含有?, ?,~,?, E,=, ?, 那么, 同时把?与?互换, 把?与E互换, 把?与?互换, 得到的式子称为原式的对偶式. 对偶原理: 对偶式同真假. 或者说, 集合恒等式的对偶式还是恒等式. 对偶原理(举例) 分配律 A ? (B ? C) = (A ? B ) ? (A ? C ) A ? (B ? C) = (A ? B ) ? (A ? C ) 排中律 A ? ~A=E 矛盾律 A ? ~A= ? 对偶原理(举例、续) 零律 A ? E =E A ? ? = ? 同一律 A ? ? =A A ? E=A 对偶原理(举例、续) A ? B ? A A ? B ? A ? ? A E ? A 集合恒等式证明(方法) 逻辑演算法: 利用逻辑等值式和推理规则 集合演算法: 利用集合恒等式和已知结论 逻辑演算法(格式) 题目: A=B. 证明: ?x, x?A ? … (????) ? x?B ? A=B. # 题目: A?B. 证明: ?x, x?A ? … (????) ? x?B ? A?B. # 分配律(证明) A?(B?C)=(A?B)?(A?C) 证明: ?x, x?A?(B?C) ? x?A ? x?(B?C) (?定义) ? x?A ? (x?B ? x?C) (?定义) ? (x?A?x?B)?(x?A?x?C) (命题逻辑分配律) ? (x?A?B)?(x?A?C) (?定义) ? x?(A?B)?(A?C) (?定义) ? A?(B?C)=(A?B)?(A?C) 零律(证明) A?? = ? 证明: ?x, x?A?? ? x?A ? x?? (?定义) ? x?A ? 0 (?定义) ? 0 (命题逻辑零律) ? A?? = ? 排中律(证明) A?~A = E 证明: ?x, x?A?~A ? x?A ? x?~A (?定义) ? x?A ? x?A (~定义) ? x?A ? ?x?A (?定义) ? 1 (命题逻辑排中律) ? A?~A