- La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas. [-(p^q) = -pV-q]
- La negación de una "o" es logicamente equivalente a "y" de cada una de las proposiciones simples negadas. [-(pVq) = -p^-q]
Son razonamientos demasiado lógicos que si logramos hacer un
procedimiento completamente bien, nos debería quedar un mismo resultado
aun no sabiendo las reglas de D' Morgan.
La comprensión es algo confusa ya que tendríamos que saber que valores
usar, que tipo de proposicion compuesta cambiar y a cual cambiarla y
conocer de memoria lo que la regla establece para evitar cualquier
equivocación a la hora de aplicarlo a la practica.
Ejemplos:
Un ejemplo de las leyes de D' Morgan seria la siguiente oración:
* Escriba la negacion de "Es verano y no hay nieve"
- p^q ------- negado: -(p^q)
-pV-q
= NO es verano O hay nieve.
* Escriba la negacion de "Yo no voy o ella va"
- pVq ------- negado: -(pVq)
-p^-q
= Yo voy Y ella no va.
No hay comentarios:
Publicar un comentario