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






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.

por (300 puntos) 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.
por (1,7m puntos)
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

...