Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 220:
 
==== Lemma 1 ====
Sia <math>\Gamma</math> un insieme di formule e sia <math>A</math> una formula. <math>\Gamma \vdash A</math> sse <math>\Gamma \cup \{\neg A\}</math> è inconsistente.
 
''Dimostrazione''