MATERIAL DE AMPLIACIÓN

9 Las leyes de de Morgan

Intente contestar esta hoja de ejercicios luego de haber completado la
ejercitación 9N.

En el capítulo 9 pensamos acerca de los significados posibles de un cartel en la puerta

del salón de deportes:

No se permite comida y bebida.

Intentando ser más preciso, el director lo reemplaza con este cartel:

No se permite traer al salón de deportes comida y bebida.

Sea p la proposición “Traigo comida al salón de deportes” y q la proposición “Traigo

bebida al salón de deportes”.
Entonces el segundo cartel se representa simbólicamente como ™( p š q ).

Investigación
a Elabore una tabla de verdad para ¬ (p š q).

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

Considere los casos:

1 Traigo comida pero no traigo bebida al salón de deportes.
2 No traigo comida pero traigo bebida al salón de deportes.
3 Traigo comida y traigo bebida al salón de deportes.
4 No traigo comida y no traigo bebida al salón de deportes.

Considere la tabla de valores de ¬ (p ∧ q) y decida cuál de los cuatro casos están

permitidos de acuerdo al cartel.
Ahora considere la proposición
No traiga comida o no traiga bebida al salón de deportes.

En símbolos esto es ¬ (p ∨ q).

b Elabore la tabla de verdad de ¬(p ∨ q).
p q (p ∨ q) ¬ (p ∨ q)
V V
V F
F V
F F

Considere la tabla de verdad de ¬(p ∨ q) y decida cuál de los cuatro casos están
permitidos de acuerdo a la cartel.
1 Traigo comida pero no traigo bebida al salón de deportes.
2 No traigo comida pero traigo bebida al salón de deportes.
3 Traigo comida y traigo bebida al salón de deportes.
4 No traigo comida y no traigo bebida al salón de deportes.
Hay una columna vacía en cada tabla de verdad. Complete la tabla de a para la
proposición ¬p ∨ ¬q y la tabla de b para la proposición ¬ p ∧ ¬ q .

© Oxford University Press 2016: Este material solamente puede ser reproducido para ser utilizado en Material de ampliación 1
clases del colegio del comprador
 MATERIAL DE AMPLIACIÓN

Las tablas de verdad indican que, para cualquier par de proposiciones p y q, la

negación de p š q es ™p › ™q y la negación de p › q es ™p š ™q . No hay diferencia
lógica entre ellas.
Estos resultados se conocen como las leyes de de Morgan y llevan el nombre del
matemático británico Augustus de Morgan (1806–1871).

➔ Las leyes de de Morgan ™( p š q ) œ ™ p › ™q

™( p › q ) œ ™ p š ™q

Hay que recordar que la equivalencia lógica solo depende de la estructura de las dos
proposiciones compuestas y que no importa el significado de las proposiciones iniciales
p y q. Las leyes de de Morgan son ejemplos de un argumento válido.

Ejercitación 1
1 Elabore tablas de verdad para las leyes de de Morgan.
Debería ocurrir que la columna final sean todas V.
2 Elabore una tabla de verdad para las proposiciones ¬ ( p ∧ q ) ⇔ ¬ p ∧ ¬ q y
¬ ( p ∨ q ) ⇔ ¬ p ∨ ¬ q . Observe que estos no son argumentos válidos.
3 Utilice las leyes de de Morgan para obtener las negaciones de las siguientes
proposiciones.
a ABC es un triángulo rectángulo isósceles.
b S es un círculo o un cuadrado.
c Los segmentos AB y CD son iguales y perpendiculares.
d Se puede usar el teorema del seno o el teorema del coseno.
e ABCD es un cuadrilátero con lados iguales y ángulos iguales.
4 Utilice las leyes de de Morgan para hallar negaciones de las siguientes proposiciones.
a x = 4 o x = −5
b 3<π<4
c y es un entero o una fracción.
d n es un número impar que es un cuadrado perfecto.
5 En el algebra de conjuntos las leyes de de Morgan son
( A ‰ B )c Ac ˆ B c y ( A ˆ B )c Ac ‰ B c
Dibuje diagramas de Venn para ilustrar estas leyes.

© Oxford University Press 2016: Este material solamente puede ser reproducido para ser utilizado en Material de ampliación 2
clases del colegio del comprador
 MATERIAL DE AMPLIACIÓN

Soluciones del material de extensión del capítulo 9

Tabla de verdad de ¬ ( p ∧ q )
p q (p ^ q) ¬ (p ^ q)
V V V F
V F F V
F V F V
F F F V
Solo el caso 3 no está permitido, de acuerdo al cartel.
Tabla de verdad de ¬ ( p ∨ q )
p q (p ∨ q) ¬ (p ∨ q)
V V V F
V F V F
F V V F
F F F V
Solo el caso 4 está permitido, de acuerdo al cartel.

Ejercitación 1
2 ¬ ( p ∧ q ) ⇔ ¬ p ∧ ¬ q ¬ ( p ∨ q ) ⇔ ¬ p ∨ ¬ q . Observar que estos no son argumentos válidos.

p q (p ^ q) ¬(p ^ q) ¬p ¬q ¬p ^ ¬q ¬ (p ^ q) ⇔ ¬p ^ ¬q
V V V F F F F V
V F F V F V F F
F V F V V F F F
F F F V V V V V

¬ ( p ∨ q ) ⇔ ¬p ∨ ¬q
p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∨ ¬p ¬ (p ∨ q) ⇔ ¬p ∨ ¬q
V V V F F F F F
V F V F F V V V
F V V F V F V V
F F F V V V V F

3 a ABC NO es un triángulo rectángulo O NO es un triángulo isósceles.

b S NO es un círculo Y NO es un cuadrado.
c Los segmentos AB y CD NO son iguales O NO son perpendiculares.
d NO se puede usar el teorema del seno Y NO se puede usar el teorema del coseno.
e ABCD es un cuadrilátero que NO tiene lados iguales O NO tiene ángulos iguales.
4 a x ≠ 4 y x ≠ − 5. b π < 3 o π > 4.
c y NO es un entero Y NO es una fracción.
d n es PAR O n NO es un cuadrado perfecto.

5 ( A ‰ B )c Ac ˆ B c
El lado izquierdo de la igualdad es El lado derecho de la igualdad es la intersección de

que es el sombreado doble

Por lo tanto,
lado izquierdo = lado derecho

© Oxford University Press 2016: Este material solamente puede ser reproducido para ser utilizado en Material de ampliación 3
clases del colegio del comprador