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

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.