In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." Wikipedia