All the exercises of the chapter, in order of appearance in the book: propositional logic (truth tables, negations, translations), set operations with Venn diagrams, equivalence and order relations, and proofs by induction.
- Truth table and hidden connective
- Negation of a universal proposition
- Equivalence of two implications
- Translating a sentence into connectives
- Chocolates and Venn diagrams
- Total order and the strict less-than
- Distinguishing equivalences and orders
- Hasse diagram of the divisors of 30
- Lexicographic order and order on pairs
- Sum of cubes by induction
- Divisibility of n cubed minus n by 6
- Newton’s binomial by induction
- Inequality 2 to the n greater than n squared