离散数学习题课-集旱南.pptVIP

习题课 主要内容 集合的两种表示法 集合与元素之间的隶属关系、集合之间的包含关系的区别与联系 特殊集合：空集、全集、幂集 文氏图及有穷集合的计数(包含排斥原理) 集合的, , , , 等运算以及广义, 运算 集合运算的算律及其应用(证明) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题课 熟练掌握集合的两种表示法 能够判别元素是否属于给定的集合 能够判别两个集合之间是否存在包含、相等、真包含关系 熟练掌握集合的基本运算（普通运算和广义运算） 掌握证明集合等式或者包含关系的基本方法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题课 判断下列命题是否为真 (1)  (2)  (3) {} (4) {} (5) { a, b }  { a, b, c, {a, b, c}} (6) { a, b } { a, b, c, {a, b}} (7) { a, b}  { a, b, {{a, b}}} (8) { a, b} { a, b, {{a,b}}} 解 (1)、(3)、(4)、(5)、(6)、(7)为真，其余为假. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题课 (1) 判断元素a与集合A的隶属关系是否成立基本方法： 把 a 作为整体检查它在A中是否出现，注意这里的 a 可能是集合表达式. (2) 判断AB的四种方法 若A,B是用枚举方式定义的，依次检查A的每个元素是否在B中出现. 若A,B是谓词法定义的，且A, B中元素性质分别为P和Q, 那么“若P则Q”意味 AB，“P当且仅当Q”意味Ａ=Ｂ． 通过集合运算判断AB，即AB = B, AB = A, AB = 三个等式中有一个为真. 通过文氏图判断集合的包含（注意这里是判断，而不是证明） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题课 设 S1={1, 2, … , 8, 9}， S2={2, 4, 6, 8} S3={1, 3, 5, 7, 9} S4={3, 4, 5} S5={3, 5} 确定在以下条件下X是否与S1,…,S5中某个集合相等？如果是，又与哪个集合相等？ （1）若 XS5= （2）若 XS4但 XS2= （3）若 XS1且 X ⊈S3 （4）若 XS3= （5）若 XS3 且 X ⊈ S1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 习题课 解 (1) 和S5不交的子集不含有3和5，因此 X=S2. (2) S4的子集只能是S4和S5. 由于与S2不交，不能含有偶数，因此 X=S5. (3) S1, S2, S3, S4和S5都是S1的子集，不包含在S3的子集含有偶数，因此 X=S1, S2或S4. (4) XS3=意味着 X是S3的子集，因此 X=S3或 S5. (5) 由于S3是S1的子集，因此这样的X不存在. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 判断A (BC) = (A  B)(A  C)是否成立 文氏图不等 Evaluation only. Crea