集合恒等式
析取范式与合取范式 集合恒等式
集合算律集合算律1．只涉及一个运算的算律：交换律、结合律、幂等律④U5交换A④B=BOAAUB=BUAAOB=BOA(AUB)UC结合(ANB)NC=(AB)田C=AU(BUC)AN(BNC)=A④(B④C)AUA=AAA=A幂等1
1 集合算律 集合算律 1．只涉及一个运算的算律： 交换律、结合律、幂等律 交换 AB=BA AB=BA AB=BA 结合 (AB)C =A(BC) (AB)C= A(BC) (AB)C =A(BC) 幂等 AA=A AA=A
集合算律BBY(a) (AOB)田CBB(b）AO（BC)2
2 集合算律
集合算律2.涉及两个不同运算的算律：分配律、吸收律n与④U与nAU(BNC)=AN(BOC)分配(AUB)N(AUC)=(ANB)④(ANC)AN(BUC)=(ANB)U(ANC)吸收AU(ANB)=AAN(AUB)=A3
3 2．涉及两个不同运算的算律： 分配律、吸收律 与 与 分配 A(BC)= (AB)(AC) A(BC)= (AB)(AC) A(BC) =(AB)(AC) 吸收 A(AB)=A A(AB)=A 集合算律
集合算律3。涉及补运算的算律：德摩根律，双重否定律德摩根律A-(BUC)=(A-B)n(A-C)~(BUC)=~BN~C~(BnC)=~BU~CA-(BNC)=(A-B)U(A-C)~~A=A双重否定4
4 3．涉及补运算的算律： 德摩根律，双重否定律 − 德摩根律 A−(BC)=(A−B)(A−C) A−(BC)=(A−B)(A−C) (BC)=BC (BC)=BC 双重否定 A=A 集合算律
集合算律4．涉及全集和空集的算律：补元律、零律、同一律、否定律0EAn~A=OAU~A=E补元律、排中律AQ=0零律AUE=E同一律AUO=AANE=A~Q=E~E=Q否定律5
5 4．涉及全集和空集的算律： 补元律、零律、同一律、否定律 E 补元律、排中律 AA= AA=E 零律 A= AE=E 同一律 A=A AE=A 否定律 =E E= 集合算律
集合算律求集合运算的结果1. 00(0)=02. (0]n(0] =[0]3.[0, (0))-0= (0, (0)4.{0, (0]-[0}=((0}]5. [0, (0]-{{0]]=[0]6
1. 2. 3. 4. 5. 求集合运算的结果 集合算律 6
集合证明题证明方法：命题演算法、等式置换法命题演算证明法的书写规范（以下的X和Y代表集合公式）(1) 证XCY任取x,XEX=... =>XEY(2) 证X=Y方法一分别证明XCY和YCX方法二任取X,XEX←...XEY注意在使用方法二的格式时。必须保证每步推理都是充分必要的7
7 集合证明题 证明方法：命题演算法、等式置换法 命题演算证明法的书写规范 (以下的X和Y代表集合公式) (1) 证XY 任取x， xX . xY (2) 证X=Y 方法一 分别证明 XY 和 YX 方法二 任取x，xX . xY 注意：在使用方法二的格式时，必须保证每步推理都是充 分必要的
集合等式的证明方法一：命题演算法例5 证明AU(AB)=A(吸收律）证任取X，XEAU(ANB) XEAVXEANBXEAV(XEAXEB)XEA因此得 AU(ANB) = A.例6 证明A-B=A~B证任取X,XE A-BXEAAXEBXEAΛXE~BXEAO~B因此得A-B=A~B8
8 集合等式的证明 方法一：命题演算法 例5 证明A(AB) = A （吸收律） 证 任取x, xA(AB) xAxAB xA(xAxB) xA 因此得 A(AB) = A. 例6 证明 A−B = AB 证 任取x, x A−B xAxB xAxB xAB 因此得 A−B = AB
等式代入法方法二：等式置换法例7假设交换律、分配律、同一律、零律已经成立，证明吸收律.证AU(ANB)(同一律）= (AnE)U(AnB)(分配律)= An(EUB)(交换律)= AN(BUE)(零律)= ANE= A(同一律)9
9 等式代入法 方法二：等式置换法 例7 假设交换律、分配律、同一律、零律已经成立，证明吸 收律. 证 A(AB) = (AE)(AB) （同一律） = A(EB) （分配律） = A(BE) （交换律） = AE （零律） = A （同一律）