Quien fue Augustus De Morgan?

Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871) fue un matemtico y lgico ingls nacido en la India. Profesor de matemticas en el Colegio Universitario de Londres entre 1828 y 1866; primer presidente de la Sociedad de Matemticas de Londres. De Morgan se interes especialmente por el lgebra. Fue tutor de Ada Lovelace. Escribi varias obras de lgica en las que se encuentra la idea de aplicar en esta esfera los mtodos matemticos, as como los primeros resultados de tal aplicacin. En la moderna lgica matemtica, llevan el nombre de De Morgan las siguientes leyes fundamentales del lgebra de la lgica: la negacin de la conjuncin es equivalente a la disyuncin de las negaciones; la negacin de la disyuncin es equivalente a la conjuncin de las negaciones. Autor de las Leyes de De Morgan:

Su obra principal se titula La lgica formal o el clculo de inferencias necesarias y probables (1847). http://es.wikipedia.org/wiki/Augustus_De_Morgan

Augustus De Morgan defini l termino "induccin matemtica" en 1838 l colocando un proceso que ha sido usado sin claridad en una rigurosa base. El trmino aparece primero en el artculo de De Morgan (Induction Mathematics) en el Penny Cyclopedia. Que la Penny Cyclopedia public a travs de Sociedad de la Difusin til del Conocimiento, establecido por el mismo reformador quien fundo London University, y que la Sociedad tambin publico como un famoso trabajo por De Morgan El clculo integral y diferencial. Reconsidero la pureza simblica del lgebra natural y fue consciente de la existencia de otras lgebras como lgebras ordinarias. Presenta las leyes De Morgan y su grandiosa contribucin es como un reformador de la lgica matemtica. 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 lgicamente equivalentes.

Leyes del Morgan

Las Leyes de Morgan permiten: 1. El cambio del operador de conjuncin en operador de disyuncin 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 aplicacin de las leyes de Morgan es el siguiente: 3. Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 4. Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 5. Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) 6. Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros. SU ESQUEMA ES EL SIGUIENTE: (P Q) ( P Q) http://www.paginasobrefilosofia.com/html/derivada.html

Probar las leyes de De Morgan