. Kenia: Udowodnij prawo: A∪(B/C) = (A∪B)?(C/A) A,B,C zbiory

PW: Różnicę mnogościową zbiorów zapisuje się jako A\B Pierwszy raz widzę "prawo" ze znakiem zapytania.

Basia: x∊A∪(B/C) ⇔ x∊A ∨ x∊(B/C) ⇔ x∊A ∨ (x∊B ∧ x∉C) ⇔ (x∊A ∨ x∊B) ∧ (x∊A ∨ x∉C) ⇔ x∊(A∪B) ∧ ~(x∉A ∧ x∊C) ⇔ x∊(A∪B) ∧ ~x∊(C/A) ⇔ x∊(A∪B) ∧ x∉(C/A) ⇔ x∊(A∪B)/(C/A)

Basia: masz rację PW A\B chyba już przysypiam. ale poza tym chyba o to chodziło