Zum Inhalt springen

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

Aus Wikiversity

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

aber