Hugo Roberto Mansilla Ramírez 1190-18-9221

Ingeniería en Sistemas Ing. Gregorio Henríquez

Matemática Discreta 28/07/2018

¿Quién fue Augustus De Morgan?

Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico inglés nacido
en la India. Profesor de matemáticas en el Colegio Universitario de Londres entre 1828 y 1866; primer
presidente de la Sociedad de Matemáticas de Londres. De Morgan se interesó especialmente por
el álgebra. Fue tutor de Ada Lovelace. Escribió varias obras de lógica en las que se encuentra la idea de
aplicar en esta esfera los métodos matemáticos, así como los primeros resultados de tal aplicación. En la
moderna lógica matemática, llevan el nombre de Morgan las siguientes leyes fundamentales del álgebra de la
lógica: «la negación de la conjunción es equivalente a la disyunción de las negaciones »; «la negación de
la disyunción es equivalente a la conjunción de las negaciones ».

Autor de las Leyes de Morgan:

Su obra principal se titula La lógica formal o el cálculo de inferencias necesarias y probables

(1847).

Augustus De Morgan definió el término "inducción matemática" en 1838 él colocando un proceso que ha
sido usado sin claridad en una rigurosa base. El término aparece primero en el artículo de De
Morgan (Induction Mathematics) en el Penny Cyclopedia. Que la Penny Cyclopedia publicó a través de
Sociedad de la Difusión Útil del Conocimiento, establecido por el mismo reformador quien fundo London
University, y que la Sociedad también publico como un famoso trabajo por De Morgan
El cálculo integral y diferencial.

Reconsidero la pureza simbólica del álgebra natural y fue consciente de la existencia de otras álgebras como
álgebras ordinarias. Presenta las leyes De Morgan y su grandiosa contribución es como un reformador de la
lógica matemática.

De Morgan creo y definió las leyes que llevan su nombre, las cuales son reglas de equivalencia en las que se
muestran que dos proposiciones pueden ser lógicamente equivalentes.

Leyes del Morgan

Las Leyes de Morgan permiten:
1 . E l c a m b i o d e l operador de conjunción en operador de disyunción y viceversa.
2.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 estrategia general a seguir en la aplicación de las leyes de Morgan es el siguiente:
3 . S i n o s e n c o n t r a m o s c o n u n a p r o p o s i c i ó n conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposición disyuntiva con cada uno de sus miembros negados.

SU ESQUEMA ES EL SIGUIENTE:
¬(P∧Q) ≡(¬P∨¬Q)

4 . S i n o s e n c o n t r a m o s c o n u n a p r o p o s i c i ó n disyuntiva totalmente negada,

la ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de sus miembros
negados.

SU ESQUEMA ES EL SIGUIENTE:
¬(P∨Q) ≡(¬P∧¬Q)

5 . S i n o s e n c o n t r a m o s c o n u n a p r o p o s i c i ó n conjuntiva afirmada, la ley de Morgan nos

permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.

SU ESQUEMA ES EL SIGUIENTE:
(P∧Q) ≡ ¬(¬P∨¬Q)

6 . S i n o s e n c o n t r a m o s c o n u n a p r o p o s i c i ó n disyuntiva afirmada, la ley de Morgan nos

permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.

SU ESQUEMA ES EL SIGUIENTE:
(P∨Q) ≡ ¬(¬P∧¬Q)