Zbiory MK: Wykazać prawdziwość równości: (A\B)∩B = ∅ no to mamy L: x∊A ⋀ x∉B ∩B Nie wiem czy w dobra stronę idę ale mamy tu koniunkcje która daje nam 0 czyli zbiór pusty czyli rownosc jest prawdziwa?

wredulus_pospolitus: zacznijmy od tego, że: x∊(A\B) ⇔ x∊A ∧ x∉B x∊(AnB) ⇔ x∊A ∧ x∊B a więc: x∊( (A\B)nB ) ⇔ (x∊A ∧ x∉B) ∧ x∊B ⇔ x∊A ∧ (x∉B ∧ x∊B) ⇔ x∊A ∧ x∊∅ ⇔ x∊∅

MK: Ok teraz widzę jak to powinno się robić bo z podręcznika nie byłem w stanie zrozumieć. Dziękuję