Propositional calculus

Definition of Propositional calculus:

• The branch of symbolic logic that deals with propositions and the relations between them, without examination of their content.