Modallogik/Modelltheorie/Wohldefiniert/Aufgabe
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.
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.