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 ==
|