Dos enunciados son contradictorios si no pueden ser ambos a la vez verdaderos o ambos falsos, de modo que si uno es verdadero el otro es falso y si uno es falso el otro es verdadero. Por ejemplo, si «todos los planetas describen órbitas elípticas» es un enunciado verdadero, resulta falso decir que «la órbita de la Luna es circular», pero si fuera éste el enunciado verdadero sería simplemente falso que los planetas describen órbitas elípticas. Los contradictorios son también inconsistentes; pero no deben confundirse con los enunciados contrarios.