$$\large{\begin{gather*}\neg (\neg p) \leftrightarrow p \\ \\ \overline{(\overline{p})} \leftrightarrow p\end{gather*}}$$

Двойное отрицание

Инволютивность отрицания

Инволюция — это операция двойного логического отрицания, преобразование, обратное самому себе, которое даёт исходное суждение
$$\neg (\neg p) \leftrightarrow p$$
Двойное отрицание аналогично двойному дополнению множества в теории множеств