Lezione n. 13 - lunedì 31 ottobre 2016 // Esercizi ed approfondimenti sui capitoli 2 e 3.

In questa lezione ho indicato la tipologia di domande relative al capitolo 3 (su questo capitolo ci saranno due domande, la terza e la quinta).

• la tavola di alcuni dei connettivi principali della logica classica, eventualmente con qualche commento;
• la definizione dell'implicazione classica, della alternativa classica e della equivalenza classica, a partire da negazione classica, congiunzione classica, disgiunzione classica;
• la negazione di una congiunzione classica, di una disgiunzione classica, di una implicazione classica, di una alternativa classica, di una equivalenza classica;
• la regola per dimostrare una congiunzione e le regole per dimostrare una disgiunzione (eventualmente, le regole per dimostrare un'implicazione, una equivalenza o una alternativa); 
• le regole per usare una congiunzione, e le regole per usare una disgiunzione (eventualmente, le regole per usare una implicazione, una equivalenza, un'alternativa);
• l'analisi di una proposizione data A mediante i connettivi principali della logica classica; scrivere tale analisi di A usando soltanto negazione, congiunzione e disgiunzione; fare la negazione della proposizione A analizzata; scrivere la negazione della proposizione A in lingua italiana; calcolare il valore della proposizione una volta conosciuti i valori delle sue componenti; indicare come può essere dimostrata la proposizione A.

In questa stessa lezione ho fatto alcuni esercizi di analisi di proposizioni, e ho fornito alcuni approfondimenti su temi trattati nelle lezioni precedenti. 

Qui il pdf con ciò che ho scritto sulla lavagna in questa lezione.