Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. Isso ocorre quando as proposições, tomadas em conjunto, geram conclusões que formam inversões lógicas, geralmente opostas uma da outra.Ilustrando uma tendência geral na lógica aplicada, a lei de Aristóteles da não-contradição  afirma que "Não se pode dizer de algo que é e que não é no mesmo sentido e, ao mesmo tempo."