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