Modallogik/S5/Verbindbar/Gleiche Notwendigkeitsaussagen/Aufgabe

Es sei ${}(M,R,\mu )$ ein modallogisches Modell für die ${}S5$-Modallogik.

Zeige, dass für zueinander erreichbare Welten ${}v,w\in M$ die Gültigkeitsmengen verschieden sein können, dass aber für jeden Ausdruck ${}(M,R,\mu ,v)\vDash \Box \alpha$ genau dann gilt, wenn ${}(M,R,\mu ,w)\vDash \Box \alpha$ gilt.

Eine Lösung erstellen