Las Leyes 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, el producto de n variables proposicionales globalmente negadas es igual a la suma de las n variables negadas individualmente.
Demostración formal
si y solo si y .
para cualquiera x: ó
ó
Por lo tanto
inclusión:
ó
Con proposiciones
La prueba utiliza la asociatividad y la distributividad de las leyes y .
- Verdad
- Si verdad por n
No hay comentarios:
Publicar un comentario