Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Formalisierung
Hallo alle zusammen ,
in der Probe Klausur gab es eine Aufgabe 2 über Formalisierung .
ich versuch die Aufgabe zu lösen , aber bekomm ganz andere Lösungen , wie die in der Lösung haben …
die Aussage ist : jede Menge ist durch ihre Elemente eindeutig bestimmt .
[color=crimson]∀X.Y.(¬(X=Y) → ∃x((xϵX /\ ¬xϵY) / (¬xϵX /\ xϵY)))
[/color]
das ist die Lösung von der anderen .
kann jemand mir sagen , ob das stimmt , und wie kommt man drauf …
ich freue mich auf irgendeine Hilfe …
vielen Dank im Voraus .
Wenn jede Menge durch ihre Elemente eindeutig bestimmt ist und ich zwei Mengen betrachte, dann sind diese entweder gleich oder es gibt mindestens ein Element, das nicht in beiden Mengen enthalten ist.
Genau das sagt die formale Darstellung: Für jedes Paar von Mengen gilt: Wenn die beiden Mengen nicht gleich sind, so existiert ein Element, das in X aber nicht in Y oder in Y aber nicht in X ist.