Ir al contenido

Diferencia entre revisiones de «Leyes de De Morgan»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Perdon ya vuelve a estar tal como el original.
Abece (discusión · contribs.)
m Revertidos los cambios de 85.119.195.254 a la última edición de Ramonrt usando monobook-suite (vandalismo)
Línea 110: Línea 110:
[[vi:Luật De Morgan]]
[[vi:Luật De Morgan]]
[[zh:德·摩根定律]]
[[zh:德·摩根定律]]


CON

Revisión del 10:30 5 may 2010

Las leyes de De Morgan son una parte de la Lógica proposicional y analítica ,y fue creada por Augustus De Morgan (Madura,1806-Londres,1871).

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.


Prueba

Hay que utilizar las tablas de valores de verdad

V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

Demostración formal

si y solo si y .

para cualquier x:

inclusión:

ó

ó

Por lo tanto

inclusión:

ó

ó

Por lo tanto


y por lo tanto Q.E.D.


para se puede utilizar un método similar.

Con proposiciones

La prueba utiliza la asociatividad y la distributividad de las leyes y .

  • Verdad
  • Si verdad por n