WIe zeigt man A\B ⊂ A?

Question

Halllo,
ich komm dabei irgendwie nicht weiter:
x ∈ (A\B) ⇔

x ∈ A ∧ ¬(x ∈ B) ⇔

Wie bekommt man da das B weiter weg?

Comments

Tipp: A \ B = A ∩ B^c und die Aussage [ (A ∧ ¬B) → A ] ist eine Tautologie.

Answer 1

x ∈ (A\B) ⇔ x ∈ A ∧ ¬(x ∈ B) ⇒ x ∈ A.

Veilleicht bist du deshalb nicht weitergekommen, weil du davon ausgegangen bist, dass du ein ⇔ brauchst.

Comments

Danke das hat mir sehr geholfen!