WordReference Random House Unabridged Dictionary of American English © 2024pred′icate cal′culus, [Logic.]- PhilosophySee functional calculus. Also called pred′icate log′ic.
Collins Concise English Dictionary © HarperCollins Publishers::
predicate calculus n - the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals
See also propositional calculus