Uzupełnij Żar: Uzupełnij 𝑥 ∉ A′ \ B ⇔ Otoczenie A odjąć B to chyba daje A i otoczenie B. Ale wolę się spytać jak to powinno wyglądać. Przykład 2: 𝑥 ∉ A ∪ B' ⇔

PW: Co za "otoczenie A"? ∼(x∊(A' \ B)) ⇔ ∼((∼x∊A)∧(∼x∊B)) ⇔ ∼(∼(x∊(A∪B)) ⇔ x∊(A∪B)

Żar: Nadal niestety nie rozumiem Czemu zacząłeś od napisania zaprzeczenia? I co się zadziało dalej?

PW: x∉C to to samo co ∼(x∊C)

iteRacj@: Przykład 2: x ∉ A ∪ B' ⇔ ∼(x∊ A ∪ B') ⇔ ∼(x∊A ∨ x∊B') ⇔ ∼(x∊A) ∧ ∼(x∊B') ⇔ x∊A' ∧ x∊B ⇔ ⇔ x∊A'∩B ⇔ x∊B\A