Nella lezione 11 (martedì 23 ottobre), dopo un riepilogo sulla tabella di ciascuno dei principali connettivi e sulla negazione delle proposizione ottenute con tali connettivi, ho spiegate le regole con cui le proposizioni ottenute con questi connettivi vengono dimostrate e le regole con cui si usano come ipotesi le proposizioni ottenute con questi connettivi. Infine, ho iniziato a spiegare la procedura per analizzare le proposizioni mediante i connettivi principali della logica classica, tema che intendevo concludere nella lezione / esercitazione di oggi 27 ottobre che purtroppo non si è svolta a causa della sospensione dell'attività didattica decisa nel pomeriggio di giovedì scorso.
La lezione di lunedì 29 ottobre sarà dedicata ancora all'analisi delle proposizioni mediante i connettivi principali della logica classica, e conterrà anche un riepilogo sull'intero terzo capitolo.
Lavagna Lezione 23 ottobre
Nessun commento:
Posta un commento