4. Combining propositions

If propositional logic was just all about basic propositions, it would get boring pretty quickly. The interest comes from how you can combine them to produce new propositions.