离散数学集合的基本概念和运算.ppt

3.1.命题演算法证 X?Y 任取 x ， x?X ? … ?x?Y 证明：A?B ? P(A)?P(B) 任取x x?P(A) ? x?A ? x?B ? x?P(B) 任取x x?A ? {x}?A ? {x}?P(A) ? {x}?P(B) ? {x}?B ? x?B 3.2.包含传递法证 X?Y 找到集合T 满足 X?T 且 T?Y，从而有X?Y。 例4 A?B ? A?B 证 A?B ? A A ? A?B 所以 A?B ? A?B 3.3.利用包含的等价条件证 X?Y 例5 A?C?B?C ? A?B?C 证 A?C ? A?C=C B?C ? B?C=C (A?B)?C=A?(B?C)=A?C=C (A?B)?C=C ? A?B?C 命题得证 3.4.反证法证 X?Y 欲证X?Y, 假设命题不成立，必存在 x 使得 x?X 且 x?Y. 然后推出矛盾. 例6 证明 A?C ? B?C ? A?B?C 证 假设 A?B ? C 不成立， 则 ?x (x?A?B?x?C) 因此 x?A 或 x?B，且 x?C 若 x?A, 则与 A?C 矛盾； 若 x?B, 则与 B?C 矛盾. 3.5.利用已知包含式并交运算 由已知包含式通过运算产生新的包含式 X?Y ? X?Z?Y?Z, X?Z?Y?Z 例7 证明 A?C?B?C ? A?C?B?C ? A?B 证 A?C?B?C， A?C ? B?C 上式两边求并，得 (A?C)?(A?C) ? (B?C)?(B?C) ? (A?C)?(A??C) ? (B?C)?(B??C) ? A?(C??C) ? B?(C??C) ? A?E ? B?E ? A ? B 四、集合相等的证明方法 证明 X=Y 命题演算法 等式代入法 反证法 运算法 例8 证明 A?(A?B)=A （吸收律） 证 任取x, x?A?(A?B) ? x?A? x?A?B ? x?A ? (x?A ? x?B) ? x?A 4.1 命题演算法证明X=Y 任取 x ， x?X ? … ?x?Y x?Y ? … ?x?X 或者 x?X ? … ? x?Y 4.2.等式替换证明X=Y 例9 证明A?(A?B)=A （吸收律） 证 (假设交换律、分配律、同一律、零律成立) A?(A?B) =(A?E)?(A?B) 同一律 =A?(E?B) 分配律 =A?(B?E) 交换律 =A?E 零律 =A 同一律 不断进行代入化简，最终得到两边相等 3.2集合的基本运算 4.3.反证法证明X=Y 例10 证明以下等价条件 A?B ? A?B=B ? A?B=A ? A?B=?  (1) (2) (3) (4) 证明顺序： (1) ?(2), (2) ?(3), (3) ?(4), (4) ?(1) 假设 X=Y 不成立，则存在 x 使得 x?X且x?Y，或者存在 x 使得 x?Y且x?X，然后推出矛盾. (1) ?(2) 显然B?A?B，下面证明A?B?B. 任取x， x?A?B ? x?A?x?B ? x?B?x?B ? x?B 因此有A?B?B. 综合上述（2）得证. (2) ?(3) A=A?(A?B) ? A=A?B （将A?B用B代入) 3.2集合的基本运算 (3) ?(4) 假设A?B??, 即?x?A?B，那么x?A且x?B. 而 x?B ? x?A?B. 从而与A?B=A矛盾. (4) ?(1) 假设A?B不成立，那么 ?x (x?A ? x?B) ? x?A?B ? A?B?? 与条件（4）矛盾. 4.4.集合运算法证明X=Y 例11 证明A?C=B?C ? A?C=B?C ? A=B 证 由 A?C=B?C