离散数学 集合.pptVIP

离散数学 集合第一页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲2集合恒等式(关于?与?)等幂律(idempotent laws)A?A=AA?A=A交换律(commutative laws)A?B=B?AA?B=B?A第二页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲3集合恒等式(关于?与?、续)结合律(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)第三页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲4集合恒等式(关于?与? 、续)吸收律(absorption laws)A?(A?B)=AA?(A?B)=A第四页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲5集合恒等式(关于~)双重否定律(double complement law)~~A=A德●摩根律(DeMorgan’s laws)~(A?B)=~A?~B~(A?B)=~A?~B第五页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲6集合恒等式(关于?与E)零律(dominance laws)A?E=EA??=?同一律(identity laws)A??=AA?E=A第六页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲7集合恒等式(关于?,E)排中律(excluded middle)A?~A = E矛盾律(contradiction)A?~A = ?全补律~? = E~E = ?第七页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲8集合恒等式(关于-)补交转换律(difference as intersection)A-B=A?~B第八页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲9集合恒等式(推广到集族)分配律德●摩根律第九页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲10对偶(dual)原理对偶式(dual): 一个集合关系式, 如果只含有?, ?,~,?, E,=, ?, 那么, 同时把?与?互换, 把?与E互换, 把?与?互换, 得到的式子称为原式的对偶式. 对偶原理: 对偶式同真假. 或者说, 集合恒等式的对偶式还是恒等式.第十页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲11对偶原理(举例)分配律A ? (B ? C) = (A ? B ) ? (A ? C )A ? (B ? C) = (A ? B ) ? (A ? C )排中律A ? ~A=E矛盾律A ? ~A= ?第十一页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲12对偶原理(举例、续)零律A ? E =EA ? ? = ?同一律A ? ? =AA ? E=A第十二页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲13对偶原理(举例、续) A ? B ? AA ? B ? A ? ? AE ? A第十三页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲14集合恒等式证明(方法)逻辑演算法: 利用逻辑等值式和推理规则集合演算法: 利用集合恒等式和已知结论第十四页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲15逻辑演算法(格式)题目: A=B. 证明: ?x, x?A ? … (????) ? x?B ? A=B. #题目: A?B. 证明: ?x, x?A ? … (????) ? x?B ? A?B. #第十五页，共六十二页，2022年，8月28日 2023/8/3《集合论与图论》第4讲16分配律(证明)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?