Mensajes

Al final he conseguido resolver el ejercicio. La solucion estaba en la inclusión de la disyuncion, para despues quitarla. Pongo aqui todo el proceso por si alguien tiene una duda similar:

Suponiendo P se llega a que S^T.
Una vez tenemos S^T podemos decir que tenemos (S^T) v (¬R^Q) dado que la primera parte de la disyuncion siemrpe sera cierta. Por lo que suponiendo P llegamos a que (S^T) v (¬R^Q)

Suponiendo ¬R tenemos que ¬R^Q. De nuevo por la inclusion de la disyuncion podemos decir que(¬R^Q)v(S^T)

Dado que P y ¬R implican lo mismo. Y tenemos P v ¬R podemos eleminar la disyuncion y decir que (S^T)v(¬R^Q)

Al parecer iba mal encaminado con lo de que AvB;A->C;B->D y querer demostrar CvD.

Hola a todos. Estoy peleándome con un ejercicio de lógica y aunque el siguiente paso me parece obvio no se demostrarlo.

Básicamente es algo así

Premisas:

• Pv¬R
• P->T^R
• (R->S)^Q

Y tengo que demostrar que (S^T)v(¬R^Q)

He llegado a que:

• P-> (S^T)
• ¬R-> (¬R^Q)

Si os fijáis veréis que esto es algo así como

• AvB
• A->C
• B->D

y tengo que demostrar CvD

¿Puedo decir que dado que P->(S^T) y que ¬R->(¬R^Q) y que Pv¬R entonces (S^T)v(¬R^Q) ?

Me parece lógico al pensar algo como

• Si llueve, hace frio
• Si hace sol, hace calor
• Llueve o hace sol

¿No seria lógico decir que entonces hace frio o hace calor?

Si mi razonamiento es correcto ¿alguien puede decirme como se puede demostrar? y en caso de no serlo. Alguien puede darme alguna manera de enfocar el ejercicio?


Gracias
PD: No se si esto va aquí o debería haberlo publicado en algún otro foro...

documentate:

http://latercera.com/noticia/tendencias/ciencia-tecnologia/2010/09/739-294819-9-astrofisica-desmiente-existencia-de-embajadora-extraterrestre.shtml

http://es.wikipedia.org/wiki/Hurto

aqui pone qu en españa no se considera hasta los 400€, ¿eso que significa? ¿que si te roban 40€ no puedes denunciar o que?

Puedes denunciar hurto, pero no robo. La pena para cada caso es diferente.

omfg.
Realmente increible...

Si eso se aprueba me voy de España. Literal.

[Grooveshark]

Decid lo que querais, pero como mi Grooveshark (Sin limites, sin registro, sin publicidad...) no hay nada...

DoEvents!

Yo uso los dos, a veces me molesta tener el Grooveshark por el tema de que consume mas recursos y me ralentiza el navegador.

Puedo encontrar mucha pornografia .... lo grabo y lo mando?

Yo te votaria xD

Osease, tengo que tener facebook ¿no?

Si. Ya tengo mi cuenta

Romper la play no es la solucion. Ahora se comprara otra y seguira igual que antes pero con menos dinero.