propositional logic propositional calculus
propositional_logic%1:09:00:: propositional_calculus%1:09:00::
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them