K-Modallogik/T-System/Folgerungen/Fakt

Im modallogischen ${}T$-System gelten die folgenden Aussagen.

Es ist

$T\vdash \alpha \rightarrow \Diamond \alpha .$

Insbesondere ist

$T\vdash \Box \alpha \rightarrow \Diamond \alpha$

und damit ist ein ${}T$-System auch ein ${}D$-System.

Zum Beweis, Alternativen Beweis erstellen