Modallogik/K/Symmetrisch und euklidisch/Transitiv/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

In einem modallogischen -System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,

gilt auch das Transitivitätsaxiom.

Zum Beweis, Alternativen Beweis erstellen