K-Modallogik/Beweisbarkeitslogik/Transitiv/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem modallogischen -System, in dem das Löb-Axiom gilt,

gilt auch das Transitivitätsaxiom.

Zum Beweis, Alternativen Beweis erstellen