$$\large{\displaylines{\neg (\neg p) \leftrightarrow p \\ \\ \overline{(\overline{p})} \leftrightarrow p}}$$

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

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

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