double negation


double negation

n (Logic) logic the principle that a statement is equivalent to the denial of its negation, as it is not the case that John is not here meaning John is here