Dowód zbiory Dyzio: Proszę udowodnić, że dla dowolnych zbiorów A, B zachodzi pradziwa nierówność: A \ B = A \ (A ∩ B) x ∊ A i x ∉ B ≡ x ∊ A (i tutaj nie wiem jak dalej rozpisać) Pomógłby mi ktoś to rozpisać? Nie mam żadnego pomysłu.

Dyzio: Ma ktoś pomysł?

jc: Co to jest prawdziwa nierówność? A \ B = A \ (A ∩ B) x ∊ A \ (a∩B) ⇔ x ∊ A i x ∉ A∩B ⇔ x ∊ A i (x ∉A lub x ∉B) ⇔ (x ∊ A i x ∉A) lub (x ∊ A i x ∉B) ⇔ (x ∊ A i x ∉B) ⇔ x ∊ A−B