Contradicción

Sentencia del lenguaje formal para la que no existe ninguna interpretación que la haga verdadera. Es contradicción si, y sólo si, no existe ninguna situación en la que sea verdadero.

(1) Una contradicción es la conjunción de cualquier proposición con su negación. (2) También es la negación de una tautología; es decir, una contradicción es una fbf que es falsa para cualquiera de sus posibles interpretaciones (i.e. su tabla de verdad sólo tiene Fs o ceros en la columna correspondiente a la conectiva principal). Los enunciados contradictorios se dice que son insatisfacibles. (Véase contingencia, insatisfacibilidad, tautología).