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.