Principio de Doble Negación
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La regla en lógica clásica (proposicional y de primer orden) según la cual una fórmula A es lógicamente equivalente a su doble negación ¬¬A, permitiendo inferencia en ambos sentidos entre A y ¬¬A.