Contradicción

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.

[1]​ En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.

Una función de dos variables: La siguiente tabla muestra una contradicción: Dada esta definición, toda contradicción es la negación de una tautología, y toda tautología es la negación de una contradicción.

Siguiendo el ejemplo anterior, al negar la contradicción obtenemos una tautología: Siendo

Una contradicción es toda expresión lógica o booleana equivalente al resultado falso, para todos los valores de sus variables, independientemente del número de variables que tenga dicha expresión o función.