propositional calculus

noun

: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only

called also sentential calculus

compare predicate calculus

Word History

First Known Use

1903, in the meaning defined above

Time Traveler
The first known use of propositional calculus was in 1903

Dictionary Entries Near propositional calculus

Cite this Entry

“Propositional calculus.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/propositional%20calculus. Accessed 29 Mar. 2024.

More from Merriam-Webster on propositional calculus

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!