Esercizi sulla verifica di tautologicità tramite "reductio ad absurdum"
Completion requirements
PDF
Click 1_reductio.pdf link to view the file.