Prädikatenlogik
Prä|di|ka|ten|lo|gik 〈f. ; Gen.: -; Pl.: unz. ; Philos. 〉 Teilgebiet der mathematischen Logik, das sich mit der formalen Analyse von Aussagen befasst u. dabei die Aussageform als eine Funktion mit Konstanten u. Variablen betrachtet