Argomenti svolti: Presentazione del corso.  Nozioni di Logica Matematica: proposizioni, connettivi logici, contraddizioni e tautologie, proposizioni logicamente equivalenti, proprietà dei connettivi, implicazione logica, contronominale e inversa, doppia implicazione, teorema, dimostrazione diretta, dimostrazione indiretta, dimostrazione per assurdo, predicati, quantificatori. Esercizi.

Materiale sugli argomenti svolti:

• Logica

• Esercizi

• Esercizi

• Esempi

• Esempi

• Note