Dictionary.com
Thesaurus.com

predicate calculus

American  

noun

Logic.

  1. functional calculus.

predicate calculus British  

noun

  1. Also called: functional calculus.  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

"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

Etymology

Origin of predicate calculus

First recorded in 1945–50

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023

Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.

Vocabulary.com logo
by dictionary.com

Look it up. Learn it forever.

Remember "predicate calculus" for good with VocabTrainer. Expand your vocabulary effortlessly with personalized learning tools that adapt to your goals.

Take me to Vocabulary.com