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]).

Seguimos resolviendo...👍👍👎👎

De nuevo aquí estamos. Esperamos que os hayan estado saliendo estos problemas que os dejamos, pero si no es así, no os preocupéis, os vamos dejando las soluciones. Vamos allá!!!😉

2.

FORMALIZACIÓN Y DEMOSTRACIÓN:

p: el ejército marcha contra el enemigo

q: tiene posibilidades de éxito

r: arrasará la capital enemiga

s: se repliega rápidamente

t: el enemigo atacará la retaguardia

u: perderá la guerra

1. p → q        Premisa.

2. q → r         Premisa.

3. p ⅴ s          Premisa.       ㅏ ㄱr → u

4. s → t         Premisa.

5. t → u         Premisa.

-6. ㄱr

  7. p → r         Tr/ SIL 1,2

  8. s → u        Tr/ SIL 4,5

  9. ㄱp            MT 6,7

  10. s              SD2 3,9

 -11. u              E → (MP) 8,10

  12. ㄱr → u    I → 6,11

 Esta es la solución al segundo problema que os propusimos. Esperamos que os haya salido. Continuaremos en estos días con las soluciones.

Comenzamos a resolver...✔❌

Hola otra vez!! Aquí estamos tras dos semanas de ausencia, tiempo que os hemos dejado para resolver estos problemas que hemos subido hace unas semanas... Lo conseguisteis?? Bueno no os preocupéis porque ahora mismo sabréis las soluciones a ver qué tal salieron... Allá vamos!

1. 

FORMALIZACIÓN Y DEMOSTRACIÓN:

p: la tormenta continúa

q: anoche

r: nos quedamos a cenar

s: nos quedamos a dormir

t: ir mañana al concierto

 1. (p v q) → (r v s)    Premisa.

 2. (r v s) → ㄱt          Premisa.   ㅏ ㄱp  

 3. t                            Premisa.

  –4. p

    5. (p v q) → ㄱt       Tr/ SIL 1,2

    6. ㄱ(p v q)              M.T.  3,5

    7. ㄱp ^ ㄱq             De Morgan. 2 en 6

    8. ㄱp                      E៱ 7

  –9. p ^ ㄱp                 I៱ 4,8

   10. ㄱp.                     Iㄱ 4–9

Bueno chicos esta es la solución al primer problema, esperamos que os haya salido!! En estos días seguiremos subiendo el resto de soluciones😉