2. Si una y sólo una de las siguientes fórmulas es verdadera, ¿cuál es?

a) ((R∨Q)⊃ ¬P)∧¬P)∨(¬(S≡¬S)⊃ ¬P)

b) ((P∧Q)⊃ R)∨(P⊃ (S∨¬Q))
XIII OLIMPIADA INTERNACIONAL DE LÓGICA c) ¬(¬((Q∧¬S)⊃ ¬P)∧ (P∧(Q∧¬R)))
FASE ELIMINATORIA d) ((P∨Q)∧(Q⊃¬P))∧¬(¬Q≡P)
NIVEL MASTERS e) P⊃ ((¬R∧¬Q)⊃ ¬P)
N° de aciertos: _____ 3. Dado un conjunto de fórmulas Γ, si sabemos que de las siguientes fórmulas una y
Nombre:__________________________________________ Institución:______________ sólo una no se sigue de Γ, ¿cuál es?
a) (P≡¬S)∧¬Q
b) P∧(R⊃(S∨Q))
Instrucciones. Responde este examen en la hoja de respuestas que se te ha proporcionado, c) (¬S⊃Q)∨((¬S∧¬Q)⊃¬P)
teniendo en cuenta lo siguiente: d) P≡(R∧¬Q)
• Su elaboración se ha centrado en el uso apropiado de los principios de la lógica clásica e) S∧¬(¬Q⊃¬P)
formal. Por lo cual, no se requieren más habilidades que las derivadas del estudio de la
lógica clásica formal para resolverlo. 4. En la isla de los caballeros y bribones (donde sólo habitan caballeros, que
• Los ejemplos son ficticios. siempre dicen la verdad, y bribones, que siempre mienten), el detective Johnson investiga
• Considera solamente las premisas que están explícitamente escritas.
• Cuando leas la frase ¿Qué se sigue?, el examen se refiere a seguirse según la lógica
un crimen. Al interrogar a 5 sospechosos, de los que sabe que tres son caballeros y dos son
clásica formal. bribones (pero sin saber quién es quién), le responden:
• Las disyunciones expresadas en español deberán interpretarse como disyunciones
1. Ana: El culpable es Pedro sólo si María es inocente.
inclusivas a menos que explícitamente se indique que son exclusivas (por ejemplo,
incluyendo la expresión pero no ambas). 2. Pedro: María es inocente o Juan es culpable.
• Las letras del abecedario latino (P, Q, R, etc.) se usan para representar proposiciones; las 3. María: Pedro es el culpable y además miente.
letras griegas se usan para representar esquemas proposicionales (α, β, etc.) y conjuntos de 4. Juan: María es culpable, yo soy inocente.
proposiciones (Γ, Δ, etc.). 5. Carlos: Pedro miente y soy inocente.
• Los símbolos utilizados para las conectivas lógicas negación, conjunción, disyunción Suponiendo que sólo hay un culpable, que todo el que es inocente no es culpable y
inclusiva, condicional material, bicondicional material, cuantificador existencial y cuantificador todo el que es culpable no es inocente, el detective pudo concluir que:
universal son: ¬, ∧, ∨, ⊃, ≡, ∃ y ∀, respectivamente.
• Otros símbolos usados son los signos de agrupación, paréntesis y llaves (, ), {, }. a) La culpable es Ana.
• Cada pregunta tiene una única respuesta correcta. Elige, por tanto, para cada pregunta sólo b) El culpable es Pedro.
una opción como respuesta de las cinco posibles. Cada acierto que tengas te dará un punto. c) La culpable es María.
d) El culpable es Juan.
e) El culpable es Carlos.
Tienes una hora y media para resolver el examen ¡Suerte! 5. Señale si el siguiente argumento es válido o no y si sus premisas son o no
consistentes.
1. ¿Qué se sigue de las siguientes premisas?
1. P∨(S⊃(¬Q≡R)) 1. ∀x((Px∧¬Qx)⊃∃y(Pxy))
2. (S⊃(Q⊃(¬R∨¬P))) ⊃ (R⊃¬Q) 2. ∀x∀y((Pxy≡Pyx)∧(Px≡¬Rx))
3. Q ∧ ((Q⊃¬R)≡(Q⊃¬Q)) 3. ∀x∀y(¬Pxy⊃(¬Rx∧¬Py))
4. ∀x(Qx⊃Rx)∧∃y∀z(Pyz⊃¬Pzy)
a) ((PvR)∧S) ⊃ (¬Q∧(Q≡¬R)) .: ∃y∀x(¬Pxy∨Ry)
b) (Q∨R) ⊃ (P∧S)
c) ¬P∧(S∨¬R) a) Argumento válido con premisas consistentes.
b) Argumento válido con premisas inconsistentes.
d) Todas las anteriores.
c) Argumento inválido con premisas consistentes.
e) Ninguna de las anteriores.

2
1
 d) Argumento inválido con premisas inconsistentes. 9. Sea Γ un conjunto de premisas consistente. Si le añadimos una nueva fórmula “α”
e) No se puede determinar la validez del argumento. y obtenemos un nuevo conjunto de premisas inconsistente, ¿Cuál de las siguientes
afirmaciones es necesariamente verdadera?
6. ¿Qué fórmula es equivalente a (P∨Q)≡((R∧¬S)∧(T⊃S))?
a) α es una fórmula inconsistente
a) ((R∧¬S)∧¬T)⊃(P∨Q)
b) α es la negación de uno de las proposiciones de Γ
b) ((R∧¬T)∧¬S)≡(¬P∧¬Q) c) α es una fórmula consistente sólo si es la negación de uno de los
c) ¬(R⊃(S∨T))≡(¬Q⊃P) enunciados de Γ
d) ¬(¬R⊃(¬S∨¬T))≡(¬Q⊃P) d) α es uno de los enunciados en Γ, o bien α es una fórmula inconsistente.
e) ((R∧¬T)∧¬S)≡(¬P⊃¬P) e) α es inconsistente si y sólo si es la negación de una fórmula de Γ
7. ¿Qué premisa podemos agregar al siguiente argumento de tal manera que éste
siga siendo válido o inválido (según sea el caso)?
10. Si α es una tautología y β es una fórmula contingente, ¿cuál de las siguientes
1. (¬P ≡ Q) ≡ (R∧¬Q) fórmulas no es una tautología?
2. (¬R ⊃ P)∧(Q∨R)
.: P∧¬(Q ≡ R) a) [α ⊃ (β ⊃ α)] ∧ α
b) [¬α ⊃ (β ≡ α)] ∨ β
a) P∧¬(¬Q∨¬R) c) (α ⊃ ¬α) ≡ [(¬α ⊃ ¬α) ⊃ β]
b) R ≡ ¬(¬P⊃R) d) (β ⊃ (β ⊃ (β ⊃ (β ⊃ α))))
c) P∧(Q∧¬R) e) ¬(¬(α ⊃ ¬α) ≡ (β ≡ ¬β))
d) ¬Q∧(R ≡ P)
e) (¬R⊃(¬R⊃R))⊃¬R 11. Sea un conjunto Γ de fórmulas. Supongamos que una y sólo una de las
siguientes fórmulas es consecuencia lógica de Γ, ¿cuál es?
8. ¿Cuál opción es equivalente a la traducción del siguiente diagrama esquemático
al lenguaje de la lógica proposicional? a) (∃x ¬Px) ⊃ (¬∃y Qy)
b) ∀x (Px ⊃ Qx)
c) ∀y (Py ⊃ Py) ⊃ (∀x Qx)
d) (∀x Px) ⊃ (∀x Qx)
e) (∀x Px ⊃ ∀y ¬Qy) ⊃ (¬∃y Qy)
12. ¿Cuál de las siguientes fórmulas debe agregarse como premisa 1 para que el
siguiente argumento sea válido?.
Tenga en cuenta las siguientes convenciones: 1. __________
2. ∀x (Fx ≡ x=a)
3. Pb
∴ (a=b) ∧ ∃x (Px ∧ Fx)

a) Fa ∧ Pb
b) ∃x (Px ∧ Fx)
a) (R∧P)≡(P∧(R⊃¬Q)) c) ∀x (Fx ⊃ Px)
b) ¬(P∨(¬Q∧¬R))≡(R∨¬P) d) Fb ⊃ Pb
c) (R⊃P)⊃((¬P∨Q)∧(P⊃R)) e) ∀x (Px ⊃ Fx)
d) ¬(R⊃P)≡((P⊃Q)∧(P⊃R)) 13. ¿Qué se sigue de lo siguiente: Todos los que crucen la puerta encontrarán la
e) (¬R∧P)≡((Q∧R)⊃¬P) gloria, pero aquellos que permanezcan tendrán la salvación. Hay quienes encuentran la
gloria, pero hay quienes no cruzan la puerta, sin embargo todos mueren?

3 4
 a) Si los que encuentran la gloria permanecen, entonces cruzan la puerta o no a) “Mr. 0” es el pirata que siempre miente o Bentham es el pirata X
tienen salvación. b) Nico Robin es la pirata que siempre dice la verdad y “Mr. 0” es el pirata
b) Si aquellos que encuentren la gloria permanecen, los que crucen la puerta que siempre miente.
tendrán la salvación. c) Hoy no es lunes y Crocodile siempre miente.
c) Nadie que encuentre la gloria tiene la salvación o alguien no cruza la d) “La niña demonio” siempre dice la verdad o Crocodile siempre dice
puerta, pero permanece. mentiras.
e) Bentham es el pirata X o Nico Robin es la pirata que siempre dice la
d) Algunos cruzan la puerta y otros no.
verdad.
e) Si alguien que cruza la puerta se salva, entonces si alguien permanece
encuentra la gloria. 17. “Si huele a peligro, alguien prepara una venganza”, donde: Cx= x es peligro,
14. ¿Cuál es la mejor formalización para: Para cada estudiante existe un único Pxy=x prepara a y, Lx= x es una venganza, Hxy= x huele a y.
número de matrícula? Donde Nx: x es número de matrícula. Ex: x es estudiante. Txy: x a) ∃x (Cx ∧ ∃y Hxy) ⊃ ∃z∃w (Lz ∧ Pwz)
tiene a y. b) ∃x (Cx ∧ ∃y Hyx) ⊃ ∃z∃w (Lz ⊃ Pwz)
a) ¬∃x [Ex ∧ ∀y∃z ¬(¬(¬Nz ∨ ¬Txz) ∧ (¬(Nz ∧ Txz) ∨ z=y))] c) ∃x (Cx ∧ ∃y (Cy ∧ Hyx)) ⊃ ∃z∃w (Lz ∧ Pwz)
b) ∀x [ Ex ⊃ ∃y ∀z ( (Nz ∧ Tzx) ⊃ (z=y) ) ] d) ∃x (Cx ∧ ∃y (Cy ∧ Hyx)) ⊃ ∃z∃w (Lz ∧ Pzw)
c) ∀x [ Ex ⊃ ∀z ∃y ( (Nz ∧ Txz) ≡ ¬(z=y) ) ] e) ¬(∃x (Cx ∧ ∃y Hxy)) ⊃ ∃z∃w (Lz ∧ ¬Pwz)
d) ∃x [ ( Nx ∧ ∀y (Ey ⊃ Tyx) ) ∧ ∀z (Nz ⊃ (z=x) ) ] 18. Se debe encontrar un enunciado que no sea implicado por alguno de los demás,
e) ∀x [ Ex ⊃ ∃y ( (Ny ∧ Txy) ∧ ¬ ∃z ( (Nz ∧ Txz) ∧ (z=y) ) ) ] pues de serlo se seguiría de Γ (ya que los demás se siguen de Γ).
15. La marina publicó en el periódico Mizu Mizu el grado de peligrosidad de cuatro a) Hay gatos que no son emo.
piratas en una especie de conteo por puntos, entre más puntos tengan los piratas, más b) No hay gatos.
peligrosos son. Los piratas fueron Law alias “El Cirujano”, Kid alias “El Capitán”, Luffy c) Todos los gatos son emo.
alias “Sombrero de paja” y X Drake alias “Dory”. d) Si hay gatos entonces algunos no son emo.
e) Ningún gato es emo.
Sabemos que X Drake supera a “El capitán” por al menos 3 puntos, “El cirujano”
supera a Luffy por 3 puntos y “Sombrero de paja” pierde por 3 puntos contra Kid. Con la 19. ¿Cuál de las siguientes es la traducción más adecuada para el siguiente
información anterior ¿Cuál de las siguientes afirmaciones no es correcta? enunciado: Si hay más de un homúnculo, nadie sufrirá? Diccionario: Hx= x es un
homúnculo, Sx= x sufrirá.
a) Kid y Law tienen el mismo grado de peligrosidad
b) “El Cirujano” es más peligroso que “Dory” a) ∃x {Hx ∧ ∀y[Hy⊃¬(y=x)]}⊃¬∀z (Sz)
c) Existe al menos un par de piratas con el mismo grado de peligrosidad b) ∀z (Sz) ∨ ¬∃x{Hx∧∀y[Hy⊃(y=x)]}
d) “Sombrero de paja” y “Dory” tienen el mismo grado de peligrosidad c) ∃x {Hx ∧ ∀y [Hy⊃ (y=x)]}⊃ ∀z (¬Sz)
e) X Drake es más peligroso que Luffy d) ¬∃z (Sz) ∨ ∀x{Hx⊃ ∀y[Hy⊃ (y=x)]}
e) ∀x {(Hx)∧ ∃y [Hy⊃ ¬(y=x)]}⊃∀z(Sz)
16. Un día el pirata Luffy estaba perdido y vagando por una isla donde se encontró a
tres piratas de los que sabía con anterioridad que uno siempre decía la verdad, otro siempre 20. ¿Cuál es la mejor simbolización para el siguiente enunciado: “Los lógicos
mentía y otro, denominado como pirata X, un día mentía y al otro decía la verdad. Luffy clásicos admiten dos tipos distintos de verdad lógica.”? Diccionario: Vx= x es una verdad
estaba confundido y no sabía en qué día se encontraba, así que les preguntó a los tres lógica, Lx= x es un lógico clásico, Axy= x admite a y.
piratas de los que no sabía tampoco qué tipo de pirata eran.
El primero de nombre Crocodile alias “Mr. 0” dijo: “hoy es lunes y no es lunes”. a) ∃x {(Lx) ⊃ ∃y∃z [(Vy ∧ Vz) ∧ (Axy ∧ Axz)]}
El segundo de nombre Bentham alias “Mr. 2” dijo: “hoy es lunes”. b) ∀x {(Lx) ⊃ ∃y∃z {[(Vy ∧ Vz) ∧ (Axy ∧ Axz)] ∧ ¬(y=z)}}
El tercero de nombre Nico Robin alias “la niña demonio” dijo: “hoy es lunes o no es c) ∀x {(Lx) ⊃ ¬∃y∃z {[(Vy ∧ Vz) ∧ (Axy ∧ Axz)] ∧ (y=z)}}
lunes”. d) ∀x {(Lx) ⊃ ∃y∃z {[(Vy ∧ Vz) ∧ (Ayx ∧ Azx)] ∧ ¬(y=z)}}
Con la afirmación anterior ¿Cuál de las siguientes opciones pudo Luffy determinar con e) ∃x {(Lx) ⊃ ∀y∀z {[(Vy ∧ Vz) ∧ (Axy ∧ Axz)] ∧ ¬(y=z)}}
seguridad?
21. Dado el siguiente conjunto de premisas, ¿cuál de las opciones se sigue?

5 6
 c) ∀x((Px∧Qx)⊃∀y((x≠y)⊃(Py⊃¬Qy)))
1. [(P∧R) ∨ ¬Q] →Q d) ∀xƎy(((Px∧Qy)∧ (x≠y))⊃Qx)
2. (Q∨P) →(S∧R) e) ∀x((¬Px∧Qx)⊃∃y((x≠y)⊃Px))
3. (S→ ¬T) ∨(T→¬Q)
26. Alicia quiere vender su alma al diablo, para ello debe recitar un conjuro en el
a) ((Q∨¬Q) ⊃¬Q) ∨(R∧¬S) altar correcto, pero hay tres idénticos; Bosualdo le explica que debe atender a las leyendas
b) (S≡T) ∧(R⊃(Q⊃Q)) inscritas en ellos, que al menos una de las inscripciones es verdadera y al menos una falsa,
c) ((S∧T)⊃(Q∨¬R)) ∧((T⊃R)⊃¬S) y que existe un único altar en el que debe recitarse el conjuro para vender el alma al diablo.
d) ((S∧R) ∧T) ∨(¬Q∨(¬T∧(R∧S))) ¿Cuál de las leyendas es falsa?
e) (T⊃(R∨(S∧Q)))∧¬Q
a) “No debes recitar el conjuro en b)”
22. Dado el conjunto Γ: { α→β , ( β↔β ) ↔ ¬ α , γ ∨ α , ¬ (γ∧α) , γ→ β } Si sabemos que b) “No debes recitar el conjuro en este altar”
α, β y γ son fórmulas, y que entre ellas hay dos contingencias y una contradicción, ¿qué se c) “Debes recitar el conjuro en este altar”
sigue necesariamente de Γ?
a) Altar B.
a) (γ ≡ ¬ γ) b) Altar A.
b) (α⊃ α)⊃ β c) No es posible saber en qué altar debe recitar.
c) (α≡γ) ∧ (β≡γ) d) Altar C.
d) γ ⊃(α ∧ β) e) El altar A o el altar B.
e) (α ∧ β) ∧ γ
27. Hay exactamente un concursante que ganará la carrera. ¿Cuál de las siguientes
23. ¿Cuál de las siguientes es la mejor simbolización para El estado mexicano es la mejor formalización para la negación de la oración anterior dado el siguiente dominio
comete crímenes y la desaparición de los normalistas es uno de ellos? Diccionario: Cx= x y diccionario? Dominio de discurso: los participantes de la carrera. Diccionario: Gx x
es un crimen, Mxy= x comete y, d= la desaparición de los normalistas, e= el estado ganará la carrera.
mexicano. a) ∃x∃y((Gx ∧ Gy) ∧ ∀z(Gz⊃ ((z=x) ∨ (z=y))))
a) ∃x(Cx∧Mex)∧(x=d) b) ∃x∃y((Gx ∧ Gy) ∧ (x≠ y)) ∨ ∀z(¬Gz)
b) ∃x((Cx∧Mex)∧∀y(Cy⊃(y=x))) c) ∃x∃y(Gx ∧ Gy) ∨ ∀z(¬Gz)
c) ∃x(Cx∧Mex)∧∀y(Cy≡Mey) d) ∃x(Gx ∧ ∀y(Gy⊃ (x=y)))
d) ¬∀x¬(Cd∧Mxd)∧ ∀y(y=d) e) ∃x∃y(((Gx ∧ Gy) ∧ (x≠y)) ∧ ∀z(Gz ⊃ ((z=y) ∨ (z=y))))
e) ∀x(Cx⊃ Mex)∧ ∃y((Cx∧ Mex)∧(x=d))
28. ¿Qué se sigue de lo siguiente?
24. Si sabemos que sólo una de las siguientes fórmulas es verdadera y las demás Todo el que es matemático es soberbio. Hay quienes son físicos y matemáticos. Sólo los
falsas ¿Cuál es la verdadera? físicos son pandrosos. Algunos pandrosos son amantes de los animales. Jaime es físico y
matemático.
a) A⊃B
b) A∧B a) Jaime es amante de los animales.
c) ¬A b) Hay quienes son soberbios y pandrosos.
d) ¬A≡¬B c) Jaime es amante de los animales o pandroso.
e)A∨B d) Que Jaime sea pandroso y no sea soberbio, no ocurre.
e) Todos los matemáticos son físicos.
25. Considere el dominio de discurso {a,b,c,d,e} y las asignaciones de valores de
verdad: Pa:V, Qa:F, Pb:V, Qb:F, Pc:F, Qc:V, Pd:V, Qd:V, Pe:F y Qe:V. ¿Cuál de los 29. ¿Cuál de los siguientes enunciados sobre argumentos no es verdadero?
siguientes enunciados es falso bajo estas condiciones? a) Si no hay una asignación que haga verdadera a todas las premisas
a) ∀x((x≠d)⊃(Qx≡¬Px)) entonces el argumento es válido.
b) ∀x((¬Qx⊃Px)∧(¬Px⊃Qx)) b) En argumentos válidos las tautologías como conclusión pueden ser el

7 8
resultado de premisas falsas.
c) Las contradicciones sólo pueden ser derivadas válidamente de conjuntos
de premisas inconsistentes.
d) Si la conclusión de mi argumento es verdadera en todos los casos, mi
argumento es válido.
e) Si la conclusión de mi argumento es falsa en todos los casos, mi
argumento es inválido.
30. Los políticos siempre mienten. En cierta ocasión, Peña Nieto (que es un
político) dijo algo que la gente no entendió, ¿cuál de las siguientes cosas no pudo haber
dicho?
a) No es cierto que yo estoy aquí ahora.
b) Ya sé que no aplauden, o no es cierto que la casa es y no es de Gaviota.
c) Si sucede que la casa es de Gaviota y ustedes no aplauden, entonces si la
casa es de Gaviota, ustedes aplauden.
d) No es cierto que: si Gaviota aplaude entonces hay alguien que aplaude.
e) Ayer comí frijol con gorgojo.