Wikiversity

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
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Modallogik/K/S4_nicht_S5/Modell/Aufgabe&oldid=845883“