Dictionary.com

predicate calculus

Save This Word!

noun Logic.
QUIZ
ARE YOU A TRUE BLUE CHAMPION OF THESE "BLUE" SYNONYMS?
We could talk until we're blue in the face about this quiz on words for the color "blue," but we think you should take the quiz and find out if you're a whiz at these colorful terms.
Question 1 of 8
Which of the following words describes “sky blue”?
Meet Grammar CoachWrite or paste your essay, email, or story into Grammar Coach and get grammar helpImprove Your Writing
Meet Grammar CoachImprove Your Writing
Write or paste your essay, email, or story into Grammar Coach and get grammar help
Also called predicate logic.

Origin of predicate calculus

First recorded in 1945–50
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2021

How to use predicate calculus in a sentence

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
FEEDBACK