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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass der prädikatenlogische Ausdruck

erfüllbar

ist.
Eine Lösung erstellen