Esempi di verifica di tautologicità tramite "reductio". Varie opzioni di assiomatica logica per il calcolo proposizionale
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 1_reductio.pdf