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.