TEOREMI SULLA LOGICA
(obiettivi)
DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI. TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE. TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE. TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
|