Una
verdad lógica o
verdad matemática es una
fórmula bien formada de un
lenguaje formal que es verdadera bajo todas las
interpretaciones de los componentes (distintos de las
constantes lógicas) de ese lenguaje. En algunos textos y contextos (v.g.
cálculo lógico y
lógica matemática), las verdades lógicas se conocen como fórmulas
lógicamente válidas (que tienen
validez lógica). Dos características generalmente aceptadas de las verdades lógicas son que son formales y necesarias. Que sean formales implica que cualquier instanciación de una verdad lógica es también una verdad lógica. Que sean necesarias significa que es imposible que sean falsas, es decir que en todas las situaciones
contrafácticas, las verdades lógicas siguen siendo verdades lógicas.