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
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