| 0.03 | | [collana] |
| 0.05 | | [frontespizio] |
| 0.06 | | [copyright] |
| 28701;1965.03 | 0.07 | | Prefazione [ di Edward John Lemmon ] |
| 0.11 | | __ |
| 0.12 | | ____ |
| 1 | | [titolo] |
| 3 | Capitolo primo | Il calcolo proposizionale (1) |
| 3 | § 1. | La natura della logica |
| 8 | § 2. | Condizionali e negazione |
| 23 | § 3. | Congiunzione e disgiunzione |
| 32 | § 4. | Il doppio condizionale |
| 38 | § 5. | Altre prove: riassunto delle regole |
| 45 | | Esercizi |
| 47 | Capitolo secondo | Il calcolo proposizionale (2) |
| 47 | | Introduzione |
| 48 | § 1. | Regole di formazione |
| 56 | § 2. | Teoremi e regole derivate |
| 71 | § 3. | Tavole di verità |
| 83 | § 4. | La coerenza del calcolo proposizionale |
| 91 | § 5. | La completezza del calcolo proposizionale |
| 103 | Capitolo terzo | Il calcolo dei predicati (1) |
| 103 | § 1. | La forma logica: «tutti» e »quasi» |
| 117 | § 2. | Il quantificatore universale |
| 124 | § 3. | Il quantificatore esistenziale |
| 131 | § 4. | Sequenze elementari valide con uantificatori |
| 142 | § 5. | Deduzioni a carattee generale con quantificatori |
| 153 | Capitolo quarto | Il calcolo dei predicati (2) |
| 153 | § 1. | Regole di formazione e regole di derivazione |
| 165 | § 2. | Sostituzione, regole derivate, coerenza e completezza |
| 177 | § 3. | Identità |
| 187 | § 4. | Il sillogismo |
| 209 | Appendice A | Forme normali |
| 223 | Appendice B | La teoria elementare delle classi |
| 235 | Appendice C | Soluzione degli esercizi [ di Fabrizio Funtò ET Massimo Prampolini ] |
| 287 | | Bibliografia |
| 289 | | Note |
| 291 | | Simboli e abbreviazioni principali |
| 293 | | Indice |
| 296 | | _ |
| 302 | | ___ |
