XVI OLIMPIADA DE LÓGICA

FASE ELIMINATORIA 2019

PREUNIVERSITARIO

Nombre: __________________________________ Institución: _______________

Instrucciones. Responde a las preguntas en la hoja de respuestas, marcando una sola

opción para cada reactivo. Por cada acierto se dará un punto. Toma en cuenta que:
 La Olimpiada de Lógica se centra en los principios de la lógica formal; por lo cual, no es
necesario otro conocimiento en el examen. Aun así, comprender español es indispensable.
 Los ejemplos y argumentos no necesariamente concuerdan con la realidad por lo que se
debe considerar sólo las premisas que están explícitamente escritas.
 Las disyunciones deben interpretarse como inclusivas, a menos que se indique lo contrario
explícitamente (por ejemplo con la expresión “pero no ambas”). También se debe considerar
la posibilidad de clases vacías, para un predicado podría no existir lo que lo satisfaga.
 El examen utiliza la siguiente notación:
 Se representa con ⊤ una tautología y con ⊥ una contradicción, mientras 𝑉 representa valor
de verdadero y 𝐹 valor de falso. Los conectivos lógicos se representan con ¬ la negación,
& la conjunción, ∨ la disyunción inclusiva, → la implicación y ↔ el bicondicional.
 El símbolo ⊢ indica consecuencia lógica. Y se usan (, ), {, }, [, ] para agrupación.
 Para Universitario, los cuantificadores se representan con ∃ existencial y con ∀ universal.
 Para Master, se utilizan los operadores modales □ necesario y ♢ posible.
 Las letras del abecedario latino (𝑝, 𝑞, 𝑟 … ) se usan para representar proposiciones; las
letras griegas se usan para representar esquemas proposicionales (𝛼, 𝛽, 𝛾 … ) y conjuntos
de proposiciones (𝛤, 𝛥, … ); otros símbolos se pueden usar para representar conectivos
(∗, +, ⊠, ⋈, … ) o valores de verdad (∞, ⋕, ∡, … ) según el objetivo de cada problema.
 Cuando leas la frase: “¿qué se sigue?”, se refiere a seguirse según la lógica formal.

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

1. En un examen de lógica del lenguaje, se le pidió a tres lingüistas -Ana, Gaby y

Melisa- dar un ejemplo de proposiciones inconsistentes. Después de pensarlo
unos minutos, las lingüistas afirmaron lo siguiente:
Ana: Si me voy de viaje soy feliz. Si soy feliz te abandonaré para siempre.
No te abandonaré para siempre pero soy feliz.
Gabriela: Si yo no creo en ti, tú no crees en mí. Tú crees en mí pero no tienes
razones para ser feliz. Si yo creo en ti, tienes razones para ser feliz.
Melisa: Si te doy la razón, mi amiga se equivocó. Si mi amiga se equivocó,
cambiaré de opinión. Cambiaré de opinión pero no te doy la razón.
Suponiendo que aprueban el examen si y sólo si las proposiciones que dicen
son inconsistentes. ¿Qué podemos concluir?
a) Ana y Gabriela aprobaron pero Melisa no aprobó.
b) Ana y Melisa aprobaron pero Gabriela no aprobó.
c) Melisa aprobó pero Ana y Gabriela no aprobaron.
d) Las tres lingüistas aprobaron.
e) Ninguna de las tres lingüistas aprobó.

XVI Olimpiada Internacional de Lógica 2019 1/9

FASE ELIMINATORIA PREUNIVERSITARIO

2. Considerando la siguiente demostración:

1) 𝑝 → (𝑞 & 𝑠)
2) 𝑠 → (¬𝑞 ∨ 𝑟)
3) ¬𝑝 ∨ (𝑞 & 𝑠)
4) (¬𝑝 ∨ 𝑞) & (¬𝑝 ∨ 𝑠)
5) ¬𝑝 ∨ 𝑠
6) 𝑝 → 𝑠
7) 𝑝 → (¬𝑞 ∨ 𝑟)
¿Qué regla de inferencia o equivalencia justifica el renglón 7?
a) Leyes de De Morgan {¬(𝑞 ∨ 𝑝)} ≡ {¬𝑞 & ¬𝑝}
b) Modus Ponens {𝑞 → 𝑝 , 𝑞} ⊢ {𝑝}
c) Equivalencia Material {𝑞 ↔ 𝑟} ≡ {(𝑞 → 𝑟) & (𝑟 → 𝑞)}
d) Conmutación {𝑞 & 𝑝} ≡ {𝑝 & 𝑞}
e) Silogismo Hipotetico {𝑞 → 𝑝 , 𝑝 → 𝑟} ⊢ {𝑞 → 𝑟}

3. En un campeonato de elocuencia celebrado con habitantes de la isla de los

caballeros y bribones, donde los caballeros siempre dicen la verdad y los
bribones siempre mienten y todos son caballeros o bribones, Fernando y Ramón
son los finalistas del campeonato. Para demostrar sus habilidades en el uso del
lenguaje los finalistas afirmaron lo siguiente:
Fernando: El mundo caerá en desgracia cuando y sólo cuando yo mienta.
Ramón: Yo digo la verdad si y sólo si es el caso que: el mundo caerá en
desgracia o no me creo un niño especial.
Fernando: Ramón no dice la verdad pero se cree un niño especial.
Ramón: No atacaré salvajemente a Fernando pero es cierto que me creo
un niño especial.
Considerando lo anterior y según la lógica ¿Qué podemos concluir?
a) Los dos finalistas son caballeros.
b) Los dos finalistas son bribones.
c) Fernando es caballero y Ramón es bribón.
d) Ramón es caballero y Fernando es bribón.
e) Es imposible determinar qué tipo de habitante es, para al menos uno de
los dos finalistas del campeonato.

4. En un país en el que sólo existen las maravillas, una inocente niña discute con
un alegre gato. La niña Alicia afirma: “Yo puedo arreglarlo todo y así podré volver
a mi hogar”. El gato Cheshire le responde: “Tú ya deberías de saber que no
tienes las capacidades para lograrlo, si lo intentas ahora y sin preparación
seguramente fallaras sin haber arreglado nada.”
¿Qué tipo de falacia cometió Cheshire para descalificar a Alicia?
a) Falacia ad ignorantiam.
b) Falacia ad populum.
c) Falacia ad hominem.
d) Falacia ad baculum.
e) Falacia ad verecundiam.

XVI Olimpiada Internacional de Lógica 2019 2/9

FASE ELIMINATORIA PREUNIVERSITARIO

5. Chihiro y Haku tratan de escapar del mundo mágico. En ese mundo existen
Yubaba y Zeniba, dos brujas gemelas muy poderosas. En su camino se
encontraron con una pero no podían identificar de quién se trataba. La bruja trató
de convencerlos de su identidad con tres afirmaciones:
Afirmación 1: Si yo soy la bruja más poderosa de este mundo entonces, yo
soy la bruja más horrible de este mundo.
Afirmación 2: Yo soy la bruja más poderosa de este mundo.
Afirmación 3: Si yo no soy la bruja más horrible de este mundo, entonces los
ayudaré a escapar del mundo mágico.
Si los niños son lógicos excepcionales y saben que Yubaba siempre miente
mientras que Zeniba siempre dice la verdad. ¿Qué pueden concluir válidamente
de lo dicho por la bruja?
a) La bruja es Zeniba y es la bruja más horrible de este mundo.
b) La bruja es Yubaba y es la bruja más horrible de este mundo.
c) La bruja es Zeniba y los ayudará a escapar del mundo mágico.
d) La bruja es Yubaba y los ayudará a escapar del mundo mágico.
e) No es posible determinar con cuál de las gemelas se encontraron.

6. Si el teorema de los monos infinitos es cierto entonces Shakespeare no es

impresionante ni asombroso. Todos los teoremas matemáticos son infalibles. El
teorema de los monos infinitos es un teorema matemático. ¿Qué se sigue?
a) Si Shakespeare es asombroso, algún teorema matemático no es infalible.
b) Si Shakespeare es impresionante, algún teorema matemático es infalible.
c) Si Shakespeare no es asombroso, algún teorema matemático es cierto.
d) Si Shakespeare no es impresionante, todo teorema matemático es cierto.
e) Todos los teoremas matemáticos son ciertos e infalibles.

7. Los tierraplanistas no conocen a Newton, Los que conocen a Newton tienen

nociones de física. Los que no tienen nociones de física y creen que la tierra es
plana, están equivocados. Los tierraplanistas y los medievales creen que la tierra
es plana. ¿Qué se sigue?
a) Los tierraplanistas están equivocados.
b) Si los medievales conocen a Newton y no tienen nociones de física,
entonces los tierraplanistas son una falla evolutiva.
c) Los medievales están equivocados pero los tierraplanistas no lo están.
d) Si los tierraplanistas tienen nociones de física, entonces los medievales
no están equivocados.
e) Si los tierraplanistas no están equivocados entonces Fleming está
orgulloso de los anti-vacunas.

8. Si una y sólo una de las siguientes proposiciones es falsa ¿Cuál es?

a) Todos los filósofos conocen la verdad.
b) Ningún filósofo conoce la verdad.
c) Algunos que conocen la verdad no son filósofos.
d) Algunos filósofos son adorables y salvajes.
e) Si algunos conocen la verdad entonces no existen los filósofos.

XVI Olimpiada Internacional de Lógica 2019 3/9

FASE ELIMINATORIA PREUNIVERSITARIO

9. ¿Cuál de los siguientes enunciados es lógicamente equivalente a la negación

de: “Estoy aquí, quiero vivir y quiero hacerlo eternamente”?
a) No estoy aquí, no quiero vivir y no quiero hacerlo eternamente.
b) No quiero vivir, no estoy aquí o quiero hacerlo temporalmente.
c) Si estoy aquí, entonces quiero vivir y quiero hacerlo eternamente.
d) Si quiero vivir, no quiero hacerlo eternamente cuando estoy aquí.
e) Si estoy aquí o quiero vivir, entonces no quiero hacerlo eternamente.

10. No todos los maharajás son gobernantes bondadosos.

¿Cuál de las siguientes es lógicamente equivalente al enunciado anterior?
a) Todos los maharajás son gobernantes no bondadosos.
b) Algún maharajá no es gobernante bondadoso.
c) Algunos maharajás son gobernantes despiadados.
d) Ningún maharajá es un gobernante bondadoso.
e) Algún gobernante bondadoso no es maharajá.

11. Imagina que eres un historiador revisando archivos parroquiales novohispanos.

Al indagar en registros bautismales descubres que al anverso de la hoja se
registraban los nombres y castas de los padres y al reverso el nombre y casta
del hijo bautizado. Tú recuerdas dos reglas de clasificación de los cuadros de
castas: “Si el padre es mestizo y la madre española, el hijo es castizo” y “Si el
padre es negro y la madre es india, el hijo es chino”. ¿Qué hojas de registro
debes voltear para comprobar si esas reglas se cumplen?

a) ByD
b) A, D y C
c) B, C y D
d) ByC
e) A, B y D

12. Si una y sólo una de las siguientes proposiciones es falsa ¿Cuál es?
a) 𝑝 & 𝑞
b) ¬𝑞 ↔ ¬𝑝
c) ¬𝑞 → ¬𝑝
d) 𝑞 → 𝑝
e) 𝑞 ↔ 𝑝

XVI Olimpiada Internacional de Lógica 2019 4/9

FASE ELIMINATORIA PREUNIVERSITARIO

13. Considera la fórmula: (𝑝 & 𝑞) ∨ 𝑞

¿Cuál de las siguientes proposiciones es equivalente a la anterior?
a) 𝑝 → 𝑞
b) [𝑞 → 𝑝] ∨ (𝑟 & ¬𝑟)
c) (𝑝 → 𝑝) → 𝑞
d) 𝑝 ∨ 𝑞
e) 𝑝 ↔ 𝑞

14. Considera las siguientes convenciones:

¿Cuál diagrama da como resultado una fórmula equivalente a: 𝑋 ↔ ¬𝑌 ?

15. Pancho fue al cubículo del profesor Máximo Severus para preguntarle los
resultados de su evaluación semestral. El profesor, siempre veraz, pero dado a
jugar con la mente de sus alumnos, le dijo: “Si pasaste filosofía, pasaste
matemáticas. Pasaste historia y física, si y sólo si no pasaste filosofía. O bien
reprobaste historia, o bien reprobaste física“. A partir de lo dicho por el profesor
Máximo Severus y suponiendo que pasar es opuesto lógico de reprobar ¿qué
pudo saber Pancho con seguridad?
a) Pasó filosofía, historia y física.
b) Pasó historia, física y matemáticas.
c) No pasó historia, ni física.
d) Pasó matemáticas, pero reprobó física.
e) Pasó filosofía y pasó matemáticas.

XVI Olimpiada Internacional de Lógica 2019 5/9

FASE ELIMINATORIA PREUNIVERSITARIO

16. ¿Qué se sigue lógicamente de las siguientes premisas?

1 𝑝 → (𝑞 & 𝑠)
2 ¬(𝑟 ∨ 𝑠)
3𝑝∨𝑡
a) ¬𝑝 → 𝑞
b) 𝑞 → ¬𝑡
c) (𝑠 → 𝑟) ∨ 𝑡
d) 𝑝 & (𝑝 ∨ 𝑡)
e) (𝑠 → 𝑟) → 𝑝

17. Don Tarski de la Mancha es un ingenioso lógico que dedica su vida al estudio
de las verdades de un mundo que podría no ser éste. Por ello y no por ser
entrometido, una mañana se dedicó a escuchar detenidamente la conversación
de un par de milenials que caminaban sobre algún sendero. La plática fue:
Milenial A: El problema de este mundo es la corrupción.
Milenial B: Si el problema de este mundo es la corrupción, el nuevo
presidente nos salvará de la perdición.
Milenial A: Si el nuevo presidente no nos salvará de la perdición entonces
el talento de los milenials será desperdiciado.
Milenial B: Si el talento de los milenials no será desperdiciado entonces la
gente pobre no tiene lugar en el mundo globalizado.
Con su vasto conocimiento y uno que otro delirio, Don Tarski de la Mancha logró
determinar que Milenial A siempre miente y Milenial B siempre dice la verdad. Si
suponemos que Don Tarski de la Mancha tiene razón. ¿Qué se sigue?
a) Si la gente pobre no tiene lugar en el mundo globalizado, entonces el
talento de los milenials será desperdiciado.
b) Si el nuevo presidente no nos salvará de la perdición, entonces la gente
pobre tiene lugar en el mundo globalizado.
c) El problema de este mundo no es la corrupción pero la gente pobre no
tiene lugar en el mundo globalizado.
d) El talento de los milenials no será desperdiciado si y sólo si el nuevo
presidente nos salvará de la perdición.
e) El nuevo presidente nos salvará de la perdición pero el problema de este
mundo no es la corrupción.

18. Un día en el orfanato Norman, Emma y Ray jugaron su videojuego favorito de

“duelo a muerte con cuchillos”. En cada reta participan los tres simultáneamente
y exactamente uno de ellos resulta ganador. Todas las retas excepto dos las
ganó Norman, todas excepto dos las ganó Emma y todas excepto dos las ganó
Ray. ¿Qué podemos concluir del número de retas que jugaron?
a) Ninguna reta, es decir cero retas.
b) Jugaron exactamente una reta.
c) Jugaron dos o tres retas.
d) Jugaron cuatro o cinco retas.
e) No podemos concluir cuantas retas jugaron.

XVI Olimpiada Internacional de Lógica 2019 6/9

FASE ELIMINATORIA PREUNIVERSITARIO

19. Todos los castillos son impresionantes. Todos los castillos pueden transportar a
Calcifer. Howl es un mago pero no es impresionante. Por lo tanto, Howl no puede
transportar a Calcifer. ¿Qué tipo de argumento es el anterior?
a) Valido con premisas consistentes.
b) Invalido con premisas consistentes.
c) Valido con premisas inconsistentes.
d) Invalido con premisas inconsistentes.
e) Ninguno de los anteriores (no es un argumento).

20. Considerando las premisas:

𝑝 → ¬𝑞
𝑟 & (𝑠 ∨ 𝑞)
𝑞→𝑝
¿Qué se sigue?
a) 𝑟 → 𝑠
b) 𝑟 → 𝑝
c) 𝑞 ∨ 𝑝
d) 𝑟 & ¬𝑝
e) ¬𝑠 ∨ 𝑞

21. Cuando dios no juega a los dados, Einstein festeja y Borh lamenta.
¿De qué tipo es la conectiva principal de la proposición anterior?
a) Negación
b) Conjunción
c) Disyunción
d) Condicional
e) Bicondicional

22. Si hay muchos crímenes sin resolver, Moriarty está aburrido. Si no hay muchos
crímenes sin resolver, Sherlock está aburrido. Por lo tanto: Moriarty está aburrido
o Sherlock está aburrido. ¿Qué tipo de argumento es el anterior?
a) Valido con premisas consistentes.
b) Invalido con premisas consistentes.
c) Valido con premisas inconsistentes.
d) Invalido con premisas inconsistentes.
e) Ninguno de los anteriores (no es un argumento).

23. Un conjunto de fórmulas es consistente si pueden ser todas verdaderas

simultáneamente. ¿Cuál de los siguientes conjuntos de fórmulas es consistente?
a) { 𝑝 → (𝑞 & 𝑟), ¬(𝑞 & 𝑟), 𝑝 }
b) { 𝑝 → (𝑞 → ¬𝑟), ¬𝑟 → 𝑠, 𝑝, 𝑞 & ¬𝑟, ¬𝑠 }
c) { 𝑝 → (¬ 𝑟 → 𝑞), (¬𝑟 ∨ ¬𝑠) → ¬𝑡, 𝑡 &¬𝑟, ¬𝑝 }
d) { 𝑝 → 𝑞, 𝑝 ↔ 𝑟, 𝑝 → (𝑞 & 𝑟)}
e) { 𝑝 → 𝑞, ¬𝑞 ∨ 𝑟, 𝑝 & ¬𝑟, 𝑝, ¬𝑟 }

XVI Olimpiada Internacional de Lógica 2019 7/9

FASE ELIMINATORIA PREUNIVERSITARIO

24. Dada la siguiente proposición, que llamaremos Ψ, ¿qué se puede afirmar?

Ψ : “ Ψ es falsa o resolver el presente ejercicio es fácil”.
a) La proposición Ψ es falsa.
b) Resolver el presente ejercicio no es fácil.
c) No se puede determinar el valor de la proposición Ψ.
d) Resolver el presente ejercicio es fácil.
e) Ninguna de las anteriores.

25. Si una y sólo una de las siguientes proposiciones es verdadera ¿Cuál es?
a) 𝑝 & 𝑞
b) (𝑟 → 𝑞) ∨ 𝑝
c) 𝑝 → (𝑠 ∨ 𝑞)
d) 𝑝 & 𝑟
e) 𝑝 → (𝑡 ∨ 𝑟)

26. Sólo cuando te veo, estoy feliz. ¿Cuál es la mejor simbolización para el
enunciado anterior? Considerando el diccionario: 𝑓: estoy feliz. 𝑒: te veo.
a) 𝑓 → 𝑒
b) 𝑓 & 𝑒
c) ¬𝑒 → 𝑓
d) 𝑒 → 𝑓
e) 𝑒 ∨ 𝑓

27. Calileus tratará de evitar que consigas el examen perfecto, para lograrlo le pidió
ayuda a su secuaz Watsicruz y le dio la tarea de darte información mediante tres
proposiciones. La restricción es que las 3 proposiciones son verdaderas o las 3
son falsas. Después de meditarlo unos minutos Watsicruz te dice lo siguiente:
1 Si la diversión le da sabor a la vida entonces la magia existe.
2 Alan gana la olimpiada si y sólo si la diversión no le da sabor a la vida.
3 Si Natalia gana la olimpiada, entonces Alan no gana la olimpiada.
No se sabe si la información proporcionada por Watsicruz está compuesta de
verdades o de mentiras, en cualquiera de los casos ¿qué podemos concluir?
a) Si Natalia gana la olimpiada, entonces la magia existe.
b) Si la magia existe, entonces: cuando la magia existe, la magia no existe.
c) Si la magia no existe, entonces Alan gana la olimpiada.
d) Alan gana la olimpiada o Natalia gana la olimpiada.
e) La diversión le da sabor a la vida.

28. Te respeto pero no te quiero. ¿Qué enunciado es lógicamente equivalente a la

negación del anterior?
a) Te quiero pero no te respeto.
b) Si te quiero entonces te respeto.
c) Cuando te respeto, te quiero.
d) Si no te respeto entonces no te quiero.
e) Te quiero o te respeto.

XVI Olimpiada Internacional de Lógica 2019 8/9

FASE ELIMINATORIA PREUNIVERSITARIO

29. Considerando las fórmula:

𝑟 & (𝑟 ∨ ¬𝑞)
¿Cuál de las siguientes es equivalente a la anterior?
a) (𝑟 → 𝑟) ∨ ¬𝑞
b) (𝑟 ↔ 𝑟) ↔ ¬𝑞
c) (𝑞 → 𝑞) & ¬𝑟
d) (¬𝑟 → 𝑟) & 𝑟
e) 𝑞 → (𝑞 → ¬𝑞)

30. El amor no se mendiga, ni se exige.

¿De qué tipo es la conectiva principal de la proposición anterior?
a) Negación
b) Conjunción
c) Disyunción
d) Condicional
e) Bicondicional

XVI Olimpiada Internacional de Lógica 2019 9/9

 XVI OLIMPIADA DE LÓGICA
FASE ELIMINATORIA 2019
PREUNIVERSITARIO
Hoja de Respuestas

Aciertos: _____
Nombre: __________________________________ Institución: ______________

1 A B C D E 16 A B C D E

2 A B C D E 17 A B C D E

3 A B C D E 18 A B C D E

4 A B C D E 19 A B C D E

5 A B C D E 20 A B C D E

6 A B C D E 21 A B C D E

7 A B C D E 22 A B C D E

8 A B C D E 23 A B C D E

9 A B C D E 24 A B C D E

10 A B C D E 25 A B C D E

11 A B C D E 26 A B C D E

12 A B C D E 27 A B C D E

13 A B C D E 28 A B C D E

14 A B C D E 29 A B C D E

15 A B C D E 30 A B C D E

Hoja de Respuestas Eliminatoria 2019