La seconda prova intermedia si terrà martedì 7 giugno alle 13:30, in aula 160/1. Durante il compito sarà possibile consultare i propri appunti personali (manoscritti) ma non libri, dispense né altri stampati.
Il file AltriEserciziProposizionale.pdf presenta un elenco di esercizi aggiuntivi di logica proposizionale. Si discuteranno alcuni degli esercizi qui elencati durante la lezione di mercoledì 1 giugno.