离散数学集合证明.ppt

关于离散数学集合证明2025/4/16《集合论与图论》第4讲1第1页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲2集合恒等式(关于?与?)等幂律(idempotentlaws)A?A=AA?A=A交换律(commutativelaws)A?B=B?AA?B=B?A第2页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲3集合恒等式(关于?与?、续)结合律(associativelaws)(A?B)?C=A?(B?C)(A?B)?C=A?(B?C)分配律(distributivelaws)A?(B?C)=(A?B)?(A?C)A?(B?C)=(A?B)?(A?C)第3页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲4集合恒等式(关于?与?、续)吸收律(absorptionlaws)A?(A?B)=AA?(A?B)=A第4页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲5集合恒等式(关于~)双重否定律(doublecomplementlaw)~~A=A德●摩根律(DeMorgan’slaws)~(A?B)=~A?~B~(A?B)=~A?~B第5页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲6集合恒等式(关于?与E)零律(dominancelaws)A?E=EA??=?同一律(identitylaws)A??=AA?E=A第6页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲7集合恒等式(关于?,E)排中律(excludedmiddle)A?~A=E矛盾律(contradiction)A?~A=?全补律~?=E~E=?第7页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲8集合恒等式(关于-)补交转换律(differenceasintersection)A-B=A?~B第8页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲9集合恒等式(推广到集族)分配律德●摩根律第9页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲10对偶(dual)原理对偶式(dual):一个集合关系式,如果只含有?,?,~,?,E,=,?,那么,同时把?与?互换,把?与E互换,把?与?互换,得到的式子称为原式的对偶式.对偶原理:对偶式同真假.或者说,集合恒等式的对偶式还是恒等式.第10页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲11对偶原理(举例)分配律A?(B?C)=(A?B)?(A?C)A?(B?C)=(A?B)?(A?C)排中律A?~A=E矛盾律A?~A=?第11页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲12对偶原理(举例、续)零律A?E=EA??=?同一律A??=AA?E=A第12页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲13对偶原理(举例、续)A?B?AA?B?A??AE?A第13页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲14集合恒等式证明(方法)逻辑演算法:利用逻辑等值式和推理规则集合演算法:利用集合恒等式和已知结论第14页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲15逻辑演算法(格式)题目:A=B.证明:?x,x?A?…(????)?x?B?A=B.#题目:A?B.证明:?x,x?A?…(????)?x?B?A?B.#第15页，共63页，星期日，2025年，2月5日

2025/4/16《集合论与图论》第4讲16分配律(证明)A?(B?C)=(A?B)?(A?C)证明:?x,x?A?(B?C)?x?A?x?(B?C)(?定义)?x?A?(x?B