In logica si parla di contraddizione quando si identifica una proposizione con il suo contrario, ovvero se si considera una proposizione logica attualmente identica al proprio opposto. Possiamo descrivere una semplice contraddizione con l'identità P = ¬P. Ad esempio: "il bianco è identico al non-bianco".