ko kotek: Dane są zbiory A, B, C. Udowodnij metodą rachunku zdań równość: A \ (B ∪ C) = (A \ B) ∩ (A \ C).

Janek191: x ∊ A \ ( B ∪ C ) ⇔ x ∊ A ∧ x ∉ B ∪ C ⇔ (x ∊ A ∧ x ∉ B ) ∧ (x ∊ A ∧ x ∉ C ) ⇔ ⇔ x ∊ A \ B ∧ x ∊ A \ C ⇔ x ∊ ( A \ B) ∩ ( A \ C)