propositional calculus

noun

Definition of propositional calculus

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

called also sentential calculus

— compare predicate calculus

First Known Use of propositional calculus

1903, in the meaning defined above

Keep scrolling for more

Learn More About propositional calculus

Time Traveler for propositional calculus

Time Traveler

The first known use of propositional calculus was in 1903

See more words from the same year

Dictionary Entries Near propositional calculus

proposition

propositional calculus

propositional function

See More Nearby Entries 

Statistics for propositional calculus

Cite this Entry

“Propositional calculus.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/propositional%20calculus. Accessed 28 Oct. 2021.

Style: MLA
MLACheck Mark Icon ChicagoCheck Mark Icon APACheck Mark Icon Merriam-WebsterCheck Mark Icon

More from Merriam-Webster on propositional calculus

Britannica.com: Encyclopedia article about propositional calculus

WORD OF THE DAY

Test Your Vocabulary

Farm Idioms Quiz

  • cow coming home
  • What does 'poke' refer to in the expression 'pig in a poke'?
True or False

Test your knowledge - and maybe learn something along the way.

TAKE THE QUIZ
Love words? Need even more definitions?

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