Prädikatenlogik/Tautologie/Es gibt x x ist y/Aufgabe

Zeige