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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Man gebe ein Beispiel für ein modallogisches Modell , eine Welt und einen modallogischen Ausdruck mit

aber

Eine Lösung erstellen