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 ==
|