Tutti gli esercizi del capitolo, in ordine di comparsa nel libro: logica delle proposizioni (tavole di verità, negazioni, traduzioni), operazioni tra insiemi con i diagrammi di Venn, relazioni di equivalenza e d’ordine, e dimostrazioni per induzione.
- Tavola di verità e connettivo nascosto
- Negazione di una proposizione universale
- Equivalenza di due implicazioni
- Tradurre una frase in connettivi
- Cioccolatini e diagrammi di Venn
- Ordine totale e il minore stretto
- Distinguere equivalenze e ordini
- Diagramma di Hasse dei divisori di 30
- Ordine lessicografico e ordine sulle coppie
- Somma dei cubi per induzione
- Divisibilità di n cubo meno n per 6
- Binomio di Newton per induzione
- Disuguaglianza 2 alla n maggiore di n quadrato