Modallogik/Modell/Implikation/Keine Notwendigkeitsversion in einem Punkt/Aufgabe
Zur Navigation springen
Zur Suche springen
Man gebe ein Beispiel für ein modallogisches Modell , eine Welt und einen modallogischen Ausdruck mit
aber