XII OLIMPIADA INTERNACIONAL DE LGICA, 2015

FASE FINAL
NIVEL BACHILLERATO
Nmero de aciertos: _____________
Nombre: ____________________________________________ Institucin: _______________________
Instrucciones. Responde este examen en la Hoja de respuestas que se te ha proporcionado, teniendo en cuenta lo
siguiente:
Su elaboracin se ha centrado en el uso apropiado de los principios de la lgica clsica formal. Por lo cual, no
se requieren ms habilidades que las derivadas del estudio de la lgica clsica formal para resolverlo.
Los ejemplos son ficticios.
Considera solamente las premisas que estn explcitamente escritas.
Cuando leas la frase Qu se sigue?, el examen se refiere a seguirse segn la lgica clsica formal.
Las disyunciones expresadas en espaol debern interpretarse como disyunciones inclusivas a menos que
explcitamente se indique que son exclusivas (por ejemplo, incluyendo la expresin pero no ambas).
Las letras del abecedario latino (
etc.) se usan para representar proposiciones; las letras griegas se
usan para representar esquemas proposicionales (
etc.) y conjuntos de proposiciones (
etc.).
Los smbolos utilizados para las conectivas lgicas negacin, conjuncin, disyuncin inclusiva, condicional
material y bicondicional material son:
, respectivamente.
Otros smbolos usados son los signos de agrupacin, parntesis y llaves (, ), {, }.
Cada pregunta tiene una nica respuesta correcta. Elige, por tanto, para cada pregunta slo una opcin como
respuesta de las cinco posibles. Cada acierto que tengas te dar un punto.

Tienes una hora y media para resolver el examen. Suerte!

1. De las asignaciones de valores que aparecen abajo, cul hace verdaderas a todas las frmulas del
siguiente conjunto?
a) (F)= F, (G)= F, (J)=V, (M)=F, (N)= V.
b) (F)= V, (G)=V, (J)=V, (M)=V, (N)= V.
c) (F)= F, (G)=V, (J)=F, (M)=V, (N)= F.
d) (F)= F, (G)=F, (J)=F, (M)=F, (N)= V.
e) (F)= V, (G)=F, (J)=V, (M)=F, (N)= F.
2. El legatus romano Prudentus Temerosus no saba si era conveniente hacer frente a las tropas del
guerrero galo Vencesipuedix. Consult a cuatro adivinos y el primero le dijo si pierdes la infantera,
perders la guerra; el segundo declar o bien no perders la caballera o bien perders las
mquinas de asedio; el tercero aadi si no pierdes la infantera o pierdes las mquinas de asedio,
entonces perders la caballera. En cuanto escuch al cuarto adivino, Prudentus decidi que era
mejor huir que perder la guerra y llam a retirada. Qu dijo el cuarto adivino?
a) No perders las mquinas de asedio si y slo si pierdes la infantera.
b) O no perders la infantera o perders las mquinas de asedio.
c) Si pierdes la caballera, no perders las mquinas de asedio.
d) Perders la caballera y no perders la infantera.
e) Perders las mquinas de asedio.
Fase Final

OIL 2015

BACHILLERATO

3. Definimos el CONDICIONAL INVERSO como sigue

frmulas es equivalente a
?
a)
d)
b)
e)
c)

. Cul de las siguientes

4. Observa el siguiente argumento:

1.
2.
Cul de las siguientes opciones ofrece informacin que se puede agregar al argumento como premisas
de modo que siga siendo invlido?
a)
d)
b)
e)
c)
5. Cul es la negacin del siguiente enunciado? Si leo y estudio, paso el examen.
a) No leo y no estudio, y paso el examen.
d) No leo o no estudio, y paso el examen.
b) No leo y estudio, o paso el examen.
e) Leo, no paso el examen y estudio.
c) Leo y estudio, o no paso el examen.
6. De las asignaciones
siguiente conjunto?
a) (P)= V, (Q)=F,
b) (P)= F, (Q)=V,
c) (P)= F, (Q)=V,

de valores que aparecen abajo, cul hace verdaderas a todas frmulas del
(R)=V.
(R)=V.
(R)=F.

d)
e)

(P)= F, (Q)=F, (R)=F.

(P)= F, (Q)=F, (R)=V.

7. El amor es el silencio ms fino, el ms tembloroso, el ms insoportable. Cul de las siguientes

oraciones es lgicamente equivalente a la afirmacin anterior?
a) El amor no es el silencio ms fino, no es el ms tembloroso ni el ms insoportable.
b) El amor es el silencio ms fino y ms tembloroso si y slo si es el ms insoportable.
c) No es verdad que: el amor no es el silencio ms insoportable si es el ms tembloroso. Pero s es el
silencio ms fino.
d) Si el amor es el silencio ms tembloroso, entonces es el ms insoportable. Pero, indudablemente,
es el silencio ms fino.
e) O bien el amor es el silencio ms tembloroso, o bien es el ms fino. Pero no es el ms insoportable.
8. Cul es la negacin lgica de la siguiente oracin? Hay por lo menos un hombre que no es ni bueno
ni malo.
a) Hay hombres buenos y hay hombres malos.
d) No hay hombres que sean buenos y malos.
b) Todos los hombres o son buenos o son malos.
e) No hay hombres que sean o buenos o malos.
c) Ningn hombre es o bueno o malo.
9. Cul de las siguientes frmulas es contingente?
a)
b)
c)
d)
e)

Fase Final

OIL 2015

BACHILLERATO

10. Definimos las conectivas CONDICIONAL INVERSO y SEGUNDA PROYECCIN NEGATIVA

como sigue
y
. Cul de las siguientes frmulas es equivalente a
?
a)
b)
c)
d)
e)
11. Suponiendo que slo una de las siguientes frmulas es verdadera, cul es?
a)
b)
c)
d)
e)
12. Sabemos que existen por lo menos cinco gemas del infinito, a saber, la gema de poder, la gema del
espacio, la gema de la mente, la gema del alma y la gema de realidad. Sabemos que una de esas cinco
gemas est en el cetro de Loki y las otras cuatro estn en poder de Thanos en el otro lado del universo.
Pero no sabemos cul es la gema que est en el cetro. Tenemos las siguientes pistas.
(1) Si en el cetro de Loki no est la gema de la mente, entonces est la gema del espacio.
(2) Si en el cetro de Loki est la gema de la mente, entonces no est la gema de poder.
(3) Si en el cetro de Loki no est la gema del espacio, entonces est la gema de realidad.
(4) Si en el cetro de Loki est la gema de poder, entonces no est la gema del alma.
Cul es la gema del infinito que est en el cetro de Loki?
a) La gema de la mente.
d) La gema del espacio.
b) La gema de poder.
e) La gema del alma.
c) La gema de realidad.
13. Sea
a)
b)
c)
d)
e)

. Cul de las siguientes frmulas no se sigue de ?

14. Qu informacin hay que agregar al siguiente argumento para llegar vlidamente a la conclusin? O
bien Lewis Reagan le paga a tiempo a Boogie el aceitoso para que mate a Sonny Calabria, o bien
decide no mandar a matar a Sonny. Si Lewis Reagan decide no mandar a matar a Sonny Calabria,
entonces Boogie el aceitoso le dar una paliza a Lewis. Por lo tanto, o bien Boogie el aceitoso
asesinar a Sonny Calabria o bien le dar una paliza a Lewis Reagan.
a) Si Boogie el aceitoso asesina a Sonny Calabria, entonces Lewis Reagan le pagar a tiempo para
que lo haga.
b) O bien Boogie el aceitoso asesinar a Calabria, o bien Lewis Reagan le pagar a tiempo para que
lo haga.
c) Lewis Regan le pagar a tiempo a Boogie el aceitoso para que asesine a Sonny Calabria, pero
Boogie no asesinar a Sonny.
d) Si Boogie no asesina a Sonny Calabria, entonces Reagan le paga a tiempo para que lo haga.
e) Boogie el aceitoso asesinar a Sonny Calabria si y slo si Lewis Reagan le paga a tiempo para que
lo haga.

Fase Final

OIL 2015

BACHILLERATO

15. Cul es la negacin lgica del siguiente enunciado? Todos le dijeron a Julio que dejara de tomar.
a) Nadie le dijo a Julio que dejara de tomar.
b) Alguien le dijo a Julio que dejara de tomar.
c) Todos le dijeron a Julio que no dejara de tomar.
d) Alguien no le dijo a Julio que dejara de tomar.
e) Alguien le dijo a Julio que no dejara de tomar.
16. Dada la siguiente frmula
valores de verdad la hace verdadera?
a) (A)=V, (B)=F, (C)=V.
b) (A)=F, (B)=F, (C)=V.
c) (A)=F, (B)=V, (C)=F.
d) (A)=F, (B)=F, (C)=F.
e) (A)=V, (B)=V, (C)=F.

, cul de las siguientes asignaciones de

17. A qu equivale el siguiente enunciado? Todos los metaleros son enemigos de los darks.
a) No hay darks que no sean enemigos de los metaleros.
b) No hay metaleros que no sean amigos de algn darks.
c) Todos los metaleros son enemigos de algn darks.
d) No hay metaleros que no sean enemigos de los darks.
e) No hay algn darks que no sea amigo de un metalero.
18. Pedro le dijo a Juanito, su hermano menor, lo siguiente. "Si no estoy en el parque, entonces no har el
castillo de arena pero estar en el parque. Si no corro ni hago un castillo de arena, entonces no har
el castillo de arena pero estar en el parque." Juanito, que confiaba por completo en la palabra de su
hermano y pese a su joven edad tena impecables habilidades lgicas, pudo deducir que:
a) Pedro no correr y, si est en el parque, correr.
b) O bien si Pedro no corre estar en el parque, o bien si no hace el castillo de arena, correr.
c) Pedro no estar en el parque.
d) Si su mam viene a buscarlo, Pedro no estar en el parque.
e) Pedro correr y, si no est en el parque, har un castillo de arena.
19. Cul de las siguientes oraciones no es equivalente a la siguiente oracin Soy un hombre lobo si y slo
si no soy un vampiro?
a) Si soy un hombre lobo, no soy un vampiro; y, si no soy un vampiro, soy un hombre lobo.
b) Soy un vampiro si y slo si no soy un hombre lobo.
c) No es el caso que no soy un hombre lobo, si y slo si, no es el caso que no soy un vampiro.
d) Soy un hombre lobo y no soy un vampiro, o, no soy un hombre lobo y soy un vampiro.
e) No soy un hombre lobo o no soy un vampiro; y, soy un hombre lobo o soy un vampiro.
20. Supongamos que estamos en la isla de los caballeros y de los bribones. En esta isla todos son o
caballeros o bribones. Los caballeros siempre dicen la verdad y los bribones siempre mienten. En una
ocasin, Juan visit la isla y quera saber si haba o no un rey. Se encontr a un nativo de la isla del que
no saba nada. Entabl una pltica con l y le dijo que quera saber si haba o no rey en la isla, el nativo
dijo algo tal que el visitante supo que no haba un rey en la isla, aunque continu sin saber si el nativo
era o no un caballero. Qu dijo el nativo?
a) No hay un rey en la isla.
b) Si soy un caballero, no hay un rey en la isla.
c) S hay un rey en la isla.
d) O soy un bribn o hay un rey en la isla.
e) Hay un rey en la isla si y slo si soy un bribn.
Fase Final

OIL 2015

BACHILLERATO

21. Considerando el diccionario dado a continuacin, cul de las siguientes opciones es la formalizacin
ms adecuada para Es condicin suficiente para que Jos sea feliz, que Alejandro sea vegano si
Carlos tambin es vegano.?
Diccionario: J: Jos es feliz, A: Alejandro es vegano, C: Carlos es vegano.
a)
d)
b)
e)
c)
22. Cul de las siguientes oraciones no se sigue del siguiente conjunto de oraciones? Si Vision destruy
al ltimo Ultron, entonces Ultron ha desaparecido definitivamente. Si Quicksilver realmente muri,
entonces no saldr en la siguiente pelcula. Pero, o Quicksilver sale en la siguiente pelcula o Ultron
no ha desaparecido definitivamente. Si Quicksilver no muri realmente, estar celoso de Vision y
ayudar a Thanos a obtener la gema de la mente. Thanos obtendr la gema de la mente y Vision
destruy al ltimo Ultron.
a) No es el caso que Thanos obtendr la gema de la mente si y slo si Quicksilver realmente muri.
b) Quicksilver ayudar a Thanos a obtener la gema de la mente si y slo si es suficiente que Vision no
haya destruido al ltimo Ultron para que Quicksilver no ayude a Thanos a obtener la gema de la
mente.
c) Si Quicksilver aparece en la siguiente pelcula, entonces Ultron ha desaparecido definitivamente.
d) O bien, Quicksilver estar celoso de Vision y no ayudar a Thanos la gema de la mente, o bien,
Vision no destruy al ltimo Ultron.
e) Si Scarlet Witch se enamora de Vision, entonces Quicksilver estar celoso de Vision.
23. Cul de las siguientes asignaciones de valores de verdad muestra que la siguiente frmula no es una
contradiccin
?
a) (P)=F, (Q)=V, (R)=F, (S)=V.
d) (P)=F, (Q)=F, (R)=V, (S)=V.
b) (P)=V, (Q)=V, (R)=F, (S)=V.
e) (P)=F, (Q)=F, (R)=V, (S)=F.
c) (P)=F, (Q)=V, (R)=F, (S)=F.
24. Cul de las siguientes frmulas es la mejor formalizacin para la negacin de la siguiente oracin
considerando el diccionario dado? O bien sucede que si War Machine pelea contra Ultron, entonces
War Machine morir; o bien sucede que si Vision vence a Ultron, entonces War Machine es un intil.
Diccionario: : War Machine pelea con Ultron, : War Machine muere, : Vision vence a Ultron, :
War Machine es un intil.
a)
d)
b)
e)
c)
25. Cul de las siguientes oraciones es contingente?
a) Canto o no canto; si y slo si, no es el caso que: canto y no canto.
b) Si canto, entonces canto; y si no canto, entonces no canto.
c) Canto si y slo si no canto; y no canto si y slo si canto.
d) Canto y no canto; o canto si y slo si canto.
e) Canto y no canto; o, si canto, entonces no canto.
26. Cul de las siguientes oraciones no es contingente?
a)
b)
c)
d)
e)
Fase Final

OIL 2015

BACHILLERATO

27. Cul de las siguientes oraciones se sigue de la oracin Hay exactamente un hombre sabio y es feo?
a) Si un hombre no es feo, no es sabio.
b) Hay exactamente un hombre que no es feo y es sabio.
c) Si un hombre es feo es sabio.
d) Cualquier hombre sea feo o no, no es sabio.
e) Si hay exactamente un hombre sabio, entonces no es feo.
28. Juan dice: Si resuelvo un acertijo, gano el concurso.
Pepe dice: Si no gano el concurso, no resuelvo dos acertijos.
Si ambos dicen mentiras, cul de los siguientes enunciados es verdadero?
a) Juan gana el concurso y Pepe no gana el concurso.
b) Juan no gana el concurso y Pepe no resuelve dos acertijos.
c) Juan no gana el concurso y Pepe resuelve dos acertijos.
d) Juan no gana el concurso y no resuelve un acertijo.
e) Pepe gana el concurso y resuelve dos acertijos.
29. Dzahy y Julio acaban de hacerse amigos de Larry y quieren saber cundo es su cumpleaos. Larry les
da diez posibles fechas a ambos:
Julio 4 o 6
Agosto 5, 6 o 9
Septiembre 4, 5 o 7
Octubre 7 u 8
Instantes despus, y por separado, Larry dice a Dzahy el mes en que naci, en tanto que a Julio le dice
el da. Entonces los tres conversan lo siguiente:
Dzahy: No s cundo es el cumpleaos, pero s que Julio no lo sabe tampoco.
Julio: Al principio no saba cundo era el cumpleaos de Larry, pero ahora lo s.
Dzahy: En ese caso, ahora tambin s cundo es el cumpleaos de Larry.
Cundo es el cumpleaos de Larry?
a) 9 de Agosto
d) 7 de Octubre
b) 5 de Septiembre
e) 7 de Septiembre
c) 6 de Julio
30. Cul es la forma lgica del siguiente circuito?

Tomando en cuenta que:

equivale a

, y que:

equivale a
a)
b)
c)
d)
e)

Fase Final

OIL 2015

BACHILLERATO