propositional calculus
nounDefinition of propositional calculus
: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only
— called also sentential calculus
— compare predicate calculusKeep scrolling for more