El principio lógico según el cual ninguna proposición puede ser a la vez verdadera y falsa al mismo tiempo en el mismo sentido; prohíbe sostener simultáneamente una afirmación y su negación dentro del mismo marco interpretativo.
El principio lógico según el cual ninguna proposición puede ser simultáneamente verdadera y falsa en el mismo momento y respecto; formalmente prohíbe que A y su negación ¬A sean ambas verdaderas bajo una misma interpretación.