Dictionary
Thesaurus
Encyclopedia
Translator
Web
Definition of predicate calculi - 2 dictionary results

predicate calculus

–noun Logic.
functional calculus.
Also called predicate logic.


Origin:
1945–50

functional calculus

–noun
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:
1930–35
Dictionary.com Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2009.
Cite This Source Link To predicate calculi
Search another word or see predicate calculi on Thesaurus | Reference
FacebookTwitterFollow us: