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

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 矛盾