Modallogik/K/S4 nicht S5/Modell/Aufgabe

Zeige durch Angabe eines modallogischen Modelles, dass das System S4 nicht äquivalent zum System S5 ist.

Eine Lösung erstellen