Obiettivo: presentazione elementare della logica proposizionale, predicativa e cenni di logica modale.
Contenuto del corso: linguaggio formale della logica proposizionale, connettivi vero-funzionali, tavole di verità, deduzione naturale ed alberi di refutazione. Linguaggio della logica proposizionale modale e semantica dei “mondi possibili”. Linguaggio della logica predicativa con identità, deduzione naturale ed alberi di refutazione. Cenni di meta-logica (completezza e correttezza).
Didattica: lezioni frontali. Il corso include 20 ore di lezione di esercitazioni aggiuntive tenute da un’assistente.
Modalità di valutazione: esame scritto.
Bibliografia essenziale: