Lösung von Zusatzaufgabe 3.3 P (SoSe 13)

Es seine A und B zwei Punktmengen. Was müssen Sie konkret zeigen, wenn Sie beweisen wollen, dass A = B ?

• Da A = B, A ⇔ B entspricht, muss die Aquivalenzrelation mittels Wahrheitstabelle bewiesen werden.--Nolessonlearned 17:23, 13. Mai 2013 (CEST)
  
• Und wie muss eine solche Wahrheitstabelle aussehen?--Tutorin Anne 21:40, 13. Mai 2013 (CEST)
  

A	B	A = B	A ⇔ B
W	W	W	W
W	F	F	F
F	W	F	F
F	F	W	W

--Nolessonlearned 08:47, 14. Mai 2013 (CEST)

Ich muss sagen, hier bin ich gerade überfragt. Ich weiß nicht, ob es in der Aussagenlogik die Aussage A=B gibt. Ich frage mal nach.
Herr Spannagel half mir:
Definition Mengengleichheit: $A = B : \Leftrightarrow \forall x\in A \Leftrightarrow x\in B$
Wie kann ich dies nun zeigen? (Das geht nicht mit einer Wahrheitstabelle.)--Tutorin Anne 10:57, 23. Mai 2013 (CEST)