Nächste Seite: Aufgabe 39
Vorige Seite: Aufgabe 37
Zeige für die Erreichbarkeitsrelation 
einer Modallogik:
- Symmetrie und Transitivität impliziert
Euklidizität .
-
ist symmetrisch, transitiv und euklidisch genau dann,
wenn reflexiv, symmetrisch und transitiv ist.
- Eine reflexive Erreichbarkeitsrelation ist notwendig auch
seriell.
- Eine symmetrische
Erreichbarkeitsrelation ist
notwendig auch seriell.
Christoph Quix, Thomas List, René Soiron
30. September 1996