Propositional logic

Propositional logic is the study of logical relationships between propositions.