Zum Inhalt springen

Modallogik/K/Symmetrisch und euklidisch/Transitiv/Fakt/Beweis

Aus Wikiversity
Beweis

Es sei das in Frage stehende System. Eine spezielle Instanz des Symmetrieaxioms liefert

Eine Umformulierung des euklidischen Axioms ist

Mit Fakt  (1) folgt daraus

und insgesamt mit dem Kettenschluss