the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements.
Origin of sentential calculus
First recorded in 1935–40
Also called propositional calculus, sentential logic.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019
logic the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure
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