double negation
"Not not A" is equivalent to A.
The law of double negation states that ¬¬A ≡ A: negating a sentence twice returns a sentence with the same truth value on every row.
Examples
"It's not true that the store isn't open" says the store is open.
See also