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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass der prädikatenlogische Ausdruck

erfüllbar

ist.
Zur Lösung, Alternative Lösung erstellen