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

Contenuto cancellato Contenuto aggiunto
Riga 272:
 
==== Dimostrazione ====
Supponiamo che <math>\Gamma \vDash A</math>. Allora, per il [[Logica/Calcolo delle proposizioni#Teorema di soddisfacibilità|teorema di soddisfacibilità]], <math>\Gamma \cup \{\neg A\}</math> è insoddisfacibile e, per il lemma 3, è anche inconsistente. Dunque, per il lemma 1, <math>\Gamma \vdash A</math>.
 
== Regole derivate ==