Passa alle informazioni sul prodotto
Questo secondo eserciziario completa il percorso avviato con il primo, pubblicato nel 2024. Raccoglie esercizi sulla sillogistica, sulla sintassi e sulla semantica della logica del primo ordine, sulle forme prenesse e sulla Skolemizzazione, nonché su modelli e validità. Un capitolo è dedicato alle dimostrazioni in deduzione naturale e mediante il calcolo dei sequenti. Il volume si conclude con un ampio capitolo dedicato ai puzzle logici - dai classici «cavalieri e furfanti» al test di Wason. Come nel primo eserciziario, anche in questo ogni capitolo è introdotto da brevi richiami teorici che orientano le lettrici e i lettori, accompagnandoli nella risoluzione degli esercizi.
Normalmente disponibile in 5 giorni lavorativi
| Ean | 9788815393470 |
| Titolo | SECONDO ESERCIZIARIO DI LOGICA. SILLOGISTICA, LOGICA DEL PRIMO ORDINE E MODELLI |
| Autore | CARRARA MASSIMILIANO MANCINI F |
| Editore | IL MULINO |
| Collana | MANUALI |
| Data pubblicazione | 30/01/2026 |