Esempi di verifica di tautologicità tramite "reductio". Varie opzioni di assiomatica logica per il calcolo proposizionale
Completion requirements
PDF
Click 1_reductio.pdf link to view the file.