Dictionary.com
definitions

predicate calculus

noun Logic.

functional calculus.

RELATED CONTENT

What’s The Difference Between Predicate Nominative And Predicate Adjective?In general, a predicate completes a sentence by providing information about what the subject is or does. The subject of a sentence is who or what is doing the action. The predicate explains the action. There’s often a linking verb (like is or became) in between the two. A predicate nominative is a noun that completes the linking verb in a sentence. Predicate adjectives complete …
READ MORE
tonsil stonesRead more in this article about some frequently asked questions and fun facts related to our definitions.
READ MORE

Nearby words

  1. predicable,
  2. predicament,
  3. predicant,
  4. predicate,
  5. predicate adjective,
  6. predicate nominative,
  7. predicate noun,
  8. predicate objective,
  9. predication,
  10. predicative

Origin of predicate calculus

First recorded in 1945–50
Also called predicate logic.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019
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