Hola que tal, estaba haciendo el trabajo n°1 de discreta y en el punto 1.4 que dice: Considerar las proposiciones p,q,r y contestar cada una de las siguientes cuestiones:
Nose como mostrar la equivalencia sin la tabla de verdad
b) Sin hacer la tabla de verdad mostrar que las siguientes proposiciones son equivalentes:
[ (p ∨ q) => r ] y [ (p => r) ^ (q => r)]
Desde ya muchas gracias
Con las leyes que te enseñaron, deberias agarrar una de las 2 proposiciones y modificarlas hasta llegar a la otra.
Movido a Ingeniería en Sistemas de Información.
Te cambie el nombre para que sea mas ilustrativo del topic.
Deberias preguntar estas cosas en el campus virtual, de cualquier forma, en el libro de discreta hay una pequeña parte dedicada a como simplificar. Se llama tabla de equivalencias lógicas.
Te tiro una ayuda, ~p v q , es equivalente a p=>q.
yo la hice asi:
[(p v q)=>r] Equivalencia Lógica
¬ (pvq) v r De Morgan
(¬p^¬q) v r Distributiva
(¬p v r) ^(¬q v r) Equivalencia Lógica
[(p=>r) ^(q=>r) ] DEMOSTRADO
espero que sea así... greetings!!!!!
Esta muy bien eso
solotzzo pero acordate que son dos demostraciones con el igual! X es igual a Y e Y es igual a X
ah... no sabía que se hacía asi... y bueno... la otra parte es más fácil... jajajja... gracias por la observación caro!!!!!!