计算机问题求解-2012-11-20-集合与其运算.pptVIP

计算机问题求解 – 论题1-8 - 集合及其运算 2012年11月20日 关于集合相等 集合“完全由其包含的元素所确定”。 因此：两个集合相等，就是“两个集合所包含的元素完全一样”。 完全一样如何以严格的数学方式表述？ 与集合包含的关系 对任意集合A, B, A=B iff. A?B, 且 B?A 基本证明方式（1） 直接使用集合包含或相等定义 例1：A?B=B ? A?B 例2：A?B ? A?B=A 例1，待证结论： A?B 即：对任何x, x?A ? x?B 因此：证明过程如下： 对任何x, 假设x?A 填入适当内容 ?x ?B 因此： A?B 因此：证明过程如下： 对任何x, 假设x?A 由集合并定义：x?A?B 由已知条件： A?B=B ?x ?B 因此： A?B 基本证明方式（2） 利用运算定义作逻辑等值式推演 例：A-(B?C) = (A-B) ? (A-C) A-(B?C)={x|x?A, but x?B?C} ={x| x?A, but (x?B and x?C)} ={x|(x?A, but x?B) and (x?A, but x?C)} = (A-B) ? (A