Zbiory Machine: Czy dla dowolnych zbiorów zachodzi zależność. A\(B\A)=A

Basia: x∊A\(B\A) ⇔ x∊A ∧ x∉B\A ⇔ x∊A ∧ ~(x∊B\A) ⇔ x∊A ∧ ~(x∊B ∧ x∉A) ⇔ x∊A ∧ ( x∉B ∨ x∊A) ⇔ (x∊A ∧ x∉B) ∨ (x∊A ∧ x∊A) ⇔ x∊(A\B) ∨ x∊A ⇔ x∊(A\B)∪A ⇔ x∊A stąd wynika, że A\(B\A) = A

Machine: Dziękuję