TAUTOLOGÍA

La significación habitual del vocablo ‘tautología’ es de índole retórica: ‘tautología’ es el nombre que recibe la repeti­ción de un mismo pensamiento en diversas formas. En la lógica se llama «tautología» a una fórmula sentencialmente válida. Son tau­tologías las fórmulas de la lógica sentencial, que cuando son probadas por medio del mé­todo de las tablas de verdad, dan siempre como resultados uves (V = ‘es verda­dero’). Por ejemplo, el llamado en la lógica tradicional «principio de contradicción», es decir, la fórmula ‘ ¬ (p ∧ ¬p) ’ de la lógica sentencial es una tautología. La tabla de ver­dad que corresponde a ella es:

p                  ¬ (p  ∧ ¬p)
——————————
V                          V
F                           V

Por eso suelen definirse también las tauto­logías como fórmulas que son siempre verda­deras cualquiera