离散数学-集合证明..pptx

2024/8/26《集合论与图论》第4讲1第4讲集合恒等式内容提要1.集合恒等式与对偶原理2.集合恒等式的证明3.集合列的极限4.集合论悖论与集合论公理离散数学-集合证明.全文共63页，当前为第1页。

2024/8/26《集合论与图论》第4讲2集合恒等式(关于?与?)等幂律(idempotentlaws)A?A=AA?A=A交换律(commutativelaws)A?B=B?AA?B=B?A离散数学-集合证明.全文共63页，当前为第2页。

2024/8/26《集合论与图论》第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)离散数学-集合证明.全文共63页，当前为第3页。

2024/8/26《集合论与图论》第4讲4集合恒等式(关于?与?、续)吸收律(absorptionlaws)A?(A?B)=AA?(A?B)=A离散数学-集合证明.全文共63页，当前为第4页。

2024/8/26《集合论与图论》第4讲5集合恒等式(关于~)双重否定律(doublecomplementlaw)~~A=A德●摩根律(DeMorgan’slaws)~(A?B)=~A?~B~(A?B)=~A?~B离散数学-集合证明.全文共63页，当前为第5页。

2024/8/26《集合论与图论》第4讲6集合恒等式(关于?与E)零律(dominancelaws)A?E=EA??=?同一律(identitylaws)A??=AA?E=A离散数学-集合证明.全文共63页，当前为第6页。

2024/8/26《集合论与图论》第4讲7集合恒等式(关于?,E)排中律(excludedmiddle)A?~A=E矛盾律(contradiction)A?~A=?全补律~?=E~E=?离散数学-集合证明.全文共63页，当前为第7页。

2024/8/26《集合论与图论》第4讲8集合恒等式(关于-)补交转换律(differenceasintersection)A-B=A?~B离散数学-集合证明.全文共63页，当前为第8页。

2024/8/26《集合论与图论》第4讲9集合恒等式(推广到集族)分配律德●摩根律离散数学-集合证明.全文共63页，当前为第9页。

2024/8/26《集合论与图论》第4讲10对偶(dual)原理对偶式(dual):一个集合关系式,如果只含有?,?,~,?,E,=,?,那么,同时把?与?互换,把?与E互换,把?与?互换,得到的式子称为原式的对偶式.对偶原理:对偶式同真假.或者说,集合恒等式的对偶式还是恒等式.离散数学-集合证明.全文共63页，当前为第10页。

2024/8/26《集合论与图论》第4讲11对偶原理(举例)分配律A?(B?C)=(A?B)?(A?C)A?(B?C)=(A?B)?(A?C)排中律A?~A=E矛盾律A?~A=?离散数学-集合证明.全文共63页，当前为第11页。

2024/8/26《集合论与图论》第4讲12对偶原理(举例、续)零律A?E=EA??=?同一律A??=AA?E=A离散数学-集合证明.全文共63页，当前为第12页。

2024/8/26《集合论与图论》第4讲13对偶原理(举例、续)A?B?AA?B?A??AE?A离散数学-集合证明.全文共63页，当前为第13页。

2024/8/26《集合论与图论》第4讲14集合恒等式证明(方法)逻辑演算法:利用逻辑等值式和推理规则集合演算法:利用集合恒等式和已知结论离散数学-集合证明.全文共63页，当前为第14页。

2024/8/26《集合论与图论》第4讲15逻辑演算法(格式)题目:A=B.证明:?x,x?A?…(????)?x?B?A=B.#题目:A?B.证明:?x,x?A?…(????)?x?B?A?B.#离散数学-集合证明.全文共63页，当前为第15页。

2024/8/26《集合论与图论》第4讲16分配律(证明)A?(B?C)=(A?B)?(A?C)