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