Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 54:
||
Eliminazione di <math>\rightarrow</math>
|-----
|
<math>\stackrel{(\neg\Phi)}{\stackrel{\vdots}{false}} \over {\Phi}</math>
|
||
Introduzione di <math>\neg</math>
|
<math>{false} \over {\Phi}</math>
|
||
Eliminazione di <math>\neg</math>
|}
| |||