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