También llamados «valores veritativos»: la doble posibilidad del enunciado de ser verdadero o falso. El enunciado verdadero tiene el valor de verdad, y el enunciado falso el valor de falsedad. La lógica tradicional, que se funda en el principio de bivalencia, admite sólo estos dos valores. También el valor de verdad o falsedad que recibe una fórmula lógica al recibir una interpretación.
La lógica de enunciados se llama veritativo-funcional porque el valor de verdad de sus enunciados depende de las conectivas definidas como una función de verdad; estas funciones se definen mediante tablas de verdad
(ver ejemplo 1 ↓)
(ver ejemplo 2 ↓)
Las tablas de verdad lógicas ponen de manifiesto cómo las conectivas son símbolos veritativo-funcionales, o símbolos que designan una función veritativa entre un enunciado compuesto y los valores de verdad:
Así, para el enunciado:
[math]p \rightarrow{q} (p \vee q)[/math]
la tabla de verdad es

Otras lógicas admiten más de dos valores; por ejemplo, la lógica trivalente de Lukasiewicz, que admite verdadero, falso e indeterminado.
y