Try Our Apps
Dictionary.com

follow Dictionary.com

WATCH "Lumbersexual"

predicate calculus

noun, Logic.
Also called predicate logic.
Origin of predicate calculus
1945-1950
First recorded in 1945-50

functional calculus

noun
1.
the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers.
Also called predicate calculus, predicate logic.
Origin
First recorded in 1930-35
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2017.
Cite This Source
British Dictionary definitions for predicate logic

functional calculus

noun
1.
another name 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

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

Nearby words for predicate calculus