Leyes de De Morgan
De Wikipedia, la enciclopedia libre
Las leyes de Morgan son una parte de la Lógica proposicional y analítica ,y fue creada por Augustus De Morgan (Madurai,1806-Londres,1871).
[editar] Las leyes de De Morgan
Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que inversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.


[editar] Demostración formal
si y solo si
y
.
para cualquier 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



