Doble negación

En lógica proposicional, la doble negación es el teorema que afirma que "Si un

enunciado es verdadero, entonces no es el caso de que la declaración no es cierta". Esto
se expresa diciendo que una proposición A es lógicamente equivalente a no (no-A), o por
la fórmula A≡~(~A) donde el signo ≡ expresa equivalencia lógica y el signo ~
expresa negación.1

Al igual que la ley del tercero excluido, este principio es considerado como ley del
pensamiento en la lógica clásica,2 aunque la lógica intuicionista no lo permite.3

Veamos, para empezar su tabla de verdad:

Mismos valores

p ¬p ¬(¬p)
V F V
F V F

En la columna p aparecen todos los posibles estados de verdad de p (es decir, p tiene

dos posibles interpretaciones, verdadero o falso), mientras que la columna ¬p muestra los
valores correspondientes a la negación de p.

Los valores de la columna ¬(¬p) no son más que la negación de ¬p (que a su vez ya es

una negación). De esta forma, si ¬p es V, entonces ¬(¬p) es F, y viceversa. Lo notable de la
tabla anterior es que las filas de los enunciados p y ¬(¬p) son iguales para las dos filas (es
decir, para las dos posibles interpretaciones V y F).

Doble negación y lenguaje natural

En el lenguaje natural con frecuencia utilizamos la negación de forma diferente al uso

propio del lenguaje formal de la lógica. Es típico de las lenguas naturales hacer un uso
"poco lógico" de la negación. Así, en castellano decimos "No sé nada" para dar a entender
que nada sabemos, cuando si aplicamos una lógica estricta, no saber nada equivaldría
a saber algo.

Es importante recordar que cuando tengamos que formalizar la doble negación, en el

lenguaje formal de la lógica siempre nos referimos a un enunciado positivo.