Prinzip der Doppelten Negation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Regel der klassischen Logik, dass eine Formel A logisch äquivalent zu ihrer doppelten Negation ¬¬A ist und somit in beiden Richtungen zwischen A und ¬¬A geschlossen werden darf.