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

:Sia <math>\Gamma</math> un insieme di formule proposizionali. Sia <math>Cn(\Gamma)</math> l'insieme delle formule che hanno una derivazione da <math>\Gamma</math>, cioè <math>Cn(\Gamma)=\{A | \Gamma \vdash A \}</math>. <math>Cn(\Gamma)</math> è detto ''chiusura deduttiva'' di <math>\Gamma</math>.

:Un insieme di formule proposizionali <math>\Gamma</math> è detto ''deduttivamente chiuso'' se esso coincide con la sua chiusura deduttiva, cioè <math>\Gamma=Cn(\Gamma)</math>.