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.
Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli
in uscita
| Titolo | Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli |
| Autori | Massimiliano Carrara, Filippo Mancini, Samuele Maschio, Michele Pra Baldi |
| Collana | Manuali |
| Editore | Il Mulino |
| Formato |
Libro: Libro in brossura |
| Pagine | 320 |
| ISBN | 9788815393470 |
Libri dello stesso autore
Sul dialeteismo. Lezioni padovane di Graham Priest ed altri saggi su l dialeteismo
Padova University Press
Introduzione alla metafisica contemporanea
Massimiliano Carrara, Ciro De Florio, Giorgio Lando, Vittorio Morato
Il Mulino
Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale
Massimiliano Carrara, Maria Emilia Maietti, Filippo Mancini, Samuele Maschio
Il Mulino
Eserciziario di logica
Filippo Mancini, Massimiliano Carrara, Andrea Strollo
Padova University Press