• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Cálculo Proposicional

0 votos

Demostrar la Conclusión del Argumento:

No es cierto que ni vaya al fútbol ni
vaya al cine. Pero si voy al cine, siempre
vuelvo pronto a casa. Sin embargo, hoy no
he vuelto pronto a casa. Luego, si no he ido
al cine, entonces he ido al fútbol.

preguntado por Juan Jose Briceño (300 puntos) Dic 18, 2013 en Interés general

1 Respuesta

+2 votos
Hola, nuevamente como el anterior.

$P:$ Voy al futbol

$Q:$ Voy al cine

$R:$ Vuelvo pronto a casa.

 

Premisas:

1) $\neg (\neg P \wedge \neg Q)$

2) $Q\Rightarrow R$

3) $\neg R$

 

1) Es equivalente a:

 4) $P\vee Q$

De 3) y 2) tenemos:

5) $\neg R \Rightarrow \neg Q$

 

De 4) y 5) tenenemos:

$(P\vee Q)\wedge \neg Q$, que es equivalente a  $P$.

Que es la conclusión deseada.

 

Saludos.
respondido por Juan (1,680 puntos) Dic 19, 2013
Totalmente de acuerdo con tu simbolización. Ahora, me parece que la conclusión deseada (lo que sigue a continuación del "luego, ...") es la implicación completa $\neg Q\Rightarrow P$... la cual es equivalente a 4) (que a su vez es equivalente a 1)), por lo que la demostración sería un poco más corta que la que pones aquí...
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...