double negation

double negation noun

1. 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