Wahrheitswert (formale Logik)

Wert einer Wahrheitsfunktion. Die Menge der Wahrheitswerte enthält in der zweiwertigen Aussagenlogik genau die beiden semantischen Prädikatoren »wahr« und »falsch«, in der dreiwertigen Logik von J. Łukasiewicz kommt der Prädikator »unbestimmt« hinzu, die intuitionistische Logik lässt unendlich viele Wahrheitswerte zu.