30-03-2015, 21:34
Hola gente qué tal. ¿Podrían ayudarme con un ejercicio de Discreta que me está rompiendo la cabeza? Es de lógica.
El enunciado dice: Sin hacer la tabla de verdad, demostrar que las siguientes proposiciones son equivalentes.
[(¬P^¬Q)v R] = [(P=>R) ^ (Q=>R)]
Yo lo que hago es arrancar con el consecuente y empiezo a expandir usando las propiedades.
Pero siempre llego a un punto muerto y no sé cómo seguir.
Agradecería cualquier ayuda. Muchas gracias
El enunciado dice: Sin hacer la tabla de verdad, demostrar que las siguientes proposiciones son equivalentes.
[(¬P^¬Q)v R] = [(P=>R) ^ (Q=>R)]
Yo lo que hago es arrancar con el consecuente y empiezo a expandir usando las propiedades.
Pero siempre llego a un punto muerto y no sé cómo seguir.
Agradecería cualquier ayuda. Muchas gracias