// leyes y reglas · Ley fundamental
Ley de doble negación_
La doble negación afirma que negar dos veces una proposición devuelve la proposición original. Es una de las leyes más simples de la lógica clásica y, a la vez, una de las más discutidas: la lógica intuicionista la rechaza precisamente por sus consecuencias filosóficas.
Ejemplo
¬¬p ⇔ p
Significado de las variables
- ▸ p: «El tren llegó a tiempo»
En palabras
«No es cierto que el tren no llegó a tiempo» equivale a «el tren llegó a tiempo».
Tabla de verdad
| p | ¬p | ¬¬p | ¬¬p ⇔ p★ |
|---|---|---|---|
| V | F | V | V |
| F | V | F | V |
Clasificación: Tautología · 2 filas
Enunciado
La ley afirma que ¬¬p ≡ p. Con una sola variable, la tabla tiene dos filas y en ambas los dos lados coinciden, por lo que el bicondicional es una tautología.
Se lee como que la negación es una operación involutiva: aplicarla dos veces es lo mismo que no aplicarla. En términos de conjuntos, el complemento del complemento de un conjunto es el conjunto original.
Por qué es válida: lectura de la tabla
Fila 1 (p = V): ¬p es F y ¬¬p vuelve a ser V, que coincide con p. Fila 2 (p = F): ¬p es V y ¬¬p es F, que también coincide.
El razonamiento descansa en el principio de bivalencia: en lógica clásica toda proposición es verdadera o falsa, sin estados intermedios, así que descartar la falsedad equivale a afirmar la verdad.
Cómo se usa
Es un paso de limpieza obligatorio tras aplicar las leyes de De Morgan, que suelen generar negaciones anidadas. Sin ella, las fórmulas crecerían indefinidamente.
También sostiene la demostración por reducción al absurdo en su versión clásica: si suponer ¬p lleva a una contradicción, se concluye ¬¬p y, por esta ley, p.
Ejemplos
Cotidiano: «no es falso que apruebe» significa simplemente «apruebo». En el lenguaje natural, sin embargo, la doble negación a veces se usa para matizar («no está mal» no es exactamente «está bien»), lo que no ocurre en lógica formal.
Programación: `!!valor` en JavaScript es un idioma habitual para convertir cualquier valor a booleano, y `!(!activo)` es simplemente `activo`.
Lógica intuicionista
En la lógica intuicionista, donde demostrar algo exige construirlo, ¬¬p ⇒ p no se acepta como válida en general: saber que la no existencia es imposible no basta para exhibir un ejemplo.
La dirección contraria, p ⇒ ¬¬p, sí se acepta en ambos sistemas. Esta asimetría es la que separa la lógica clásica de la constructiva y está emparentada con el rechazo del tercero excluido.
Pruébalo tú mismo
Modifica la expresión en la calculadora y observa cómo cambia cada paso de la tabla.
Abrir en la calculadora →Operadores relacionados
Preguntas frecuentes
¿Tres negaciones equivalen a una? ▼
Sí: ¬¬¬p ≡ ¬p. Las negaciones se cancelan de dos en dos, así que un número par equivale a ninguna y uno impar, a una sola.
¿Por qué la lógica intuicionista la rechaza? ▼
Porque exige que una demostración construya el objeto afirmado. Descartar que p sea imposible no construye p, así que ¬¬p no basta para concluir p.
¿Se usa al aplicar De Morgan? ▼
Constantemente: al distribuir la negación sobre una conjunción o disyunción aparecen negaciones dobles que esta ley elimina.