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."
Por extensão, fora da lógica clássica, pode-se falar de contradições entre as ações quando se presume que seus motivos