[1] Al igual que la ley del tercero excluido, este principio es considerado como ley del pensamiento en la lógica clásica,[2] aunque la lógica intuicionista no lo permite.
Esta última se refiere a la relación entre una afirmación y un juicio negativo.
Aristóteles afirmaba que una sentencia es falsa cuando otra es verdadera, escritores posteriores [Leibniz y Kant] afirmaban que un juicio es en sí mismo y absolutamente falso, porque el predicado contradice al tema.
La norma permite introducir o eliminar una negación de una prueba lógica.
Esta última requiere una prueba de lluvia, mientras que la primera se limita a exigir una prueba de que llueve no sería contradictorio.
(Esta distinción también se plantea en lenguaje natural en forma de litotes.)