集合恒等式(关于②E) 排中律( excluded middle) A∪~A=E 矛盾律( contradiction) AOA=o 全补律 E=O 《集合论与图论》第4讲《集合论与图论》第4讲 7 集合恒等式(关于∅,E) 排中律(excluded middle) A∪~A = E 矛盾律(contradiction) A∩~A = ∅ 全补律 ~∅ = E ~E = ∅