Quantorenlogik
* * *
I Prädikatenlogik,
das Teilgebiet der Logik, das sich mit den Aussagen beschäftigt, die mithilfe von Prädikaten und Quantoren gebildet werden.
II
Prädikatenlogik
[lat. praedicatio »Aussage«\] (Prädikatenkalkül), Logik.
* * *
Prä|di|ka|ten|lo|gik, die <o. Pl.>: Teilgebiet der Logik, das mit Prädikaten (4) gebildete Aussagen u. deren logische Struktur untersucht.
Universal-Lexikon. 2012.