Wahrheitszuweisung

Eine Abbildung, die atomaren aussagenlogischen Variablen oder ground-Atomen in einer gegebenen Struktur Wahrheitswerte (gewöhnlich Wahr oder Falsch) zuweist und als Grundlage zur Auswertung von Formeln oder zur Prüfung der Erfüllbarkeit dient.