Dictionary.com
Thesaurus.com

propositional calculus

American  

noun

Logic.
  1. sentential calculus.


propositional calculus British  

noun

  1. the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure Compare predicate calculus

"Collins English Dictionary — Complete & Unabridged" 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012

Etymology

Origin of propositional calculus

First recorded in 1900–05