double negation

قانون نقیض مضاعف ( Double Negation ) می گوید:
��A ≡ A
به این معنی که نقیض نقیض یک گزاره، خود آن گزاره است. به عبارت ساده تر، اگر یک گزاره را دو بار نقیض کنید، به حالت اولیه خود برمی گردد.