Diferencia entre revisiones de «Leyes de De Morgan»
Apariencia
Contenido eliminado Contenido añadido
Revertidos los cambios de 190.25.1.226 a la última edición de |
|||
Línea 3: | Línea 3: | ||
== Las leyes de De Morgan == |
== 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. |
|||
Revisión del 12:50 1 jun 2010
Las leyes 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