Kategorie:Ableitungskalkül der Prädikatenlogik/Beispiele