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".