离散数学 集合初步.ppt

例3(续) (2) A?(B?C)=(A?B)?(A?C) (分配律) 证 ?x x?A?(B?C) ? x?A?(x?B? x?C) (并,交的定义) ?(x?A?x?B)?(x?A?x?C) (逻辑演算的分配律) ?x?(A?B)?(A?C) (并,交的定义) (3) A?E=E (零律) 证 ?x x?A?E ? x?A?x?E (并的定义) ? x?A?1 (全集E的定义) ?1 (逻辑演算的零律) ?x?E (全集E的定义) * 例3(续) (4) A?E=A (同一律) 证 ?x x?A?E ? x?A?x?E (交的定义) ? x?A?1 (全集E的定义) ? x?A (逻辑演算的同一律) * 实例 例4 证明 A?(A?B)=A （吸收律） 证 利用例3证明的4条等式证明 A?(A?B) = (A?E)?(A?B) (同一律) = A?(E?B) (分配律) = A?(B?E) (交换律) = A?E (零律) = A (同一律) 对其余的基本集合恒等式不再一一证明, 今后把它们作为已知的集合等式使用. * 实例 例5 证明 (A-B)-C=(A-C)-(B-C) 证 (A-C)-(B-C) = (A ? ~C) ? ~(B ? ~C) (补交转换律) = (A ? ~C) ? (~B ? ~~C) (德摩根律) = (A ? ~C) ? (~B ? C) (双重否定律) = (A ? ~C ? ~B) ?(A ? ~C ? C) (分配律) = (A ? ~C ? ~B) ?(A ? ?) (矛盾律) = A ? ~C ? ~B (零律,同一律) = (A ? ~B) ? ~C (交换律,结合律) = (A – B) – C (补交转换律) * 实例 例6 证明 (A?B)?(A?C)= (B?C) - A 证 (A?B)?(A?C) =((A?B) - (A?C))?((A?C) - (A?B)) =((A?B)?~A?~C)?((A?C)?~A?~B) = (B?~A?~C)?(C?~A?~B) =((B?~C)?(C?~B))?~A =((B-C)?(C-B))?~A = (B?C) - A * 实例 例7 设A,B为任意集合, 证明: (1) A?A?B 证 ?x x?A ? x?A?x?B (附加律) ? x?A?B (2) A?B?A 证 ?x x?A?B ? x?A?x?B ? x?A (化简律) * 实例(续) (3) A-B?A 证 ?x x?A-B ? x?A?x?B ? x?A (化简律) (4) 若A?B, 则P(A)?P(B) 证 ?x x?P(A) ? x?A ? x?B (已知A?B) ? x?P(B) * 实例 例8 证明 A?B=A?B-A?B. 证 A?B=(A?~B)?(~A?B) =(A?~A)?