Закон Клавия

Формальным образом закон Клавия можно записать следующим образом:

${\displaystyle (\neg A\rightarrow A)\rightarrow A}$

Другими словами, если некое утверждение является следствием своего отрицания, то это утверждение истинно.