Leyes de De Morgan

(algebra proposicional)
 (27 de junio de 1806 – 18 de marzo de
1871) matemático y lógico. Nació en
Madurai, Tamil Nadu, India, de padres
ingleses.
 Fue el primer presidente de la Sociedad
de Matemáticas de Londres, su mayor
interés lo prestó al álgebra.
 Fue un niño muy retraído y tenía
dificultades para aprender. Además, su
relación con los demás niños era mala.
 Su gran contribución en el ámbito
matemático es que reconoció la
existencia de otras álgebras diferentes
de la ordinaria y reformó la lógica
matemática.
 Muchos definieron a este matemático
como un sujeto aburrido, pedante,
pragmático y cascarrabias.
 La Sociedad Matemática de Londres
entrega cada tres años la Medalla De
Morgan (lleva este nombre en su honor)
para reconocer la labor de
matemáticos.
 Constituyen una pequeña parte de la lógica
proposicional y analítica, creadas por Augustus De
Morgan.
 Estas declaran las reglas de equivalencia en las
que se muestran que dos proposiciones pueden
ser lógicamente equivalentes.
 El cambio del conectivo de conjunción en
conectivo de disyunción y viceversa. Las
proposiciones conjuntivas o disyuntivas a las que
se aplican las leyes de Morgan pueden estar
afirmadas o negadas (en todo o en sus partes).
 “La negación de una conjunción
equivale a la disyunción de las
negaciones”

~ (p ^ q) ≡ ~p v ~q
Sea la proposición:
Un mes tiene 4 semanas y un día tiene 20 horas.
El enunciado cuenta con dos proposiciones:
p: un mes tiene 4 semanas
q: un día tiene 20 horas
Proposición compuesta: p ^ q
Negación: ~ (p ^ q)
Negación y su equivalente: ~ (p ^ q) ≡ ~ p v ~ q
La negación de la preposición es:
Un mes no tiene 4 semanas o un día no tiene 20
horas.
 “La negación de una disyunción
equivale a la conjunción de las
negaciones”

~ (p v q) ≡ ~p ^ ~q
Sea la proposición:
Un gato es un felino o un perro es canino
El enunciado cuenta con dos proposiciones:
p: gato es un felino
q: un perro es un canino
Proposición compuesta: p v q
Negación: ~ (p v q)
Negación y su equivalente: ~ (p v q) ≡ ~ p ^ ~ q
La negación de la preposición es:
Un gato no es un felino y un perro no es un canino.
“En las proposiciones condicional (p → q)
las equivalente a su negación es”:

~ (p → q) ≡ p ^ ~q
Sea la proposición:
Si Júpiter es un planeta entonces la Luna es un
satélite
El enunciado cuenta con dos proposiciones:
p: Júpiter es un planeta
q: La Luna es un satélite
Proposición compuesta: p → q
Negación: ~ (p → q)
Negación y su equivalente: ~ (p → q) ≡ p ^ ~ q
La negación de la preposición es:
Júpiter es un planeta y la Luna no es un satélite
“En las proposiciones bicondicional
(p ↔ q) las equivalente a su negación es”:

~ (p ↔ q) ≡ (p ^ ~q) v (q ^ ~ p)
Sea la proposición:
Un triangulo tiene tres lados si y solo si un cuadrado tiene cuatro
ángulos rectos.
El enunciado cuenta con dos proposiciones:
p: un triángulo tiene tres lados
q: un cuadrado tiene cuatro ángulos rectos.
Proposición compuesta: p ↔ q
Negación: ~ (p ↔ q)
Negación y su equivalente:
~ (p → q) ≡ (p ^ ~ q) v (q ^ ~ p)
La negación de la preposición es:
Un triángulo tiene tres lados y un cuadrado no tiene cuatro
ángulos rectos, o un cuadrado tiene cuatro ángulos rectos y un
triángulo no tiene tres lados.
Si me pagan vamos al cine y vamos a
cenar.
 Si como una manzana entonces no
como una naranja.
 Voy a ganar mi curso de estructuras
lógicas si y solo si le caigo bien al
licenciado.
 No tomo café o no como pastel.