Udowodnij Kamil: Udowodnij: (A∪B)\A = B\(A∩B)

Pytający: (A∪B)\A=(A∪B)∩(A')=(A∩(A'))∪(B∩(A'))=∅∪(B∩(A'))=(B∩(B'))∪(B∩(A'))=B∩(A'∪B')=B∩((A∩B)')= =B\(A∩B)

Blee: albo: x ∊ (AuB)\A ⇔ (x∊A ∨ x∊B) ∧ x∉A ⇔ x∊B ∧ x∉A ⇔ x∊ B\(A∩B)

Kamil: Dziękuję Blee twojego sposobu raczej nie znam za dobrze, a sposób Pytającego jest całkiem przystępny tylko samemu nie potrafię aż tak tego rozkładać itd Poćwiczę to się nauczę