Doble negación

Ley de las álgebras de Boole y regla del cálculo deductivo basada en la equivalencia entre afirmar y negar dos veces.

Ley lógica que es la negación de la negación de un enunciado. La doble negación de un enunciado equivale lógicamente a su afirmación: ~~p==p.