Lei da não-contradição
Origem: Wikipédia, a enciclopédia livre.
A lei da não-contradição foi formulada por Aristóteles em seus estudos sobre a lógica. Ela diz que um argumento só pode ser "verdadeiro" ou "falso", logo um argumento verdadeiro não é falso e um argumento falso não é verdadeiro, tampouco pode ser os dois ao mesmo tempo. A lei da não-contradição é representada do seguinte modo:
Exemplo: Se a bola é redonda logo não é quadrada
Uma proposição deve ser verdadeira ou falsa, para obedecer ao principio da não contradição.