Uma contradição é quando há duas ou mais declarações que não podem ser todas verdadeiras ao mesmo tempo.

Uma história que mostra o que é uma contradição vem da China. Nesta história, há um comerciante que vende tanto lanças quanto escudos. Ele diz que suas lanças são tão afiadas que poderiam romper qualquer escudo. Ao mesmo tempo, ele diz que seus escudos são tão fortes que poderiam bloquear qualquer lança. Isto é uma contradição devido a estas duas afirmações não podem ser ambas verdadeiras. Ou a lança quebrará o escudo ou o escudo bloqueará a lança, mas não as duas coisas. Por esta razão, a palavra para contradição em chinês é máodùn (矛盾), que literalmente significa "lança e escudo".

Na lógica de Aristóteles, diz-se que duas proposições contraditórias não podem ser ambas verdadeiras. Por exemplo, as proposições "A é B" e "A não é B" são mutuamente exclusivas. Por exemplo, as afirmações "o Papa é católico" e "o Papa não é católico" não podem ser ambas verdadeiras. Apenas uma das afirmações, e não a outra, é verdadeira.