follow Dictionary.com

Stories We Like: Novels For Language Lovers

predicate calculus

noun, Logic.
Also called predicate logic.
Origin
1945-1950
1945-50
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source
Examples from the web for predicate calculus
  • Then using this theorem he showed the consistency of first order predicate calculus in the form of natural deduction system.
  • Using this method, the program is represented by a theorem and is proved with first-order predicate calculus.
British Dictionary definitions for predicate calculus

predicate calculus

noun
1.
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 Also 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
Cite This Source
predicate calculus in Technology
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Difficulty index for predicate calculus

Few English speakers likely know this word

Word Value for predicate

14
16
Scrabble Words With Friends