en el veinteavo día de estrategias de resolución de problemas aprendimos sobre las leyes de morgan las cuales implican lo siguiente
Si p y q son proposiciones simples , o compuestas, entonces:
a) ¬(p ^ q) <=> (¬p v ¬q)
b) ¬(p v q) <=> (¬p ^ ¬q)
Negar una conjunción o una disyunción consiste en cambiar “v”o “^” y negar las proposiciones dadas.
Usando tablas de verdad podemos verificar que
p =>q <=> ¬p v q
Ejemplo de las leyes de Morgan:
Para negar la proposición 7 es un número primo y 30 es divisible por 5, cambiamos “y” por “o” y negamos proposiciones simples que forman el enunciado.
7 no es un número primo o 30 no es divisible por 5.
No hay comentarios.:
Publicar un comentario