Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 63:
<math>{false} \over {\Phi}</math>
|
<math>{\neg\neg\Phi} \over {\Phi}</math>
||
Eliminazione di <math>\neg</math>
|}
Line 74 ⟶ 75:
 
=== Altre regole per la logica classica ===
 
== Esempi ==