La doble negación

En el apartado anterior decíamos que la doble negación era un ejemplo de equivalencia lógica. 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.

Esta "ilógica" sucesión de dobles negaciones de un enunciado para negar dicho enunciado también sucede con el
inglés coloquial (This ain´t no computer), y con el francés (Ceci n'est pas un ordinateur).

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.

Práctica de la doble negación

Practiquemos lo aprendido:
Las leyes de DeMorgan

Una primera ley de DeMorgan

El lógico del S. XIX Augustus DeMorgan descubrió dos equivalencias lógicas que desde entonces llevan su
nombre. Una de ellas se puede expresar del siguiente modo: ¬(p q) (¬p) (¬q).

Procedamos a demostrar que las expresiones a ambos lados del signo son lógicamente equivalentes:

Mismos
valores

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

Las dos columnas de los enunciados ¬(p q), y (¬p) (¬q) tienen los mismos valores de verdad y falsedad para
cada una de sus posibles interpretaciones. Por lo tanto, queda claro que son lógicamente equivalentes.

Fíjate que en lenguaje natural esta ley de DeMorgan se puede expresar de la siguiente forma: "La negación de
una conjunción es lógicamente equivalente a un enunciado disyuntivo en el que cada uno de sus
términos es negado"

Aplicación de esta primera ley de DeMorgan

 Veamos cómo esta ley de DeMorgan puede aplicarse en términos de lenguaje natural.

Sea p: "Soy varón", y sea q:"Soy mujer". En consecuencia, ¬(p q): "No es cierto que sea varón y mujer". Esto
es lo mismo que decir: "O no soy varón, o no soy mujer, o ni lo uno ni lo otro", que se puede formalizar como: (¬p)
(¬q). Fíjate que esto no es lo mismo que "Soy varón o mujer", que se formalizaría p q.

Una segunda ley de De Morgan

La otra ley de DeMorgan se puede representar de la siguiente manera: ¬(p q) (¬p) (¬q). En términos de
lenguaje natural, se puede formular de la siguiente manera: "La negación de una disyunción es lógicamente
equivalente a una conjunción en el que cada uno de sus términos es negado"

Te invitamos a que rellenes la siguiente tabla de verdad para comprobar que, en efecto, ¬(p q) (¬p) (¬q)

Mismos valores

p q p q ¬(p q) ¬p ¬q (¬p) (¬q)

VV

VF

FV

FF

Tabla de verdad que ilustra una de las leyes de DeMorgan: ¬(p q) (¬p) (¬q).

p q p q ¬(p q) ¬p ¬q (¬p) (¬q)

V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Los valores que aparecen en rojo son iguales.