Estratto del documento
Teorema di correttezza e completezza dei tableaux proposizionali
Definizione di α-formula
Anteprima
Vedrai una selezione di 3 pagine su 10
Dettagli
SSD
Scienze matematiche e informatiche
MAT/01 Logica matematica
I contenuti di questa pagina costituiscono rielaborazioni personali del
Publisher tovy97 di informazioni apprese con la frequenza delle lezioni
di Logica matematica e studio autonomo di eventuali libri di riferimento in preparazione
dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale
dell'università Università degli Studi dell' Insubria o del prof Gerla Brunella.