Prädikatenlogik

Prädikatenlogik, das Teilgebiet der Logik, das sich mit den Aussagen beschäftigt, die mithilfe von Prädikaten und Quantoren gebildet werden.