Diferencia entre revisiones de «Leyes de De Morgan»
Apariencia
Contenido eliminado Contenido añadido
Perdon ya vuelve a estar tal como el original. |
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