K-Modallogik/T-System/Folgerungen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Die Kontraposition des Reflexivitätsaxioms ergibt direkt

also

Da dies für alle gilt, gilt nach Fakt  (5) auch

Der Zusatz folgt aus

Zur bewiesenen Aussage