Dictionary.com
Thesaurus.com
Showing results for predicate calculus. Search instead for vesical-calculus.

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