uyuni

Leyes de De Morgan
Las leyes de De Morgan son una parte de la lógica proposicional y álgebra de Boole, y fueron creadas por Augustus De Morgan (1806-1871).
[editar]Las leyes de De Morgan
LasLeyes De Morgan sirven para declarar que la suma de n variables proposicionales globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que inversamente, elproducto de n variables proposicionales globalmente negadas es igual a la suma de las n variables negadas individualmente.


[editar]Demostración formal
 si y solo si  y .
para cualquiera x:  ó  ó 

Por lo tanto 
 inclusión:

 ó 
[editar]Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes  y .
Verdad
Si verdad por n




Quien fue Augustus DeMorgan?
Augustus De Morgan
(27 de junio de 1806 - 18 de marzo de 1871) fue un matemáticoy lógico inglés nacido en la India. Profesor de matemáticas en el Colegio Universitariode Londres entre 1828 y1866; primer presidente de la Sociedad de Matemáticas deLondres. De Morgan se interesó especialmente por el álgebra. Fue tutor de AdaLovelace. Escribió varias obras de lógica en las que se encuentra laidea de aplicar enesta 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 siguientesleyesfundamentales del álgebra de la lógica: «la
negación
 de la
conjunción
es equivalente ala
disyunción
de las
negaciones
»; «la
negación
de la
disyunción
es equivalente a la
conjunción
de lasnegaciones
».Autor de lasLeyes de De Morgan:Su obra principal se titula
 La lógica formal o el cálculo de inferencias necesarias y probables
(1847).http://es.wikipedia.org/wiki/Augustus_De_MorganAugustusDe Morgan definió él termino "
inducción matemática
" en 1838 él colocandoun proceso que ha sido usado sin claridad en una rigurosa base. El término aparece primero en el artículo de De Morgan...