XI OLIMPIADA INTERNACIONAL DE LGICA, 2014

FASE ELIMINATORIA
NIVEL BACHILLERATO
No. 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 (P, Q, R, etc.) se usan para representar proposiciones; las letras griegas se
usan para representar esquemas proposicionales (, , etc.) o 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 solo 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. Qu no se sigue de los siguientes enunciados? Juan, Pepe y Luis participan en un concurso de Lgica. Si Pepe gana,
entonces Juan pierde. Si Luis gana, entonces Juan y Pepe empatan. Luis gana y Juan no pierde.
a) Si Luis no gana, entonces Juan y Pepe no empatan.
b) No es el caso que: Pepe no gana o Juan pierde.
c) Luis no gana, o Juan y Pepe empatan.
d) No es el caso que: Pepe gana o Juan pierde.
e) Si Juan y Pepe no empatan, entonces Juan no pierde.
2. La mam de Pepe le dice: Comes gelatina o flan, pero no ambos. Qu enunciado es equivalente a ste?
a) No comes gelatina o no comes flan.
d) Comes flan y no comes gelatina.
b) Comes gelatina y comes flan.
e) Comes gelatina si y slo si no comes flan.
c) No es el caso que: comes gelatina o comes flan.
3. Qu enunciado es equivalente al siguiente? Si no soy libre, no soy feliz.
a) Soy libre o no soy feliz.
d) Soy libre o soy feliz.
b) Soy feliz o no soy libre.
e) Soy libre si y slo si soy feliz.
c) Si soy feliz, no soy libre.
4. Considera el siguiente conjunto de premisas: {P (QR), Q S, R T} Qu premisa hay que agregar para que se
siga la proposicin: P?
a) S & (T M)
d) S & (M T)
b) (S T) M
e) S (M & T)
c) S & (T & M)
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

5. Los inspectores 005, 006 y 007 estn tratando de resolver el caso de quin o quines se comieron el pastel. Cada uno
presenta un enunciado que aporta al caso. 005: Si Juan no se comi el pastel, entonces Luis tampoco. 006: Luis se comi
el pastel y Juan tambin. 007: Pepe se comi el pastel o Luis se comi el pastel. Qu se sigue de la verdad de estos
enunciados?
a) Luis, Juan y Pepe comieron pastel.
b) Si Luis comi pastel; entonces Juan no lo hizo y Pepe tampoco.
c) Juan comi pastel; y Luis no lo hizo y Pepe tampoco.
d) Si ni Luis ni Juan comieron pastel, entonces Pepe comi pastel.
e) Luis y Juan comieron pastel; y Pepe no comi pastel.
6. Cul de los siguientes enunciados expresa una contradiccin?
a) La Luna es roja y el Sol brilla; o la Luna no es roja y el Sol no brilla.
b) El Sol brilla y no es cierto que el Sol no brilla; o el Sol no brilla si y solo si brilla.
c) La Luna es roja y la Luna no es roja; o si el Sol brilla, entonces brilla.
d) El Sol brilla si y solo si el Sol no brilla; o la Luna no es roja si y solo si es roja.
e) Si la Luna es roja entonces no es roja; o si la Luna no es roja, entonces es roja.
7. Cul proposicin es equivalente a la siguiente? Si puedo conducir un tractor, tengo ms de 20 aos.
a) Si no tengo ms de 20 aos, puedo conducir un tractor.
b) Si no tengo ms de 20 aos, no puedo conducir un tractor.
c) Si tengo ms de 20 aos, puedo conducir un tractor.
d) Si tengo ms de 20 aos, no puedo conducir un tractor.
e) Si no es el caso que no tenga ms de 20 aos, puedo conducir un tractor.
8. Te aseguro le dice Holmes a Watson que si Moriarty estuvo en Londres, asesin accidentalmente a los leones del
Palacio de Buckingham. Pues yo digo contesta Watson que si Moriarty no estuvo en Londres, asesin
accidentalmente a los leones del Palacio de Buckingham. Qu se sigue de lo dicho por Holmes y Watson?
a) Moriarty no estuvo en Londres y asesin premeditadamente a los leones.
b) Moriarty s estuvo en Londres pero no asesin accidentalmente a los leones.
c) Holmes asesin premeditadamente a los leones o Moriarty lo hizo accidentalmente.
d) Watson asesin accidentalmente a los leones o Moriarty los asesin premeditadamente.
e) Ni Holmes ni Watson asesinaron accidentalmente a los leones del palacio de Buckingham.
9. Suponiendo que una y slo una de la siguientes oraciones es verdadera, cul es?
a) Hay un mexicano que no es guapo.
d) Hay por lo menos un mexicano.
b) Javier es mexicano.
e) Javier es mexicano y es guapo.
c) No todos los mexicanos son guapos.

10. Qu asignacin de valores demuestra que la siguiente frmula no es una tautologa?

( (S & S) & P) (((Q R) S) & ((Q R) S))
a) V(P) = V
b) V(P) = V
c) V(P) = F

V(Q) = V
V(Q) = F
V(Q) = F

V(R) = F
V(R) = V
V(R) = F

V(S) = V
V(S) = F
V(S) = V

d) V(P) = F
e) V(P) = V

V(Q) = F
V(Q) = F

V(R) = F
V(R) = F

V(S) = F
V(S) = V

11. Qu se sigue de la siguiente afirmacin? No es cierto que: o no existe la maldad o los hombres no somos felices.
a) No existe la maldad.
d) Somos felices y existe la maldad.
b) Ni somos felices ni existe la maldad.
e) O no somos felices o no existe la maldad.
c) No somos felices.
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

12. Qu proposicin no se sigue de las siguientes premisas? Si Neo est en la Matrix entonces no vive en el mundo real.
Si Trinity vive en el mundo real, entonces Neo no est en la Matrix. Neo est en la Matrix o Trinity vive en el mundo real.
a) Si Trinity vive en el mundo real, Neo vive en el mundo real.
b) Si Trinity vive en el mundo real, Trinity vive en el mundo real.
c) Si Neo no est en la Matrix, Trinity vive en el mundo real.
d) Si Neo est en la Matrix, Neo est en la Matrix.
e) Trinity no vive en el mundo real o Trinity vive en el mundo real.

13. Qu no se sigue del siguiente conjunto de oraciones? Juan va al cine si y solo si Mara no va. Mara no fue al cine
ayer. Juan fue al cine hoy.
a) Ni Juan ni Mara fueron hoy al cine.
b) O bien Juan no fue al cine ayer, o bien Mara no fue al cine ayer.
c) O Juan no fue al cine hoy, o Mara no fue al cine hoy.
d) Juan fue ayer al cine, pero no fue Mara.
e) O bien Juan fue hoy al cine, o bien Mara lo hizo.

14. Qu no se sigue del siguiente conjunto de oraciones? Si Walter salva a Jesse, entonces Walter se enemista con
Gustavo. Si Walter se enemista con Gustavo, entonces Jesse le har algo malo a Gael. Pero no es el caso que: Si Jesse no
le hace algo malo a Gael, entonces Jesse sale bien librado de todo.
a) Si Walter salva a Jesse, entonces Jesse sale bien librado de todo.
b) Walter salva a Jesse y Jesse sale bien librado de todo.
c) Ni Walter salva a Jesse, ni Jesse sale bien librado de todo.
d) Walter salva a Jesse si y solo si Jesse le hace algo malo a Gael.
e) Si Jesse sale bien librado de todo, entonces Walter no se enemista con Gustavo.
15. Qu se sigue de: Si voy a Mazatln, entonces no voy a Cancn. Si no trabajo, voy a Cancn. No trabajo.?
a) Voy a Mazatln.
d) No voy ni a Mazatln ni a Cancn.
b) No voy a Mazatln.
e) Voy a Mazatln y no voy a Cancn.
c) No voy a Cancn.

16. Alicia y el sombrerero se encuentran en el camino y sostienen una enigmtica conversacin. Alicia dice: Si las rosas
son rojas, entonces los lirios no son azules. El sombrerero dice: Las rosas son blancas y amarillas; y los lirios son azules
o son verdes. Considerando que Alicia siempre dice mentiras y el sombrerero siempre dice la verdad; podemos determinar
el valor de verdad de los siguientes enunciados, excepto de uno. Cul es ese enunciado?
a) Los lirios son azules.
d) Las rosas son blancas.
b) Las rosas son rojas.
e) Las rosas son amarillas.
c) Los lirios son verdes.
17. Si es una tautologa y es una frmula contingente. Cul de las siguientes frmulas es una contradiccin?
a) &
d) ( ) & ( )
b) ( & )
e) ( ) &
c)

18. Un grupo de zombies asola a la ciudad, pero slo ataca a quienes dicen contingencias. Los zombies se enfrentan a un
grupo de amigos y los obligan a hablar. Luis dice: No es el caso que: no tengo miedo si y slo si no tengo miedo. Pepe
dice: No es el caso que: tengo miedo o no tengo miedo. Carlos dice: No es el caso que: si no tengo miedo entonces tengo
miedo. Cul de las opciones expresa una parte del ataque de los zombies?
a) Atacan a Pepe, pero no a Luis.
d) Atacan a Luis y a Carlos.
b) Atacan a Carlos y a Pepe.
e) Atacan a Carlos y no a Pepe.
c) Atacan a Luis y no a Carlos.
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

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 puede ser dicha por un caballero enfermo?
a) Soy un caballero.
b) Si soy un caballero, entonces estoy enfermo.
c) Soy un bribn enfermo.
d) O bien soy un caballero enfermo, o bien soy un bribn enfermo.
e) Si estoy sano, entonces soy un caballero.

20. Una segunda oleada de zombies ataca a la ciudad; pero estos slo atacan a los que no traducen sus dichos tal y como
ellos lo requieran. Los zombies se encuentran a Rodrigo en el camino y le dicen: Si no quieres convertirte en zombie,
debes decir un enunciado equivalente a: Si soy un zombie, entonces no estoy vivo y no estoy muerto, usando solo
conjunciones y negaciones. Qu debe decir Rodrigo para no ser atacado por los zombies?
a) Soy un zombie, y estoy vivo y estoy muerto.
b) No es el caso que: no soy un zombie, y no es el caso que, estoy vivo y estoy muerto.
c) No es el caso que: soy un zombie, y no es el caso que, no estoy vivo y no estoy muerto.
d) No es el caso que: no soy un zombie, y no es el caso que, estoy vivo y no estoy muerto.
e) No soy un zombie, y no estoy vivo y no estoy muerto.
21. Todas las orugas se arrastran y Katy es una oruga. Cul es la negacin de lo anterior?
a) Todas las orugas no se arrastran y Katy no es una oruga.
b) Alguna oruga no se arrastra o Katy no es una oruga.
c) Katy se arrastra.
d) Es falso que todas las orugas se arrastran pero es verdad que Katy es una oruga.
e) Katy no se arrastra.
22. Cul es la negacin lgica de la siguiente proposicin? Si juntamos los dados y los aventamos, ganaremos el juego.
a) Si no juntamos los dados y los aventamos, entonces no ganaremos el juego.
b) Si no juntamos los dados o no los aventamos, entonces no ganaremos el juego.
c) No es cierto que: si no ganamos el juego, entonces juntamos los dados y los aventamos.
d) No es cierto que: si no ganamos el juego, entonces o bien no juntamos lo dados o no los aventamos.
e) O juntamos los dados y los aventamos, o no ganamos el juego.
23. Considera la proposicin molecular: P (Q & R). Suponiendo que la proposicin atmica R es falsa, cul es el
valor de verdad de la proposicin molecular?
a) Es el mismo que el de Q.
d) Es el mismo que el de P Q.
b) Es el mismo que el de P.
e) Es necesariamente verdadera.
c) Es necesariamente falsa.

24. Cul de las siguientes frmulas corresponde a una tautologa?

a) (Q & Q) (P P)
b) (Q & Q) (P P)
c) (P & P) (Q & Q)

d) (P P) (Q & Q)
e) (P & P) (Q Q)

25. Considera el conjunto de premisas: {P Q, Q R, R S} Qu premisa hay que aadir para obtener una
contradiccin?
a) R M
d) M R
b) S R
e) P & S
c) Q & R
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

26. El seor Gmez un da slo dice la verdad y el siguiente slo dice mentiras y el siguiente slo dice la verdad, etc.
Tambin puede ser que el seor Gmez no diga absolutamente nada en un da entero. Un da Juan visita al seor Gmez,
pero Juan no sabe si ese da le toca decir la verdad o le toca mentir. Entonces el seor Gmez dijo algo, tal que Juan pudo
inferir que ese da el seor Gmez slo dira mentiras. Qu dijo el seor Gmez?
a) Ayer dije una mentira.
b) Ayer no dije ninguna mentira.
c) Ayer no dije nada falso, hoy tampoco dir nada falso.
d) Hoy no he dicho mentiras.
e) Ayer dije algo verdadero y hoy slo dir la verdad.

27. Margarita, una nia de nueve aos, pero muy conocedora de la lgica clsica, escriba una carta a los Reyes Magos
pidiendo que bajo ninguna circunstancia hicieran lo siguiente: llevarle un monociclo siempre y cuando no le llevaran
unas rodilleras. El Da de Reyes Margarita recibi exactamente dos regalos, y estuvo muy contenta cuando descubri de
qu se trataba. Cul de las siguientes situaciones no la hubiera satisfecho?
a) Recibir un monociclo y unas rodilleras.
b) Recibir o bien un monociclo, o bien unas rodilleras, pero no ambas.
c) Si reciba un monociclo, recibir unas rodilleras; y si reciba unas rodilleras, recibir un monociclo.
d) No recibir un monociclo ni unas rodilleras.
e) Recibir un monociclo si y solo si recibe unas rodilleras.
28. Considera el conjunto de premisas : {(P P) I, (I & P) (F (N R)), F & (P & N)} Qu conclusin
no es lgicamente implicada por el conjunto ?
a) (F & I) A
d) (P P)
b) R
e) R R
c) R

29. Cul es la mejor simbolizacin para el enunciado? Me caso solo si heredo una fortuna.
Considera el siguiente diccionario: M: Me caso. H: Heredo una fortuna.
a) H M
d) M H
b) H M
e) H M
c) M H

30. Los siguientes smbolos representan las operaciones lgicas conjuncin, disyuncin y negacin respectivamente.

Una bifurcacin despus de un punto grande indica

que en las lneas subsecuentes debe leerse la misma
proposicin que se encuentra antes de dicho punto, esto es:
Considerando el siguiente diagrama:

Cul de las siguientes frmulas es la traduccin del diagrama al lenguaje usual de la lgica proposicional?
a) ((P Q) & R) (R (Q & S))
d) ((P Q)& R) (R (Q & S))
b) ((P Q )& R) (R (Q & S))
e) ((P & Q) R) & (R & (Q S))
c) ((P Q) & R) (R (Q & S))
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO