predicate calculus

pre·di·ca·tecalculus

uncommon

noun

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Synonyms

predetermination predetermine predetermined predicament predicate predication predicative predicatively predicator predict

Random word