Introduzione al corso: orario, esercitazioni, ricevimento studenti, sito web, tempi e modalita' delle prove di valutazione (compitini in itinere, prova finale).
Proposizioni. Esempi. Connettivi logici (non, e, o, implicazione, doppia implicazione) e la loro tavola di verita'.
Proposizioni equivalenti. Proprieta' di "e" ed "o" (commutativa, associativa, distributiva).
La negazione ed "e"; la negazione ed "o". La negazione e l'implicazione.