Il corso offre una introduzione ai concetti di base della logica. Verrannotrattate le nozioni di linguaggio formale e di calcolo logico con riferimentoalla logica delle proposizioni e alla logica dei predicati del primo ordine;ampio spazio sarà dedicato alla formalizzazione di enunciati e all'esecuzioneeffettiva di inferenze con il metodo degli alberi semantici. 

1° modulo (20 ore): Generalità e introduzione allalogica preposizionale. 
· Che cos'è e cosa studia la logica 
· La nozione di inferenza 
· Il linguaggio della logica delle proposizioni 
· Effettuare inferenze proposizionali con il metodo degli alberisemantici 

Libri di testo:
Introduzione e capp. 1, 2, 3, 4 e 8 delle dispense, che saranno disponibilipresso la C.U.S.L. 

2° modulo (20 ore): Introduzione alla logica dei predicati 
· Il linguaggio della logica dei predicati 
· Formalizzare enunciati mediante il linguaggio predicativo 
· Effettuare inferenze predicative con il metodo degli alberisemantici 

Libri di testo:
Capp. 5 e 9 delle dispense, che saranno disponibili presso la C.U.S.L.