STORIA DELLA LOGICA

Le origini della logica come sistema deduttivo, elementi storici; logica aristotelica e stoica, la logica delle conseguenze (cenni)
- presentazione di un sistema logico in stile deduzione naturale
- Il calcolo proposizionale:
regole di introduzione/eliminazione connettivi
regola eliminazione disgiunzione
regola della riduzione all’assurdo
regola della prova condizionale
dimostrazioni di sequenze e teoremi
sintassi del calcolo proposizionale
tavole di verità
la coerenza e completezza del calcolo proposizionale
- logica dei predicati
Elementi introduttivi
Traduzione di frasi del linguaggio naturale in quello logico
regole introduzione/eliminazione dei quantificatori
Modelli della logica dei predicati
la coerenza e completezza del calcolo proposizionale