Lezione 15 (4 novembre): riepilogo, esercizi e approfondimenti sul terzo capitolo

Oggi a lezione ho fatto un riepilogo del terzo capitolo, quello dedicato ai connettivi principali della logica classica, e ho dato alcune informazioni sulla prova intermedia facoltativa ("esonero") di lunedì 16 novembre p.v. 

Le principali informazioni sono:

a) la terza domanda dell'esonero verterà sui temi principali del terzo capitolo, quali:

- le tavole dei connettivi principali della logica classica (ed eventualmente il loro commento)

- la definizione dell'implicazione classica, dell'alternativa classica e dell'equivalenza classica mediante le negazione classica, la congiunzione classica e la disgiunzione classica (ed eventualmente la giustificazione di tale definizione);

- la negazione di ciascuna proposizione ottenuta mediante i connettivi principali della logica classica;

. le regole di dimostrazione e le regole d'uso di una congiunzione e le regole di dimostrazione e di uso di una disgiunzione classica;

b) la quinta domanda dell'esonero verterà su  una particolare proposizione a proposito della quale si dovrà (secondo il modello illustrato nell'ultima sezione del capitolo 3, e secondo gli esempi contenuti alle pagine 243-246 del volume):

- fare l'analisi mediante i connettivi principali della logica classica;

- scrivere tale analisi usando soltanto la negazione classica, la congiunzione classica e la disgiunzione classica;

- fare la negazione della proposizione così analizzata:

- scrivere tale negazione in lingua italiana.