Augustus De Morgan

Augustus De Morgan

Saltar a navegación, búsqueda

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:

$\lnot(A \land B) \leftrightarrow (\lnot A) \lor (\lnot B)$

$\lnot(A \lor B) \leftrightarrow (\lnot A) \land (\lnot B)$

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

Obtenido de "Augustus De Morgan"