"G. d'Annunzio"
None
Introduce the basic concepts of propositional and first order logic.
Logic: inferences and reasonings. Atomic and composite propositions. Truth functional connectives. Truth tables. Tautologies. Equivalence and logical consequence. Language and rules of first order logic.
Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore.
Lectures.
Written exam.
