Propositional logic

The study of logical relationships between statements that are either true or false.