La expresión aritmética que designa la verdad o falsedad de una proposición. Una proposición verdadera tiene el valor lógico 1 (fórmula válida) y una falsa, el valor 0 (fórmula inconsistente).