Zbiory Zbyszek: Udowodnij podane równości: 1. (A\B)∪(B\A) = (A∪B)∩(A∩B)' 2. (A∩B)∪(A'∩B') = B 3. (A\B)∩C = (A∩C)\B 4. A\B = A\(A∩B) 5. (A\B)' = A'∪(A∩B) 6. (A\B)∩B = ∅

Artur_z_miasta_Neptuna: studia czy liceum

Zbyszek: studia

Artur_z_miasta_Neptuna: 6. ∀_x (x∊(A\B) ⇒ x∉B) ⇔ x∉((A\B)∩B)

Artur_z_miasta_Neptuna: 5. ∀_x (x∊(A\B) ⇒ x∊A⋀x∉B czyli (A\B)' ⇔ x∊A' ∨ x∊(A∩B)

Artur_z_miasta_Neptuna: 4. zobacz jak zdefiniowany jest zbiór A\B

Zbyszek: x∊A⋀x∉B

Artur_z_miasta_Neptuna: czyli A\(A∩B) ... x∊A ⋀ x∉(A∩B)

Zbyszek: Niestety ode mnie wymagają, bardziej szczegółowego rozpisania tych równości.