Автор вопроса не мог не заинтересоваться тем, что в математике закон ЭТОГО применяют при доказательствах от противного. Назовите ЭТО.
двойное отрицание
Зачёт: отрицание отрицания
В логике, согласно закону двойного отрицания, если неверно, что неверно суждение А, то верно суждение А. При доказательстве от противного также используют закон двойного отрицания. В тексте вопроса мы употребили двойное отрицание.