Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es bestehe aus zwei Welten und mit der vollen Relation. Es gelte

Damit gilt

und somit

Dagegen gilt in weder noch .