Fondamenti di Matematica – Bari

Argomenti del programma: Logica Proposizioni, connettivi logici (not, or, and, if-then, if-and-only-if, nor, nand, xor), tavole di verità. I principi e le leggi della logica (principio di non contraddizione, principio della doppia negazione, principio del terzo escluso, leggi distributive, di assorbimento, di De Morgan). L’equivalenza semantica. La logica dei predicati e i quantificatori. Il principio di induzione.