×

Augustus DeMorgan

¿Sabías que Augustus DeMorgan, además de bautizar con su apellido las las leyes lógicas que aquí presentamos fue el inventor de la barra para representar las fracciones?

Esto y más, en este enlace:

https://es.wikipedia.org/wiki/Augustus_De_Morgan

Una primera ley de DeMorgan

El lógico del S. XIX Augustus DeMorgan descubrió dos equivalencias lógicas que desde entonces llevan su nombre.

Augustus DeMorgan

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:

p q p∧q ¬(p∧q) ¬p ¬q (¬p)∨(¬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 DeMorgan

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)

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 V
F F

Práctica sobre las leyes de DeMorgan

Una nueva actividad para practicar lo aprendido sobre las leyes de DeMorgan:

    • p: No hay vida en la Luna
    • q: No hay vida en Marte
    • Elige la opción lógicamente equivalente a: ¬(p∨q)

    • p: Todos los filósofos están chiflados
    • q: Todos los profesores son crueles
    • Elige la opción lógicamente equivalente a: ¬(p∧q)

    • p: Bertrand Russell no fue pacifista
    • q: La guerra es moralmente buena
    • Elige la opción lógicamente equivalente a: ¬(¬p∨q)