Modallogik/Modell/Implikation/Keine Notwendigkeitsversion in einem Punkt/Aufgabe

Man gebe ein Beispiel für ein modallogisches Modell ${}(M,R,\nu )$, eine Welt ${}w\in M$ und einen modallogischen Ausdruck ${}\alpha \rightarrow \beta$ mit

$(M,R,\nu ,w)\vDash \alpha \rightarrow \beta ,$

aber

$(M,R,\nu ,w)\not \vDash \Box \alpha \rightarrow \Box \beta .$

Eine Lösung erstellen