Download Augustus De Morgan

Document related concepts

Leyes de De Morgan wikipedia , lookup

Negación lógica wikipedia , lookup

Disyunción exclusiva wikipedia , lookup

Augustus De Morgan wikipedia , lookup

Forma normal disyuntiva wikipedia , lookup

Transcript
Augustus De Morgan
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 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 De Morgan:
Su obra principal se titula: La lógica formal o el cálculo de inferencias necesarias y probables
(1847).
Home