Prädikatenlogik/Allgemeingültig/Es gibt x x ist y/Aufgabe