Prädikatenlogik/Erfüllbarkeit/Beispiel/2/Aufgabe

Zeige, dass der prädikatenlogische Ausdruck

$\mathrm{\exists }x\mathrm{\exists }y(\mathrm{\neg }(x=y)\wedge \mathrm{\forall }z((z=x)\vee (z=y)))$

erfüllbar ist.

Zur Lösung, Alternative Lösung erstellen