Esercizi sulla verifica di tautologicità tramite "reductio ad absurdum"
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 1_reductio.pdf