Принцип двойственности отрицания заключается в том, что если выводится формула А и если А1 — дуальная формула к правильно построенной формуле А, то выводится и не-А. 12

Это следует из закона двойственности — закона математической логики, который гласит: «если формулы А и В равносильны, то и двойственные им формулы равносильны». 12