double negation


noun

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