Terminamos de resolver...👌

¿Nos echábais de menos? No os preocupéis porque aquí os traemos la resolución del tercer ejercicio propuesto de lógica formal... Era sencillo, ¿verdad? Esperamos que os haya salido, aquí os dejamos la solución para que podáis compararlo. Suerte!!😉

3. 

FORMALIZACIÓN Y DEMOSTRACIÓN:

p: se puede ser rico

q: se puede ser dichoso

r: la vida está llena de frustraciones

s: la vida es un camino de rosas

1. ㄱ(p ^ q) ⟶ (r ^ ㄱs)   Premisa            

2. q ⟶ ㄱp                      Premisa        ㅏ   r  

-3. ㄱr

 4. ᆨq ∨ᆨp                      Def. C. 2

 5. ᆨp ∨ᆨq                      COM. C. 4

 6. ㄱ(p ^ q)                       De Morgan. 5

 7. r ^ ㄱs                          E⟶. 1,6

 8. r                                   E^. 7

-9. r ^ ㄱr                           I^. 8,3

10. ㄱㄱr                           Iㄱ. 3,9

11. r                                  Eㄱㄱ10

Esta era la solución. Con esta entrada damos por concluido nuestro apartado de problemas de lógica, pero tranquilos, nos volveremos a ver (o quizá no, al fin y al cabo, ¿sabemos nosotros lo que va a ser de nuestra vida o lo que nos va a pasar mañana? ...En efecto nadie lo sabe y "yo sólo sé que no sé nada" [-Sócrates]).