• synonyms

predicate calculus

noun Logic.
  1. functional calculus.
Show More

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. 2018

British Dictionary definitions for predicate calculus

predicate calculus

  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 individualsAlso called: functional calculus See also propositional calculus
Show More
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