Modallogische Axiomenschema/Äquivalente Formulierung/Aufgabe
Zeige die Äquivalenz (innerhalb der -Modallogik) der folgenden modallogischen Axiomenschemata.
- Das
Reflexivitätsaxiom
ist äquivalent zu
- Das
Symmetrieaxiom
ist äquivalent zu
- Das
Transitivitätsaxiom
ist äquivalent zu
- Das
euklidische Axiom
ist äquivalent zu