Modallogik/K/S4 nicht S5/Modell/Aufgabe
Zur Navigation springen
Zur Suche springen
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.