XII OLIMPIADA

INTERNACIONAL DE LGICA, 2015

FASE ELIMINATORIA
NIVEL BACHILLERATO
Nmero de aciertos:
Nombre:

Instrucciones:

Institucin:

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 cticios.
Considera solamente las premisas que estn explcitamente escritas.
Cuando leas la frase: Qu se sigue? , el examen se reere 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 (P, Q, R, 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. Considera la premisa: Juan alza su cuarto si y solo si su mam no lo regaa. Qu premisa hay que agregar para que se
siga: Juan no alza su cuarto ?
a) Su mam lo regaa o le grita.
b) Su mam no lo regaa y no le grita.
c) Su mam lo regaa y le grita.
d) Su mam le grita y no lo regaa.
e) Su mam lo regaa o no le grita.
2. Cul es la negacin del siguiente enunciado?
Todo el que sea mi amigo en redes sociales ir a la esta.
a) Algunos de los que irn a la esta no son mis amigos en las redes sociales.
b) Ninguno de los que ir a la esta es mi amigo en las redes sociales.
c) Algunos de los que no irn a la esta no son mis amigos en las redes sociales.
d) Algunos de mis amigos en las redes sociales no irn a la esta.
e) Ninguno de mis amigos en las redes sociales ir a la esta.
3. Cul de las siguientes proposiciones no es una tautologa?
a) Tejo calcetines y no tejo calcetines; o no tejo calcetines.
b) No tejo calcetines o no tejo calcetines; si y solo si no tejo calcetines.
c) Tejo calcetines o no tejo calcetines.
d) Tejo calcetines si y slo si tejo calcetines.
e) Si no tejo calcetines entonces no tejo calcetines.
4. Qu no se sigue del siguiente conjunto de premisas? {(P Q) R, R& Q}
a) P S

b) ( P R)

c) Q P

d) ( R& P )

e) Q R

5. Qu no se sigue del siguiente conjunto de premisas? Si la foto sali movida, Luis no sali en la foto. Si Luis no sali en
la foto, Pepe y Juan s lo hicieron. Carlos no sali en la foto y la foto sali movida. Si Pepe sali en la foto, Luis se enoj.
a) Luis se enoj o la foto sali movida.
b) Pepe sali en la foto y Luis no sali en la foto. c) Juan sali en la foto y Pepe tambin.
d) Carlos sali en la foto o la foto no sali movida. e) Carlos no sali en la foto y Luis se enoj.
6. Qu enunciado es equivalente al siguiente? No es el caso que: el cielo es azul y no es blanco.
a) Si el cielo no es azul, entonces es blanco.
b) El cielo es azul y no es blanco.
c) El cielo no es azul y es blanco.
d) Si el cielo es blanco, entonces es azul.
e) Si el cielo es azul, entonces es blanco.
7. Cul de las siguientes proposiciones es una tautologa?
a) Si soy un ente, no soy un ente.
b) Soy un ente si y slo si no soy un ente.
c) No soy un ente si y slo si soy un ente.
d) Si soy un ente, soy un ente.
e) Si no soy un ente, soy un ente.
8. Cul es la negacin del siguiente enunciado? Si cantamos y bailamos, nos enamoramos.
a) No cantamos y no bailamos, y nos enamoramos. b) No cantamos y bailamos, o nos enamoramos.
c) Cantamos y bailamos, o no nos enamoramos.
d) No cantamos o no bailamos, y nos enamoramos.
e) Cantamos y bailamos, y no nos enamoramos.
9. Alicia hizo la siguiente pregunta a la oruga: De qu color es el vestido? La oruga le respondi: Si el vestido es azul y dorado,
entonces no es el caso que: sea blanco y negro al mismo tiempo. Si la oruga siempre dice mentiras, de qu color es el vestido?
a) El vestido es blanco y azul, pero no es negro, ni dorado.
b) El vestido es azul, blanco y negro, pero no es dorado.
c) El vestido es azul, dorado y blanco, pero no negro.
d) El vestido es azul, dorado, blanco y negro.
e) El vestido no es ni azul, ni dorado, ni blanco, ni negro.
10. Qu se sigue de las siguientes premisas? Existen algunos fantasmas que no asustan. Todos los fantasmas son transparentes.
a) Existe algo transparente que no es un fantasma. b)Existe algo transparente que no asusta
c) Existe algo que asusta y no es fantasma.
d) Existe algo que no asusta y no es transparente.
e) Existe algo que es transparente y asusta.
11. Considera el siguiente conjunto de premisas: {R S, S Q} Qu premisa hay que aadir para que se siga P Q?
a) R P
b) P R
c) P R
d) Q S
e) R P
12. Cul es la negacin del enunciado? Si no voy en coche a la playa, entonces disfruto el viaje.
a) No voy en coche a la playa o no disfruto del viaje.
b) Voy en coche a la playa o no disfruto del viaje.
c) No voy en coche a la playa o disfruto del viaje.
d) Voy en coche a la playa y no disfruto del viaje.
e) No voy en coche a la playa y no disfruto del viaje.
13. Sabemos que el siguiente enunciado es falso: Si Carlos es mdico o msico, entonces no es matemtico o no es lsofo. Qu
se sigue de esta informacin?
a) Carlos no es mdico y no es msico.
b) Carlos es matemtico y no es lsofo.
c) Carlos no es matemtico o no es lsofo.
d) Carlos es mdico o es msico.
e) Carlos no es mdico y es msico.
14. Cul de las siguientes proposiciones no es una contradiccin?
a) No es el caso que: voy al cine si y slo si voy al cine. b) No es el caso que: voy al cine y no voy al cine.
c) No es el caso que: si voy al cine, entonces voy al cine. d) No es el caso que: voy al cine o no voy al cine.
e) No es el caso que: si no voy al cine, entonces no voy al cine.
15. Qu no se sigue de las siguientes premisas? Todos los lgicos son genios si y slo si algunos genios son listos. Todos los
lgicos son genios.
a) Todos los lgicos son genios.
b) Algunos listos son lgicos.
c) Algunos listos son genios.
d) Si algn listo no es un genio, entonces algn listo no es lgico.
e) Algunos genios son listos.

16. Considera el siguiente enunciado: Luis es mi amigo si y solo si Carlos es mi amigo; y si Pepe es mi amigo, entonces Daniel
y Martn tambin lo son. Qu no se sigue de l?
a) Si Carlos es mi amigo, entonces Luis no es mi amigo.
b) Daniel y Martn son mis amigos, o Pepe es mi amigo.
c) Si Luis es mi amigo, entonces Carlos no lo es.
d) Daniel y Martn son mis amigos, o Pepe no es mi amigo.
e) Luis es mi amigo y Carlos no lo es; o Luis no es mi amigo y Carlos lo es.
17. La misteriosa escritora quiere saber quin de sus compaeros sabe bailar; y cuenta con las siguientes pistas: Si Julio sabe
bailar, entonces Gabriel no sabe. Si Gabriel sabe bailar, entonces Carlos no sabe. Juan sabe bailar si y slo si Octavio sabe
bailar. Gabriel sabe bailar o Juan sabe bailar; y Octavio no sabe bailar. Con esta informacin, la escritora supo quin saba
bailar. Quin era?
a) Julio
b) Gabriel
c) Carlos
d) Carlos
e) Octavio
18. Alicia hace la siguiente pregunta al sombrerero y a la oruga: Las rosas son blancas o son rojas? El sombrerero responde:
Las rosas no son azules, o si son rojas entonces son blancas. La oruga responde: Las rosas no son blancas o son amarillas,
y no son verdes. Sabiendo que el sombrerero siempre dice mentiras y la oruga siempre dice la verdad, podemos saber con
seguridad el valor de verdad de cada uno de los enunciados simples involucrados en las oraciones, excepto de uno; cul es
este enunciado?
a) Las rosas son amarillas.
b) Las rosas son azules.
c) Las rosas son rojas.
d) Las rosas son blancas.
e) Las rosas son verdes.
19. 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, hubo una epidemia que causaba que los
caballeros enfermos siempre dijesen mentiras y que los bribones enfermos siempre dijesen la verdad. Cul de las siguientes
oraciones no puede ser dicha por un caballero enfermo?
a) Soy un bribn.
b) Si soy un caballero, entonces estoy sano.
c) Si soy un caballero, entonces soy un bribn.
d) Soy un caballero si y slo si soy un bribn.
e) Si estoy sano, entonces soy un bribn.
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, hubo una epidemia que causaba que los
caballeros enfermos siempre dijesen mentiras y que los bribones enfermos siempre dijesen la verdad. Cul de las siguientes
oraciones puede ser dicha por un caballero enfermo?
a) Soy un caballero.
b) Si soy un bribn, entonces estoy enfermo.
c) Soy un bribn sano.
d) Estoy enfermo.
e) Si estoy sano, entonces soy un caballero.
21. Samantha Lomel y Alejandra Lomel son dos hermanas gemelas. Una siempre miente y la otra siempre dice la verdad. En
una ocasin se dio el siguiente dilogo: Samantha: Alejandra eres una mentirosa. Alejandra: Eso no es cierto. Samantha:
Yo digo la verdad si y slo si nuestro padre siempre miente. Alejandra: Yo digo la verdad si y slo si nuestra madre siempre
dice la verdad. Samantha: Eso es mentira. Alejandra: Lo que t dijiste es mentira. Qu podemos saber con certeza despus
de escuchar el dilogo?
a) Alejandra siempre dice la verdad.
b) Samantha siempre dice mentiras.
c) Samantha siempre dice la verdad.
d) El padre de las chicas siempre dice la verdad.
e) La madre de las chicas siempre dice la verdad.
22. Qu se sigue del siguiente conjunto de premisas?
{ Q S, P (Q& P ), P ((P S) P )}

a) S P

b) P (Q P )

c) P Q

d) S P

e) S P

23. Suponiendo que una y slo una de la siguientes oraciones es verdadera, cul es?
a) Andrs es lsofo.
b) Si Berto es historiador, entonces Andrs es lsofo.
c) Berto es historiador y Andrs es lsofo. d) Berto es historiador si y slo si Andrs es lsofo.
e) Berto es historiador.
24. Qu no se sigue de las siguientes premisas? Si Mara es valiente, se casar con Cristian. O bien Mara se casar con
Cristian o bien termina el doctorado. Mara es valiente.
a) O Mara es valiente o termina el doctorado.
b) Si Mara no termina el doctorado, entonces Mara es valiente.
c) Si Mara no se casa con Cristian, entonces: termina el doctorado y no es valiente.
d) Si Mara es valiente y no se casa con Cristian, entonces termina el doctorado.
e) Mara no termina el doctorado, pero es valiente.

25. Dada la siguiente expresin lgica: (A&(B&C))((A&B)& C) determine cules de los siguientes valores la hacen verdadera:
a) v(A) = V, v(B) = F, v(C) = V
b) v(A) = F, v(B) = F, v(C) = V
c) v(A) = F, v(B) = V, v(C) = F
d) v(A) = F, v(B) = F, v(C) = F
e) v(A) = V, v(B) = V, v(C) = F
26. Cul de las siguientes frmulas se sigue de este conjunto? { P, Q R, Q P, T R}
a) T b) R ( Q& P ) c) ( Q& P ) R d) R T e) Q T
27. Qu enunciado es equivalente a la negacin de Todas las montaas mgicas son doradas y el Tepozteco es una montaa
mgica ?
a) Si no todas las montaas mgicas son doradas, entonces el Tepozteco no es una montaa mgica.
b) Si el Tepozteco es una montaa mgica, entonces no todas las montaas mgicas son doradas.
c) Si el Tepozteco no es una montaa mgica, entonces no todas las montaas mgicas son doradas.
d) Si no todas las montaas mgicas son doradas, entonces el Tepozteco es una montaa mgica.
e) Si todas las montaas mgicas son doradas, entonces el Tepozteco es una montaa mgica.
28. Cul de las siguientes frmulas se sigue de esta frmula?
( P S)&( T (S&R))&( Q R)&(P (Q T ))

a) R&S

b) R& S

c) R S

d) R S

e) R S

29. Considere el conjunto de premisas: {P Q , R Q} Qu premisa hay que aadir para obtener la conclusin P ?
a) P P
b) R P
c) P P
d) P R
e) P R

Cul de las siguientes opciones representa en el lenguaje del clculo proposicional, las operaciones de este circuito?
a) ( A&B) ( A& B)
b) ( A&B)&( A& B)
c) (A&B)&( A& B)
d) (A& B) ( A&B)
e) (A&B) B