Doble negación (lógica)

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