Przeprowadź dowód formalny
Konrad: Przeprowadź dowód formalny:
(A∩C)\(A∩B)=A∩(C\B)
Próbowałem to już zrobić, lecz nie jestem do końca pewny czy tak ma to wyglądać:
x∊(A∩C)\(A∩B)⇔x∊(A∩C) ∧ x∉(A∩B)
⇔x∊A ∧ x∊C ∧ (x∉A ∧ x∉B)
⇔x∊A ∧ x∊C ∧ ~(x∊A ∧ x∊B) − prawo de Morgana
⇔x∊A ∧ x∊C ∧ (x∊A ∨ x∊B)
⇔x∊A ∧ (x∊C ∧ x∉B)
⇔x∊A∩(C/B)
Proszę o sprawdzenie mojego rozwiązania i jeśli konieczne to poprawę i wytłumaczenie
