Semantische Bewertung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Prozess, einer Formel unter einer bestimmten Interpretation oder Struktur einen semantischen Wert (typischerweise einen Wahrheitswert) zuzuordnen, indem atomare Formeln rekursiv interpretiert, die Interpretationen von Funktions- und Prädikatsymbolen angewandt und Quantoren bezüglich der Domäne ausgewertet werden.