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 22 Dec. 2024.
Copy CitationLove words? Need even more definitions?
Merriam-Webster unabridged
Share