Principe de la Double Négation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La règle en logique classique (propositionnelle et du premier ordre) selon laquelle une formule A est logiquement équivalente à sa double négation ¬¬A, autorisant l'inférence dans les deux sens entre A et ¬¬A.