Section 1.2

Recap of classical propositional logic