Modallogik/K/S4 nicht S5/Modell/Aufgabe
Zeige durch Angabe eines modallogischen Modelles, dass das System S4 nicht äquivalent zum System S5
ist.Zeige durch Angabe eines modallogischen Modelles, dass das System S4 nicht äquivalent zum System S5
ist.