3-2-集合的基本概念与运算-离散数学-教学课件.ppt
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《3-2-集合的基本概念与运算-离散数学-教学课件.ppt》由会员分享,可在线阅读,更多相关《3-2-集合的基本概念与运算-离散数学-教学课件.ppt(23页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第3章 集合的基本概念和运算3.1 集合的基本概念3.2 集合的基本运算3.3 集合中元素的计数例题n分别对条件(1)到(5),确定 X 集合与下述那些集合相等。S1=1,2,3,4,5,6,7 8,9,S2=2,4,6,8,S3=1,3,5,7,9,S4=3,4,5,S5=3,5 若若 X S1,X S3=,则则 X 若若 X S4,X S2=,则则 X 若若 X S1,X S3,则则 X 若若 X S3=,则则 X 若若 X S3,X S1,则则 X=S2=S5=S1,S2,S4=S3,S5不存在不存在集合包含或相等的证明方法n证明证明 X Yn命题演算法命题演算法n包含传递法包含传递法n
2、等价条件法等价条件法n反证法反证法n并交运算法并交运算法n证明证明 X=Yn命题演算法命题演算法n等式代入法等式代入法n反证法反证法n运算法运算法以上的以上的 X,Y 代表集合公式代表集合公式任取任取 x,x X x Y命题演算法证 X Yn证证:(1)A B P(A)P(B)任取任取x,x P(A)x A x B x P(B)(2)P(A)P(B)A B 任取任取x x A x A x P(A)x P(B)x B x B 例例1 证明证明 A B P(A)P(B)X Yx(x Xx Y)利用包含的等价条件证 X Y(1)证证 (A B)C=C A C A C=C B C B C=C (A B
3、)C =A (B C)=A C=C(A B)C=C A B C(2)证证 (A B)C=A B A C A C=A B C B C=B (A B)C =(A C)(B C)=A B(A B)C=A BA B C例例3 A C B C A B C 反证法证 X Y欲证欲证X Y,假设命题不成立,必存在假设命题不成立,必存在 x 使得使得 x X 且且 x Y.然后推出矛盾然后推出矛盾.例例4 证明证明 A C B C A B C证证 假设假设 A B C 不成立,则不成立,则 A B C x(x A B x C)x(x A x B)x C)x(x A x C)(x B x C)x(x A x C
4、)x(x B x C)A C B C (与前提矛盾)(与前提矛盾)Q P P Q A B x(x A x B)利用已知包含式并交运算证 X Y例例5 证明证明 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 X Z Y Z,X Z Y Z A B,C D (A C)(B D)等式替换证明X=Y例例7 证明证明A(A B)=A(吸收律)(
5、吸收律)证证 (假设假设分配律、同一律、零律分配律、同一律、零律成立成立)A(A B)=(A E)(A B)同一律同一律 =A(E B)分配律分配律 =A E 零律零律 =A 同一律同一律不断进行代入化简,最终得到两边相等不断进行代入化简,最终得到两边相等反证法证明X=Y例例8 证明证明 A B=A A B=证证:假设假设 A B,即即 x A B x(x A x B)A B 所以,所以,A BA 从而与从而与 A B=A 矛盾矛盾.假设假设 X=Y 不成立,则存在不成立,则存在 x 使得使得 x X且且x Y,或者,或者存在存在 x 使得使得 x Y且且x X,然后推出矛,然后推出矛盾盾.A
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 集合 基本概念 运算 离散数学 教学 课件
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内