Zum Inhalt springen

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

Aus Wikiversity
Beweis

Die Kontraposition des Reflexivitätsaxioms ergibt direkt

also

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

Der Zusatz folgt aus