Propositional logic

The study of logical relationships between propositions.