Dictionary.com

predicate calculus

noun Logic.

functional calculus.

QUIZZES

BECOME A PRO CHEF WITH THIS EXQUISITE CUISINE QUIZ!

Even if you can't be a professional chef, you can at least talk like one with this vocabulary quiz.
Question 1 of 9
You may have read the word "simmer" in a recipe or two, but what does it really mean?
To cook in water that begins cold and then reaches a boil.
To stew in a sauce for a long time.
To cook in water, just below boiling temperature.
TAKE THE QUIZ TO FIND OUT
Also called predicate logic.

Origin of predicate calculus

First recorded in 1945–50

Words nearby predicate calculus

predicable, predicament, predicant, predicate, predicate adjective, predicate calculus, predicate nominative, predicate noun, predicate objective, predication, predicative
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2020

British Dictionary definitions for predicate calculus

predicate calculus

noun

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 individualsAlso called: functional calculus See also propositional calculus
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012