dowód roma: Udowodnić. A\(B\A)=A

Mateusz: Skorzystaj z definicji różnicy zbiorów i rozpisz co do jakiego zbioru i kiedy należy i nienależy dowod widac juz nawet gołym okiem

roma: x∊A ⋀ x∉(B\A)⇔x∊A ∧ ∼(x∊B ⋀ x∉A) ⇔ x∊A ⋀ (x∉B ⋁ x∊A)⇔(x∊A ⋀ x∉B) v x∊A

roma: chyba coś nie tak

Basia: dlaczego ? wszystko dobrze tylko trzeba skończyć ⇔ x∊(A\B)∪A = A

roma: ok dziękuję