Propositional logic

The study of logical relations between propositions.