O princípio da não contradição, inicialmente formulado por Aristóteles (384-322 a.C.), permanece como um dos sustentáculos da lógica clássica. Uma proposição composta é contraditória quando
seu valor lógico é falso e todas as proposições simples que a constituem são falsas.
uma ou mais das proposições que a constituem decorre/ decorrem de premissas sempre falsas.
seu valor lógico é sempre falso, não importando o valor de suas proposições constituintes.
suas proposições constituintes não permitem inferir uma conclusão sempre verdadeira.
uma ou mais das proposições que a constituem possui/ possuem valor lógico indeterminável.