Другие формулировки
Закон двойного отрицания тесно связан с законом исключённого третьего, а также с так называемым законом Пирса. В определённом смысле все три закона эквивалентны. Так, в интуиционистском исчислении высказываний, где эти законы не являются тавтологиями, каждый из этих двух законов выводим из другого, а добавление любого из них в аксиоматику сразу приводит к классической логике. При этом однако, существуют логики, в которых все три закона неэквивалентны[1].