* Les paso ejercicios para traducir a lenguaje lógico, y derivar la conclusión mediante reglas y otros de derivación. 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. ......................................................  
2. ......................................................  
3. p ---> -q                                                 Conclusión a derivar:.................



 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 &.....) ----> ................
2. ............ ----> (......&......)  
3. -q
4. t ---->.........…                                        Conclusión a derivar:.........……..


III. Si las langostas destruyeron el trigo, habrá una hambruna y la población se levantará en armas. Si esto último es hecho por la población, no habrá paz social. Alberto salió corriendo a la Iglesia. Si sale corriendo así, es únicamente porque las langostas destruyeron el trigo. Por tanto, tendremos hambruna y no paz social.

 Código:
p: Las langostas destruyeron el trigo.
q: Habrá hambruna
r: La población se levantará en armas.
s: Habrá paz social
t: Alberto salió corriendo a la Iglesia

1. ..........---> (.....&.....)
2. ......................................
3. t
4. t ---->........                                           Conclusión a derivar: (.......& -s)

** 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



1. p ---> ((pvq)----->(t&m))
2. p                                        derivar: t



1. ((p v q) v r) ----> -s
2. p & t                                  derivar: t &-s


1. (pvq) & r
2. (-p & -s)
3. q ---> t
4. m --> s                        derivar: t & -m