Modallogik/Gerichteter Graph/Belegung/1/Beispiel/Aufgabe/Lösung

Aus Wikiversity


Wegen und gilt . Wegen gilt und somit gilt in der Vordersatz der Aussage. Wegen gilt . Daher ist der Nachsatz der Aussage falsch in und somit ist die Gesamtaussage dort falsch.

Von aus ist nur erreichbar ist, dort gilt also auch . Damit gilt der Nachsatz und damit die Gesamtaussage in .