Categorie
Editore: Mondadori Bruno
Collana: Sintesi
Anno edizione: 1997
Pagine: 592 p.
  • EAN: 9788842493006
Disponibile anche in altri formati oppure usato:

Un manuale di logica dall'approccio innovativo: i temi della logica classica e di quella contemporanea sono affrontati in maniera induttiva, a partire dai problemi logici che pongono o che permettono di risolvere. Il testo consente a docenti e studenti di impostare lo studio della logica in modo attivo e dinamico, favorendo la stretta connessione fra esposizione teorica e momento operativo.

Prefazione. Introduzione. I. Gli operatori booleani. Negazione e congiunzione. I linguaggi booleani. Il condizionale e l'implicazione. Deduzione e controesempi. Verità e deduzione. Verità e correttezza. La decidibilità di KE. II. Gli operatori quantificazionali. I quantificatori. Verità e correttezza al primo ordine. I linguaggi del primo ordine con identità. Le proprietà dei linguaggi del primo ordine.
Soluzione degli esercizi. Tabella riassuntiva delle regole di inferenza.