K-Modallogik/T-System/Folgerungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Im modallogischen -System gelten die folgenden Aussagen.

Es ist

Insbesondere ist

und damit ist ein -System auch ein -System.

Zum Beweis, Alternativen Beweis erstellen