Modallogik/K/Symmetrisch und euklidisch/Transitiv/Fakt
In einem modallogischen -System, in dem das Symmetrieaxiom und das euklidische Axiom gelten,
gilt auch das Transitivitätsaxiom.
In einem modallogischen
-System, in dem das
Symmetrieaxiom
und das
euklidische Axiom
gelten,
gilt auch das Transitivitätsaxiom.