predicate calculus
noun Logic.
Words nearby predicate calculus
predicable, predicament, predicant, predicate, predicate adjective, predicate calculus, predicate nominative, predicate noun, predicate objective, predicative, predicator
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. 2020
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