Dictionary.com
definitions

propositional calculus

noun Logic.
  1. sentential calculus.

Origin of propositional calculus

First recorded in 1900–05
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018
British Dictionary definitions for propositional calculus

propositional calculus

noun
  1. the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structureCompare 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