(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.
