A lot vs. Alot: 9 Grammatical Pitfalls

predicate calculus

noun, Logic.
Also called predicate logic.
1945-50 Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2015.
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

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
Cite This Source

Word of the Day

Difficulty index for predicate calculus

Few English speakers likely know this word

Word Value for predicate

Scrabble Words With Friends