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.