Una contradicción es una proposición cuyo valor de verdad es falso, independiente de los valores de verdad de las proposiciones que la componen.