Double negative elimination

• abstract: In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negationCopi and CohenMoore and ParkerHurley) are two valid rules of replacement. They are the inferences that if A is true, then not not-A is true and its converse, that, if not not-A is true, then A is true.

以上来源于: WordNet