Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli

Carrara Massimiliano, Mancini Filippo, Maschio Samuele, Pra Baldi Michele | Il Mulino 2026

Attualmente non disponibile

A partire da

30,00 €

Descrizione

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.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Carrara Massimiliano, Mancini Filippo, Maschio Samuele, Pra Baldi Michele
  • Il Mulino
  • Manuali
  • 2026
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 30 gennaio 2026
  • 320 p.
  • ITA
  • 9788815393470

Ti potrebbe interessare anche

Librerie di Roma | Secondo eserciziario di logica. Sillogistica, logica del primo ordine e modelli
logo regione