Wahrheitszuweisung

Eine Funktion (häufig Valuation oder Wahrheitszuweisung genannt), die atomaren Aussagenvariablen oder Formeln in einem gegebenen semantischen Rahmen Wahrheitswerte zuordnet und sich gemäß den semantischen Klauseln der Logik auf komplexe Formeln erstreckt.

Eine Abbildung v von einem Körper oder Ring in eine total geordnete abelsche Gruppe (häufig R∪{∞} oder Z∪{∞}), die Größe oder Teilbarkeit misst, multiplikativ ist (v(xy)=v(x)+v(y) in additiver Schreibweise) und eine dreiecksähnliche Ungleichung v(x+y) ≥ min(v(x),v(y)) im nicht-archimedischen Fall erfüllt.