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