Modallogik/Modelltheorie/Wohldefiniert/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass bei einer Belegung der Aussagenvariablen durch die Definition

der Wahrheitswert für jeden modallogischen Ausdruck in jedem Punkt eines modallogischen Modelles eindeutig festgelegt ist.
Eine Lösung erstellen