基本的集合恒等式.pptVIP

1.4 基本的集合恒等式;(1)幂等律(idempotent laws): A∪A=A； A∩A=A (2)交换律(commutative laws): A∪B=B∪A；A∩B=B∩A (3)结合律(associative laws): (A∪B)∪C=A∪(B∪C) ； (A∩B)∩C=A∩(B∩C);(4)分配律(distributive laws): A∪(B∩C)= (A∪B)∩(A∪C)； A∩(B∪C)= (A∩B)∪(A∩C) (5)德?摩根律(De Morgan’s laws) 绝对形式：?(A ∪ B) = ? A ∩ ? B ?(A ∩ B) = ? A ∪ ? B 相对形式： A – (B∪C) = (A – B) ∩ (A – C) A – (B∩C) = (A – B)∪(A – C);(6)吸收律(absorption laws) A ∪(A∩B) = A A ∩(A∪B) = A (7)零律(dominance laws) A∪E = E, A∩Ф=Ф (8)同一律(identity laws) A∪Ф=A, A∩E=A ;(9)排中律(excluded middle) A ∪ ? A = E (10)矛盾律(contradiction) A ∩ ? A = Ф (11)余补律 ? Ф = E; ? E = Ф; (12)双重否定律(double complement law) ?(?A) = A (13)补交转换律(difference as intersection) A – B = A ∩ ?B ;集合恒等式（推广到集族）;对偶原理(dual principle);对偶原理举例;半形式化证明;逻辑演算法证明(=);例1 证明 A∪(B∩C)=(A∪B)∩(A∪C) 证：?x, A∪(B∩C) ?{x|x∈A?(x∈B?x∈C)} ?{x|(x∈A?x∈B)?(x∈A?x∈C)} (命题逻辑分配律) ?{x|x∈(A∪B)? (x∈A∪C)} ? (A∪B)∩(A∪C) ∴A∪(B∩C)=(A∪B)∩(A∪C) #;例2 证明A∩(B∩C)=(A∩B)∩C 证：?x, (A∩B)∩C ?{x|x∈A?x∈B?x∈C} ?{x|x∈A ?(x∈B? x∈C)} ?{x|x∈A ? x∈B∩C)} ? A∩(B∩C) ∴ A∩(B∩C)=(A∩B)∩C #;集合演算法证明;例4 证明吸收律 A∪(A∩B) = A A ∩(A∪B) = A 证明： A∪(A∩B) = (A∩E)∪(A∩B) （同一律） = A∩(E∪B) （分配律） = A∩E （零律） = A （同一律） ∴ A∪(A∩B) = A ;证明: A∩(A∪B) = (A∩A)∪(A∩B) (等幂律) = A∪(A∩B) (分配律) = A (吸收律第一式) ∴A∩(A∪B) = A #;例5 证明德.摩根律的相对形式 A – (B∪C) = (A – B) ∩ (A – C) A – (B∩C) = (A – B)∪(A – C) 证明： A – (B∪C) = A ∩~(B∪C) (补交转换律) = A∩ (~B ∩~ C) (德●摩根律) = (A∩A)∩(~B ∩~ C) (幂等律) =(A∩~B) ∩(A∩~ C) (交换律,结合律) = (A-B)∩(A-C) (补交转换律). #;对称差的性质 集族的性质 幂集的性质;证明对称差运算的性质 交换律：A ? B = B ? A 结合律：(A ? B) ? C = A ? (B ? C) 分配律：A ∩(B ? C) = (A∩B) ? (A∩C) A ? Φ= A，A ? E= ~A A ? A = Φ， A ? ~A = E;集合演算法证明;对称差结合律的证明; A⊕(B⊕C) = (A∩~(B⊕C))∪(~A∩(B⊕C)) = (A∩~((B∩~C)∪(~B∩C))) ∪ (~A∩((B∩~C) ∪ (~B∩C))) = (A∩(~(B∩~C)∩ ~(~B∩C))) ∪(~A∩((B∩~C) ∪(~B∩C))) (德?摩根律) = (A∩(~(B∩~C)∩ ~(~B∩C))) ∪ (~A∩((B∩~C)∪(~B∩C)));= (A∩(~B∪C)∩(B∪~C))) ∪ (~A∩((B∩~C)∪(~B∩C))) (德?摩根律) = (A∩B∩C)∪(A∩~B∩~C) ∪(~A∩B∩~C)∪(~A∩~B∩C) (分配律);