Propositional calculus

A formal system for analyzing and proving the validity of propositions.