Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 333:
cioè, da <math>\neg\Psi</math> e <math> \Phi \rightarrow \Psi</math> è possibile derivare <math>\neg\Phi</math>.
==== L' assioma di Meredith ====
| |||