证明集合关系的方法.pptVIP

集合间的关系 A?B集合的运算定义设A与B为集合,A?B={x|(x?A)?(x?B)}A?B={x|(x?A)?(x?B)},若A?B=?,称它们是不相交的。A-B={x|(x?A)?(x?B)},B对A的相对补集。绝对补集: ~A=E-A={x?x?E?x?A}或 ~A={x?x?A}对称差:A?B=(A-B)?(B-A)=(A?B)-(A?B)实例n个集合的并集和交集A1?A2?…?An={x|(x?A1)?(x?A2)?…?(x?An)}集合运算的主要算律设A,B,C为任意集合,双重否定律 ~(~A)=A幂等律 A?A=A，A?A=A交换律 A?B=B?A，A?B=B?A结合律 (A?B)?C=A?(B?C)， (A?B)?C=A?(B?C)分配律 A?(B?C)=(A?B)?(A?C)， A?(B?C)=(A?B)?(A?C)集合运算的主要算律6.吸收律 A?(A?B)=A，A?(A?B)=A7.德·摩根律 A-(B?C)=(A-B)?(A-C) A-(B?C)=(A-B)?(A-C) ~(A?B)=~A?~B，~(A?B)=~A?~B ~E=?，~?=E8.同一律 A?E=A，A??=A9.零律 A??=?，A?E=E10.排中律 A?~A=E11.矛盾律 A?~A=?证明集合恒等式的方法根据定义进行证明 证明用到谓词逻辑的等值式及推理规则。 如，A-B=A?~B利用已有的集合恒等式证明新的恒等式——恒等演算。 如下例。恒等演算求证：A?(A?B)=A证明： A?(A?B)=(A??)?(A?B)=A?(??B)=A??=A证明集合关系的方法求证A?B证明： 对任意x, x?A?………?x?B所以A?B集合运算性质(一)A?B?A，A?B?BA?A?B，B?A?BA-B?AA-B=A?~B(A-B)?B=A?B，(A?B)-B=A-B若A?B和C?D,则A?C?B?D,A?C?B?DA?B=B?A?B?A?B=A?A-B=?实例(方法2)求证：(A-B)?B=A?B证明：(A-B)?B=集合运算性质(二)A?B=B?A(A?B)?C=A?(B?C)A?B=(A-B)?(B-A)=(A?B)?(~A?~B)A?A=A??=~A?~B=A?BA?(B?C)=(A?B)?(A?C) 这些可用恒等演算法证明。实例(方法2)化简：((A?B?C)?(A?B))-((A?(B-C))?A)解： 原式=实例设A?B，求证~B?~A。证明：方法1：A?B实例已知A?B=A?C，证明B=C证明：A?B=A?C 习题(p96)14(1,3)28(1,2,4)2930作业(习题六)5，6，8(4),14(2)1928(3)45??x(x?A?x?B)A=B?(A?B)?(B?A) ??x(x?A?x?B)x?A??(x?A)?x?~A?={x|x?Ax?B}已知：A={a,b},B={a,c}计算：A?B,A?B,A-B,B-A,A?B解：A?B= A?B=A-B= B-A=A?B={a,b,c}{a}{b}{c}{b,c}A1?A2?…?An={x|(x?A1)?(x?A2)?…?(x?An)}可以把n个集合的并和交简记为：问题：符号“?”与“=”的区别？使用场合？求证：A-(B?C)=(A-B)?(A-C)证明(根据定义)：对任意x,x?A-(B?C)?x?A?x?(B?C)?x?A??x?(B?C)?x?A??(x?B?x?C)?x?A??x?B??x?C?x?A?x?B?x?C?(x?A?x?B)?(x?A?x?C)?(x?A-B)?(x?A-C)?x?(A-B)?(A-C)故A-(B?C)=(A-B)?(A-C)半形式化方法：量词联结词等值式推理规则谓词未符号化说明：恒等演算法更简单。求证A=B证明： 对任意x, x?A?………?x?B所以A=B方法1化简律,附加律方法1方法2(A?~B)?B=(A?B)?(~B?B)=(A?B)?E=A?B也可用定义，即方法1。?A(A?B)(A?B)?A=A-A=B-