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:
He llegado a que:
Si os fijáis veréis que esto es algo así como
¿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 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...
Básicamente es algo así
Premisas:
- Pv¬R
- P->T^R
- (R->S)^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
¿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
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...