Kategorie:Prädikatenlogik/Beispiele