Logik:Prädikatenlogik

In der Prädikatenlogik, einem Themengebiet der Lehrveranstaltung Logik, können wir beliebige Funktionen und Relationen darstellen. Dadurch ist es möglich strukturierte Objekte und struktursensitive Prozesse zu beschreiben.