Modallogik/Ableitung/Notwendigkeitsversion/Fakt

Es sei $\Gamma$ ein $K$-modallogisches System und $\alpha$ ein modallogischer Ausdruck.

Dann folgt aus

$\Gamma ⊢\alpha$

die Beziehung

$◻\Gamma ⊢◻\alpha ,$

wobei

$◻\Gamma =\{◻\beta \mid \beta \in \Gamma \}.$

Zum Beweis, Alternativen Beweis erstellen