- Esse artigo utiliza formas da notação da Lógica. Para uma descrição consisa dos símbolos usados nessa notação, veja Lista dos símbolos lógicos.
Na
Lógica clássica, o
princípio da não-contradição ( ou o
princípio da contradição, ou a
lei da não contradição, ou a
lei da contradição), afirma que duas afirmações contraditórias não pode ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "
A é B" e "
A não é B" são mutualmente exclusivas.
O
princípio da não-contradição foi (primeiramente) formulado por
Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira. Nenhuma proposição (na lógica clássica), portanto, pode ser os dois ao mesmo tempo. O princípio da não-contradição é representado do seguinte modo: A da nao til significado
Exemplo: Não ("a bola é redonda" e "a bola não é redonda")