- 1、本文档共41页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学章 6
* * * * * * * * * * * * * * * * * * * 练习3 3. 判断以下命题的真假,并说明理由. (1)A?B = A ? B=? (2)A?(B?C) = (A?B)?(A?C) (3)A?A = A (4)如果A?B = B,则A = E. (5)A = {x}?x,则 x?A且x ? A. * 解题思路 先将等式化简或恒等变形. 查找集合运算的相关的算律,如果与算律相符,结果为真. 注意以下两个重要的充要条件 A?B = A ? A?B = ? A?B = ? ? A?B ? A?B = B ? A?B = A 如果与条件相符,则命题为真. 如果不符合算律,也不符合上述条件,可以用文氏图表示集合,看看命题是否成立.如果成立,再给出证明. 试着举出反例,证明命题为假. * 解答 解 (1) B=?是A?B=A的充分条件,但不是必要条件. 当B不空但 是与A不交时也有A?B=A. (2) 这是DM律,命题为真. (3) 不符合算律,反例如下: A={1},A?A=?,但是A??. (4) 命题不为真. A?B=B的充分必要条件是 B?A,不是A=E. (5) 命题为真,因为 x 既是 A 的元素,也是 A 的子集 * 练习4 4.证明 A?B = A?C ? A?B = A?C ? B = C 解题思路 分析命题:含有3个命题: A?B = A?C , A?B = A?C, B = C ① ② ③ 证明要求 前提:命题①与② 结论:命题③ 证明方法: 恒等式代入 反证法 利用已知等式通过运算得到新的等式 * 解答 证明 A?B = A?C ? A?B = A?C ? B = C 方法一:恒等变形法 B = B?(B?A) = B?(A?B) = B?(A?C) = (B?A)?(B?C) = (A?C)?(B?C) = (A?B)?C = (A?C)?C = C 方法二:反证法. 假设 B ? C,则存在 x (x?B且x?C), 或存在 x (x?C且x?B). 不妨设为前者. 若x属于A,则x属于A?B 但x不属于A?C,与已知矛盾; 若x不属于A,则x属于A?B但x不属于A?C,也与已知矛盾. * 解答 方法三:利用已知等式通过运算得到新的等式. 由已知等式①与②可以得到 (A?B)? (A?B) = (A?C)? (A?C) 即 A?B = A?C 从而有 A?(A?B) =A?(A?C) 根据结合律得 (A?A)?B = (A?A) ?C 由于A?A = ?, 化简上式得B = C. * 练习5 5.设A,B为集合,试确定下列各式成立的充分必要条件: (1) A?B=B (2) A?B=B?A (3) A?B=A?B (4) A?B=A * 分析 解题思路: 求解集合等式成立的充分必要条件可能用到集合的算律、不同集合之间的包含关系、以及文氏图等. 具体求解过程说明如下: (1) 化简给定的集合等式 (2) 求解方法如下: 利用已知的算律或者充分必要条件进行判断 先求必要条件,然后验证充分性 利用文氏图的直观性找出相关的条件,再利用集合论的证明方法加以验证 * 解答 解 (1) A?B=B ? A=B=?. 求解过程如下: 由A?B=B得 (A??B)?B = B?B 化简得B=?. 再将这个结果代入原来的等式得A= ?. 从 而得到必要条件A=B=?. 再验证充分性. 如果A=B=?成立,则A?B=?=B也成立. (2) A?B=B?A ? A=B. 求解过程如下: 充分性是显然的,下面验证必要性. 由A?B=B?A得 (A?B)?A=(B?A)?A 从而有A=A?B, 即B?A. 同理可证A?B. * 解答 (3) A?B=A?B ? A=B. 求解过程如下: 充分性是显然的,下面验证必要性. 由A?B=A?
文档评论(0)