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. Also called propositional calculus, sentential logic .
[ 1935-40 ]