Udowodnij, że zachodzi rowność ... = ( A \ B ) \ C Lukashem: Udowodnij, że zachodzi równość A \ ( B ∪ C) = (A \ B ) \ C x ∊ A \ (B ∪ C) ⇔ x ∊ A ∧ x ∉ (x ∊ B ∨ x ∊ C) ⇔ x ∊ A ∧ ¬(x ∊ B ∨ x ∉ C) ⇔ ⇔ x ∊ A ⋀ (x ∉ B ∧ x ∉ C) ⇔ (x ∊ A ∧ x ∉ B) ∧ (x ∊ A ∧ x ∉ C) ⇔ ⇔ (A\B) ∩ (A\C) ⇔ (A \ B) \ C Czy to dobrze jest zrobione ? , jeśli nie to proszę o podpowiedź.

Godzio: Końcówka coś naciągana chyba Powinno być coś takiego na końcu: x ∊ (A \ B) ∧ x ∉ C ⇔ (x ∊ A ∧ x ∉ B) ∧ x ∉ C Nie sądzisz ? Początek trochę źle zapisany: x ∊ A ∧ x ∉ A U B ⇔ x ∊ A ∧¬ (x ∊ A ∨ x ∊ B)