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

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

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

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