predicate calculus
noun
: the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives
called also functional calculus
compare propositional calculusDictionary Entries Near predicate calculus
Cite this Entry
“Predicate calculus.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/predicate%20calculus. Accessed 30 Nov. 2024.
Copy CitationLove words? Need even more definitions?
Merriam-Webster unabridged
Share