Categorie

€ 25,50

€ 30,00

Risparmi € 4,50 (15%)

Venduto e spedito da IBS

Nuovo - attualmente non disponibile

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.