Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 242:
''Dimostrazione''
Dimostriamo la tesi in forma contrappositiva: se <math>\Gamma</math> è consistente, allora <math>\Gamma</math> è soddisfacibile.
Supponiamo che <math>\Gamma</math> sia consistente.
|