Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[AYUDA] Ejercicio Discreta proposiciones logicas
Autor Mensaje
Meel501 Sin conexión
Empleado del buffet
Imposible de Tenerte si naces ...
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 11
Agradecimientos dados: 4
Agradecimientos: 18 en 1 posts
Registro en: Nov 2012
Mensaje: #1
[AYUDA] Ejercicio Discreta proposiciones logicas Ejercicios y 1 más Matemática Discreta
Hola, que tal? Resolviendo la guia de discreta llegue a este ejercicio y la verdad no se como avanzar.

Dar los casos para los cuales la proposicion
\[\left ( q \Rightarrow \left [ \left ( \sim p\vee r \right )\wedge \sim s \right ] \right )\wedge \left [ \sim s\Rightarrow \left ( \sim r\wedge q \right ) \right ]\]

Lo que yo hice fue simplificar ambas partes del ^ y me quedo esto, pero la verdad ni idea si lo que hice esta bien

\[\left ( \sim q\vee \sim p\vee r \right ) \wedge \left ( \sim q\vee \sim s \right ) \wedge \left ( s\vee q \right ) \wedge \left ( s\vee \sim r \right )\]

Si alguien me podria dar una mano, gracias!
09-09-2016 09:45
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Santón Sin conexión
Empleado del buffet
Vengo a parasitar apuntes.
*

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 14
Agradecimientos dados: 52
Agradecimientos: 31 en 3 posts
Registro en: Sep 2013
Mensaje: #2
RE: [AYUDA] Ejercicio Discreta proposiciones logicas
Hola! Bueno a ver, si la cosa es encontrar cuándo la proposición es cierta. Entonces veamos:
Si bien lo intuitivo es simplificar a disyunciones y conjunciones, a veces por ahí convenga usar otro método.
(q=>((-p v r)^ -s))^(-s=>(-r^q))
esto lo podemos modificar para que quede como una conjunción de condicionales:
(q=>(-p v r)) ^ (q=>-s)^(-s=>-r)^(-s=>q)
como tenemos un condicional q=>-s y su recíproco -s=>q podemos agruparlos en un bicondicional, quedando
(q=>(-p v r))^(q<=>-s)^(-s=>-r)
ahora, si el bicondicional (q<=>-s) es falso, entonces toda la proposición es falsa, por lo que podemos reducir la tabla de verdad y asumir que los casos donde q y -s no sean iguales son siempre falsos. Actuando sobre los casos donde el bicondicional es cierto, el condicional (-s=>-r) es igual al condicional (q=>-r), porque -s y q son equivalentes en los casos que estamos evaluando.
(q=>(-p v r))^(q<=>-s)^(q=>-r).
Podemos ahora agrupar los 2 condicionales porque tienen igual hipótesis (primer miembro).
(q=>((-pvr)^-r))^(q<=>-s)
ahora (-pvr)^-r es lo mismo que (-p^-r)v(r^-r), y como (r^-r) es contradicción en una disyunción, desaparece, quedando
(q=>(-p^-r))^(q<=>-s)
que es lo mismo que
(-qv(-p^-r))^(q<=>-s)
cambiamos el bicondicional a disyunciones y conjunciones
(-qv(-p^-r))^((q^-s)v(-q^s))

((-qv(-p^-r))^(q^-s)) v ((-qv(-p^-r))^(-q^s))

((-q^q^-s)v(-p^-r^q^-s)) v ((-q^-q^s)v(-p^-r^-q^s))
simplificamos redundancias y eliminamos contradicciones
(-p^-r^q^-s)v(-q^s)v(-p^-r^-q^s)
como uno de los miembros de la disyunción contiene a otro ((-q^s) está también en el tercer miembro), nos quedamos con el más simple
(-p^-r^q^-s)v(-q^s)
por lo tanto, la proposición es cierta sólo cuando, por un lado, q es igual a -s, y por el otro q es falso (-q es cierta), o p y r son falsos
p q r s
_ 0 _ 1
0 1 0 0
('_' significa 'cualquier cosa')
(Este mensaje fue modificado por última vez en: 14-09-2016 08:52 por Santón.)
12-09-2016 23:06
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)