Obiettivo del corso: presentazione elementare della logica proposizionale, predicativa e cenni di logica modale.
Modalità di valutazione: esame scritto.
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).
Bibliografia essenziale:
ISFI