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

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

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

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