Apndice: ejercicios prcticos

Con la finalidad de adquirir el dominio de las tcnicas bsicas de lgica de enunciados

estudiadas anteriormente, planteamos los siguientes ejercicios que abarcan la formalizacin de
argumentos a partir del lenguaje natural, las tablas de verdad y la deduccin lgica.
A) Formalizacin de argumentos
Comenzaremos por un ejercicio elemental Son frmulas las siguientes expresiones o no lo son?
1) p q
2) pp
3) p r
4) (pq) s
5) (p r ) t
6) p rt
7) (p s q) r
7) (p rt) (pq) s
8) (pq) s r
9) p q s
10) (r s)
11) Para empezar, practicaremos con unas afirmaciones sencillas en las que aparecen personajes
escogidos al azar a los que mueve una lgica:
a) Un aficionado al cine:
Vi la pelcula Lo imposible y me qued de piedra con el efecto del maremoto.
b) Un enamorado que saba combatir el fro en medio de un temporal de nieve:
A quince bajo cero soplaba un helado viento del norte en esta parte de Rusia, pero no
senta fro abrazndote, vida ma.
c) Un hombre indignado que le ha robado las llaves del coche a otro:
Me devuelves el dinero que te prest el ao pasado o me quedo con tu deportivo y me
llevo en l a mi novia de fiesta.
d) Una vicepresidenta a su lder:
Puedes ir por ah diciendo que estamos saliendo de la crisis econmica si y solo si se
detiene el paro, Mariano. (El lder: Me dejas entonces decirlo, Soraya?)
e) Un alumno que crey que este instituto era el mejor:
Si no son aburridas las clases de de este instituto, que venga Dios y lo vea.
(Entonces, desde el fondo del pasillo se oye una voz hueca y majestuosa que dice: Ya
lo veo.)
f) El hombre del tiempo:
Maana llover o no har fro si y slo si entra por fin el frente de bajas presiones que
viene de la Azores y dejan de llegarnos estos vientos rticos.
g) Un hombre que se siente engaado:
Morir de amor o sufrir depresin si y slo si Eva se va con Diego a Mosc y vuelven
el mes que viene.
h) Un antisistema con su habitual lgica:
Cuando los polticos dejen de ser corruptos o tomen decisiones populares como darnos
vivienda gratuita, no tendremos que salir a la calle a tirarle cocteles molotov a la polica
y a destrozar los cajeros de los bancos.

12) Ahora, probaremos suerte con unas antiguas canciones:

No me amenaces (bis),
Si ya ests decidido, pues agarra tu rumbo y vete.
Pero,
no me amenaces (bis),
que ya eres mayorcito, ya entiendes la vida,
y ya sabes lo que haces.
(Mara Dolores Pradera, No me amenaces.)
Pjaro que abandona, cielito lindo,
su primer nido,
se lo encuentra ocupado, cielito lindo,
y muy merecido.
(Cancin popular mejicana)
13) Tambin la literatura tiene su lgica. Veamos lo que le pasa a D. Juan Tenorio:
Cuan gritan esos malditos!
Pero mal rayo me parta
si en acabando esta carta
no pagan caros sus gritos.
(J. Zorrilla, Don Juan Tenorio.)
14) El ladrn mafioso tambin razona con lgica, aunque sea con lgica criminale:
Se la cassaforte della banca situata nel pianterreno dell'edificio, allora devo entrare alla forza
per la frutera contigua all'ufficio. Se entro per la frutera, dovr gettare la persiana ed eliminare
alla fruttiera. Se elimino alla fruttiera, lascer ad una donna vedova, la sua. Se non rubo la banca
e non compio con D. Guiseppe Calzone, lascer ad una donna vedova, la mia. Pertanto, tanto se
rubo come se non rubo la banca lascer ad una donna vedova.
Si la caja fuerte del banco est situada en la planta baja del edificio, entonces debo entrar a la
fuerza por la frutera contigua a la oficina.
Si entro por la frutera, tendr que echar la persiana y eliminar al frutero.
Si elimino al frutero, dejar a una mujer viuda (la suya).
Si no robo el banco y no cumplo con D. Guiseppe Calzone, dejar a una mujer viuda (la ma).
Por lo tanto, tanto si robo como si no robo el banco dejar a una mujer viuda.
15) Y el estudiante de lgica, tambin tiene su lgica:
Si no estudio hoy lgica, suspender el examen.
Si suspendo el examen, me quedar la lgica para junio.
Si me queda para junio, no aprobar la asignatura.
Si no apruebo la asignatura, pasar el mes de agosto estudiando lgica.
Pero he quedado con Alicia esta tarde (Ay, A-li-cia!) y, desde luego, no voy a estudiar lgica
(porque con ella aprendo cosas ms interesantes, aunque menos lgicas).
Luego...

16) Al final de Los pitaras del Caribe, II, Elisabeth Swann est bastante confusa. Se dice a s
misma en la cubierta del barco, mientras el Craquen (no os extraes, su nombre ha sido escrito
con ortografa espaola):
Amo a Jacques Sparrow o amo a William Turner. (Oh! Qu lo!)
Pero si no amo a William, entonces no amo al Capitn Sparrow.

17) Pero tambin los poderosos tienen su lgica, a veces egocntrica, a veces incendiaria.
Veamos el dilema irrebatible para destruir una biblioteca que estimulada el conocimiento.
La Biblioteca de Alejandra. Fue fundada
por el rey greco-egipcio Tolomeo I Ster,
general de Alejandro Magno, en la ciudad
de Alejandra, fue ampliada por su hijo
Tolomeo II Filadelfo a principios del siglo
III a.C. Se considera que tuvo la mayor
coleccin de libros de la edad antigua Los
eruditos encargados de la biblioteca eran los
hombres ms capaces de la Alejandra de la
poca. Zendoto de
feso, cuya
especialidad era la clasificacin de poesa,
fue el primero en obtener el cargo de
bibliotecario. Bajo el reinado de Tolomeo
II, la biblioteca principal, en el Museo de
Alejandra, al parecer albergaba casi
500.000 volmenes o rollos. La mayora de
los escritos antiguos se conservaban en estas colecciones, de las que se hacan copias que se
difundan a las bibliotecas del resto del mundo civilizado. En gran parte, los antiguos trabajos han
sobrevivido hasta los tiempos modernos gracias a esas copias, ya que la Biblioteca de Alejandra fue
casi destruida en su totalidad en varias ocasiones. En el 47 a. C., durante la guerra civil entre Julio
Csar y los seguidores de Pompeyo Magno, Csar fue asediado en Alejandra; un incendio que
destruy la flota egipcia se extendi a algunos depsitos de libros y aproximadamente se quemaron
40.000. Posteriormente sufri otros incendios parciales hasta que en el ao 640 fue definitivamente
destruida por los musulmanes bajo el mando del califa Omar I. (Informe tomado de Biblioteca de
Consulta Microsoft Encarta 2005.)

Segn la leyenda, hacia el ao 640 de nuestra era, en plena expansin del Islam, el califa Omar I
argument lo siguiente contra la Biblioteca de Alejandra antes de ordenar incendiarla:
Los libros de esta biblioteca contienen lo mismo o algo contrario a El corn
Si contienen lo mismo, son superfluos.
Si contienen lo contrario, son herticos.
Si son superfluos o herticos, deben ser quemados.
Luego, deben ser quemados.
(Argumento adaptado de Grup Embolic, Logos para legos, Valencia: Mestral Libros, 1987, p.
104)
18) En la investigacin policial, la argumentacin lgica se hace muy necesaria:
18.1) Los cmplices implicados
Si Luis es culpable, entonces Marina tambin lo es. Pero Leticia es culpable si y slo si es
culpable Marina. Leticia es culpable o Luis es inocente (= no culpable). Sin embargo, sabemos
que Luis es inocente. Por lo tanto, Marina y Leticia son culpables.
18.2) El asesino nocturno
El asesinato se cometi de noche o el principal sospechoso es ciego. Si fuese ciego, habra
existido un cmplice fiel. Si hubiese habido tal cmplice no se habra encontrado sobre la
vctima el carn de identidad del principal sospechoso. Pero se ha hallado el carn sobre la
vctima. Por lo tanto, el asesinato se cometi de noche.

18.3) El inspector Lucas Torres, es un hombre muy intuitivo. Aunque sus hiptesis a veces le
fallan, su lgica suele ser aplastante:
El crimen fue premeditado o fue fruto de un impulso pasional.
Si el detenido tiene mirada asesina, el crimen ha sido premeditado.
Si no se conoce relacin sentimental con la vctima, no ha sido fruto de un impulso pasional
Si no sabe explicar donde estaba a esa hora, l es el asesino.
Que el detenido tiene una fra mirada asesina que estremece!, es un hecho.
Adems, no conoca a la vctima y no aclara dnde estaba a la hora del crimen.
Luego, el detenido es el asesino y el crimen fue premeditado.
(Horas ms tarde se descubri a un hombre ensangrentado vagando por las calles y toda la hiptesis del
inspector Torres se vino abajo)

18.4) A segunda hora de la maana en el aula 24 se ha producido la misteriosa desaparicin de un mvil

modernsimo que adems de recibir y enviar llamadas, mensajes y guasapsajes, reproduce msica en
diferentes formatos, realiza fotografas, radiografas, ecografas y test de insulina, tiene un orientador
tipo GPS y sabe nadar si cae al agua. Como el dueo de semejante maravilla tecnolgica se encuentra en
un estado patolgico de ansiedad depresiva, a tercera hora, se inicia una investigacin por el Jefe de
Estudios, asesorado mediante videoconferencia escaipera (esto es a travs de Skipe) por el famoso
investigador de Scotland Yard, Robert Fisgonner. Tras la investigacin se sabe que a segunda hora
segn inform el profesor de guardia haba dos alumnos merodeando por el pasillo: Malena y Rubn.
Enterado de los hechos el Jefe de Estudios, se plantea las siguientes hiptesis para descubrir al ladrn:

Malena es culpable o Rubn es culpable

Si Rubn es inocente, entonces Malena es culpable.
Si Malena es inocente, Rubn es culpable.
Si Malena es culpable o Rubn es culpable, ambos son culpables.
(Aunque no ha descubierto al ladrn, se nota claramente que el Jefe de Estudios, informtico de
profesin, siendo ms joven estudi lgica. No obstante, la Jefatura de Estudios, sabiamente asesorada
por la inspectora, decide que deben pasarse todos los recreos en el Jardn de las Delicias haciendo
ejercicios de lgica y de sintaxis hasta que aparezca el preciado objeto. )

19) Y, por ltimo, demostraremos lgicamente la existencia de Dios, cuestin que ha torturado
la mente del hombre desde hace milenios. Lo haremos mediante el siguiente dilogo1:
Testa: Admitiras que Dios existe, si no estoy equivocado.
Ateo: Por supuesto, si t no ests equivocado, entonces Dios existe.
Testa: Por lo tanto, mi implicacin es verdadera.
Ateo: Desde luego que s!
Testa: Entonces, yo no estaba equivocado. Pero t has admitido que si yo no estaba
equivocado, entonces Dios existe. Por lo tanto Dios existe, ya que yo no estoy equivocado.
B) Tablas de verdad
Efecta la tabla de verdad de las siguientes expresiones indicando si se trata de una
tautologa, una contingencia o una contradiccin.
1. (AB) (BA)
1

Argumento adaptado a partir del que presenta Raymond Smullyan, Cmo se llama este libro? El
enigma de Drcula y otros pasatiempos lgicos, Madrid: Ctedra, 1983, p. 246.

2. (AB) B A
3. (A B) (AB)
4. (A B) (AB)
5. A B CB
6. (AB) (A C)
7. (A B) (A B)
8. (AB)(BA)
9. A(B C)C
10. A (B C) AB
11. (AB) (BC) (AC)
C) Problemas de deduccin lgica
Utilizando las reglas bsicas y derivadas de inferencia, obtener la conclusin pedidas en los
ejercicios siguientes:
Smbolos:
1) AB, B A
(Modus tollens)
2) AB, BC AC
(Silogismo hipottico)
3) A B, A C, B C C (Dilema, Dil)
4) A B, A B
(Silogismo disyuntivo, SD)
5) p q, r q r
6) p qr, qr s, p ps
7) p q, q r r p
8) pq r, p t, t q r
9) p s, t r, s t r p
10) t p, s p, (t s)
11) pq, q s r, s q p
12) pq, ( r t)

q, r t s ps
13) tq, q w, (p s) w s
14) s w t, p t , qp (s w)
15) p q t (p q)
16) p q, s p, s q t p
17) p r, p q, q t s, r t s
18) p (q r) q (p r)
19) (p p) p
(Ley de Clavius)
20) p (p q)
(Ley de Duns Scoto)
Bibliografa
ARISTTELES. Metafsica. Trad. de T. Calvo. Madrid: Gredos, 2006.
DEAO, Alfredo. Introduccin a la lgica formal, Madrid: Alianza, 1981.
FERRATER MORA, Jos. Diccionario de filosofa, Madrid: Alianza, 1982.
GARRIDO, Manuel. Lgica simblica, Madrid: Tecnos, 2005.
SMULLYAN, Raymon Cmo se llama este libro? El enigma de Drcula y otros pasatiempos lgicos. Trad. de C.
Garca Trevijano et al. Madrid: Ctedra, 1983.
WITTGENSTEIN, Ludwig. Tractatus logico-philosophicus. Trad. de E. Tierno. Madrid: Alianza, 1973.