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

Zeige, dass der prädikatenlogische Ausdruck

erfüllbar ist.