We covered the rest of chapter 2. We also saw how to use a concrete counter-example to disprove a universal claim, and how use an example to prove an existential claim.
Some useful logical equivalences