ALGUNAS SOLUCIONES

 Traducir a lenguaje lógico (= formalizar) y derivar la conclusión mediante reglas. Algunas premisas ya fueron listadas, a veces parcialmente.

I. Si nieva, entonces, si no hay partido, vamos al cine. Nieva. Ahora bien: si nieva, no hay partido.
Por tanto, vamos al cine.

Código:
p: Nieva
q: Hay partido
r: Vamos al cine.


1. .....p--->(-q--->r).................................................
2. .....p.................................................
3. p ---> -q                                                 Conclusión a derivar:......r.............................

4. (-q--->r)  MP 1,2
5. -q   MP 2,3
6. r  MP 4,5


  II. Si la inflación siguió y no hubo cambios en el Central, Argentina no mantuvo su competitividad internacional. Si no hubo cambios en el Central, la inflación siguió y el peso se revaluó. Ahora bien: no hubo cambios en el Central. Por otra parte, si Argentina salió de la crisis, mantuvo su competitividad internacional. Podemos inferir de todo esto que el peso se revaluó y Argentina no salió de la crisis.

Código:
p: La inflación siguió.
q: Hubo cambios en el Central.
r: Argentina mantuvo su competitividad internacional.
s: El peso se revaluó
t: Argentina salió de la crisis.

1. (p &..-q...) ----> ......-r..........
2. ....-q........ ----> (..p...&..s....)
3. -q
4. t ---->....r........                              Conclusión a derivar:..s & -t...........
5. p&s  MP 2,3
6. p  sim 5
7. s  sim 5
8. p&-q  C 3,6
9. -r  MP 1,8
------------------------- (abro rectángulo)
10. t
11. r  MP4, 10
12. ! (9,11)
------------------------- (cierro rectángulo)
13. -t   RAA
14. s & -t   C 7,13

 Otros ejercicios sencillos de derivación: de las premisas indicadas, derivar la conclusión.

1. p & (p & r) ------> s

2. r & p
3. s --->t                    derivar: s & t

4. p  sim 2

5. r sim 2

6. p&r   C 4,5

7. p & (p & r)  C 4,6

8. s  MP 1, 7

9. t  MP 3, 8

10. s & t  C 8,9

1. p --->((pvq) --->(t & m))

2. p                                 derivar: t

3. (pvq) --->(t&m)   MP 1, 2

4. pvq   Ad. 2

5. t & m    MP 3,4

6. t  sim 5

1. ((p v q) v r) ----> -s
2. p & t                                  derivar: t &-s
3. p  sim 2
4. (pvq) adición 3
5. ((pvq) v r) adición 4
6. -s  MP 1,5
7. t  sim 2
8. t&-s  C 6,7


1. (pvq) & r
2. (-p & -s)
3. q ---> t
4. m --> s                        derivar: t & -m
5. pvq  sim 1
6. -p   sim 2
7. q   SD 5,6
8. t  MP 3,7
-------------------------  (abro rectángulo)
9. m
10. s  MP 4, 9
11. -s  sim 2
12. ! (10, 11)
--------------------------- (cierro rectángulo)
13. -m  RAA
14. t & -m  C 8,13