XI OLIMPIADA INTERNACIONAL DE LGICA, 2014

FASE FINAL
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. Cul de las siguientes asignaciones de valores de verdad para las proposiciones primitivas P, Q, S y T hacen verdadera
la siguiente proposicin compuesta?
(T ~S) ~ ((~Q (P ~P)) ~ (S ~S))
a) V(P) = V
V(Q) = V V(S) = F V(T) = F
b) V(P) = V
V(Q) = V V(S) = V V(T) = V
c) V(P) = F
V(Q) = V V(S) = F V(T) = V
d) V(P) = F
V(Q) = V V(S) = V V(T) = F
e) V(P) = V
V(Q) = F V(S) = F V(T) = V
2. Cul es la mejor formalizacin para la siguiente oracin?
Ganar la olimpiada, incluso si pierdo a todos mis amigos. (Dicho por Pablo)
Diccionario: G: Pablo ganar la olimpiada, S: Pablo pierde a todos sus amigos.
d) S G
a) S G
e) S
b) G
c) ~S G
3. Cul de las siguientes opciones no se sigue del siguiente conjunto de premisas?
{P Q, (R P) P, (R ~P) ~R}
a) ~(P ~Q)
d) (R P) R
b) R P
e) (Q P) ~Q
c) (Q R) R

XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

4. Despus de tomar un antdoto, ahora los zombies nicamente atacan a quienes los confunden. Esto sucede solo cuando
escuchan un argumento que tiene al menos una frmula tautolgica entre sus premisas y al menos una en la conclusin.
Marco, Pepe, Luis, Carlos y Juan son acorralados por los zombies y deben decir un argumento. Cada opcin muestra los
argumentos qu dicen. De acuerdo con esta informacin, indica la opcin que muestre a quin atacan los zombies, es
decir, el argumento que tenga al menos una tautologa en las premisas y al menos una en la conclusin.
a) Marco: Estoy vivo y estoy muerto; o no estoy vivo y no estoy muerto: Luego, soy un zombie y no soy un zombie.
b) Pepe: Si no soy un zombie, no estoy muerto. Si no soy un zombie, no estoy vivo. Luego, soy un zombie o no lo
soy.
c) Luis: Si no estoy vivo, estoy muerto. Si no soy un zombie, no soy un zombie. Por lo tanto; si soy un zombie y no
lo soy, entonces no soy un zombie y lo soy.
d) Carlos: Soy un zombie si y solo si no estoy muerto y no estoy vivo. Luego, soy un zombie o no lo soy.
e) Juan: Si soy un zombie, entonces estoy vivo o no estoy vivo. Luego, si estoy muerto y soy un zombie, estoy vivo
y no soy un zombie.
5. Qu se sigue del siguiente conjunto de oraciones?
Don Lucho siempre miente. Un da Don Lucho dijo: Todos los hombres justos sern recordados por siempre.
a) No hay hombres justos.
b) Hay hombres justos que sern recordados por siempre.
c) Nadie ser recordado por siempre.
d) Hay por lo menos un hombre justo.
e) Todos los hombres que sern recordados por siempre son justos.
6. Qu expresin es equivalente a la negacin lgica del siguiente enunciado: Si estoy en Puebla y no estoy en Puebla,
entonces estoy en Mxico o no estoy en Mxico.?
a) Estoy en Puebla o no estoy en Puebla, y si no estoy en Mxico, no estoy en Mxico.
b) Estoy en Puebla y no estoy en Puebla; o si no estoy en Mxico, estoy en Mxico.
c) Estoy en Puebla o no estoy en Puebla; y si estoy en Mxico, estoy en Mxico.
d) Estoy en Puebla o no estoy en Puebla; y si estoy en Mxico, no estoy en Mxico.
e) Estoy en Puebla y no estoy en Puebla; y si estoy en Mxico, estoy en Mxico.
7. Qu no se sigue del siguiente conjunto de oraciones?
Cualquiera que sea amigo de Alicia est loco. Slo los locos son felices. Si alguien es feliz no est loco. Si nadie es feliz,
entonces nadie est loco.
a) Nadie es feliz.
d) Cualquiera que no est loco es amigo de Alicia.
b) Alicia no tiene amigos.
e) Hay alguien que ni est loco ni es feliz.
c) Cualquiera que est loco es amigo de Alicia.
8. Tenemos un argumento con la premisa P y la conclusin R. Qu conjunto de frmulas es necesario agregar a las
premisas para que el argumento sea vlido?
a) {~P R, R ~ P}
b) {~ S ~ P, ~ S R}
c) {~ R ~ S, P S}

d) {R S, S P}
e) {~ S R, P S}

9. Sea la constante falsedad, es decir, siempre tiene el valor de verdad falso. Cul de las siguientes frmulas no es
equivalente a P Q?
a) (P ) Q
d) (P Q) Q
b) ((P )& ~Q)
e) ((P Q) & Q)(((Q ) P) )
c) (Q ) (P (P (Q )))
10. Qu frmula, que contenga slo negaciones y disyunciones, es equivalente a la siguiente: (P Q)?
a) (P Q) (Q P)
d) (P Q) (Q P)
b) (P Q) (Q P)
e) (P Q) (Q P)
c) (P Q) (Q P)
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

11. Cul de las siguientes asignaciones de valores de verdad para las proposiciones primitivas P, Q, S y T hacen falsa la
siguiente proposicin compuesta?
~ (~ (~Q T) (~(P (T ~T)) ~(S ~S)))
a)
b)
c)
d)
e)

V(P) = F
V(P) = V
V(P) = F
V(P) = V
V(P) = V

V(Q) = V V(S) = F V(T) = V

V(Q) = F V(S) = V V(T) = V
V(Q) = F V(S) = V V(T) = F
V(Q) = F V(S) = V V(T) = F
V(Q) = V V(S) = V V(T) = F

12. Alicia quiere crecer, pero slo lo lograr si deja de decir tautologas. Cul de las siguientes frases debe decir Alicia
para poder crecer?
a) Si el sombrerero est loco, yo estoy cuerda; si y solo si: si yo no estoy cuerda, el sombrerero no est loco.
b) El sombrerero est loco y yo estoy cuerda, si y solo si, el sombrerero no est loco y yo no estoy cuerda.
c) El sombrerero no est loco o yo estoy cuerda, si y solo si, si yo no estoy cuerda entonces el sombrerero no est
loco.
d) Si el sombrerero est loco, el sombrerero est loco; y si yo estoy cuerda, yo estoy cuerda.
e) Si el sombrerero est loco y yo estoy cuerda; entonces, el sombrerero est loco o yo no estoy cuerda.
13. 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. Un visitante
se encontr con 2 nativos de los que no saba nada, excepto sus nombres Juan y Jos. Se dio el siguiente dilogo.
Juan: Puedes confiar en Jos, es un bribn enfermo.
Jos: Juan es un bribn sano.
Juan: Yo no soy un bribn.
Jos: Yo no soy un bribn.
De qu tipo de persona se trata en cada caso?
a) Juan es un bribn sano y Jos es un caballero sano.
b) Juan es un bribn sano y Jos es un caballero enfermo.
c) Juan es un caballero enfermo y Jos es un bribn enfermo.
d) Juan es un caballero enfermo y Jos es un caballero sano.
e) Juan es un bribn sano y Jos es un bribn enfermo.
14. Cul es la negacin lgica de Voy a ser feliz contigo o sin ti?
a) Voy a ser feliz sin ti o no voy a ser feliz contigo.
b) Voy a ser feliz contigo y no voy a ser feliz sin ti.
c) No voy a ser feliz contigo y voy a ser feliz sin ti.
d) No voy a ser feliz contigo y no voy a ser feliz sin ti.
e) No voy a ser feliz contigo o no voy a ser feliz sin ti.
15. Sea | un operador binario que indica que P|Q es verdadero en los siguientes casos y slo en stos:
a) V(P)= F y V(Q)= F.
b) V(P)=V y V(Q)=F.
c) V(P)=F y V(Q)=V.
Supngase adems que las reglas de formacin de frmulas son iguales a las de los operadores binarios usuales. Seale
cul de las siguientes frmulas no es lgicamente equivalente a ~R|S.
a) ~ (~R & S)
d) R v ~S
b) ~S v R
e) ( (~R & ~S) v (R & S) ) v ~ (~R v S)
c) R v S
16. Cul de las opciones se sigue de la frmula: ~(P & ~Q) v R?
a) ~P v (Q v ~R)
b) (~R v ~Q) v ~P
c) (~R & ~Q) & ~P

d) (R & ~Q) v (R & ~Q)

e) (~P v R ) v (~P v Q)

XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

17. Un periodista lleg a una extraa isla llamada Logi-kosa. La isla est habitada por dos tribus: los Logis, que siempre
dicen la verdad y los Kosa que siempre mienten. Al ver a 4 nativos (llammosles A, B y C) sentados en crculo el
periodista se acerco y, para descubrir a qu tribu pertenecan les pregunt en orden: Usted y el que est a su izquierda son
de la misma tribu?. Y recibi las siguientes respuestas: A: S. B: S. C: No. D: No.
A qu tribu perteneca cada aborigen?
a) A y C son Kosa; B y D es Logi.
b) A y B son Logi, C y D son Kosa.
c) A y C son Logi; B y D son Kosa.
d) A, B y C son Logi y D es Kosa.
e) A y D son Kosa; B y C son Logi.
18. Norma, la mam de Pepe, le dice a su hijo: Si apruebas tus materias, todos somos felices. La mam de Pepe slo ser
infeliz si sucede lo que la negacin de este enunciado expresa. Qu tiene que suceder para que la mam de Pepe sea
infeliz?
a) Que Pepe apruebe sus materias y que todos sean felices.
b) Que Pepe apruebe sus materias y que alguien no sea feliz.
c) Que Pepe apruebe sus materias y que nadie sea feliz.
d) Que Pepe no apruebe sus materias y que todos sean felices.
e) Que Pepe no apruebe sus materias y que alguien sea feliz.
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 bribn enfermo?
a) Soy un bribn.
d) Soy un caballero si y solo si soy un bribn.
b) Si soy un caballero, entonces estoy enfermo.
e) Si estoy sano, entonces soy un caballero.
c) Si soy un caballero, entonces soy un bribn.
20. Qu se sigue de la negacin del siguiente enunciado: Estudio o no es el caso que: voy a la Olimpiada y gano?
a) No voy a la Olimpiada y no estudio o no gano.
d) No gano y estudio y voy a la Olimpiada.
b) No estudio y voy a la Olimpiada, y no gano.
e) Voy a la Olimpiada, y no estudio y gano.
c) No voy a la Olimpiada o estudio, o no gano.
21. Tenemos un argumento con la premisa P y la conclusin (S&T). Qu conjunto de frmulas es necesario agregar a las
premisas para que el argumento sea vlido?
a) { P (~ T& R), ~ R S, P ~ S}
d) { S ~T , ~ T P}
b) { R (P ~ (S T)), P R}
e) { P (S ~T)}
c) { P (S T), (S T) R, R S}
22. Qu se sigue del siguiente conjunto de oraciones?
O bien, todo est perdido, o bien, todo tiene solucin. Si todo est perdido, de nada hay que preocuparse. Si de nada hay
que preocuparse, entonces todo tiene solucin.
a) Todo est perdido.
d) Hay algo que no tiene solucin.
b) Todo tiene solucin.
e) De nada hay que preocuparse.
c) No todo est perdido.
23. Asumamos que el smbolo es una conectiva de dos lugares que representa una disyuncin exclusiva. Cuando
decimos que P R estamos diciendo O bien P es verdadera, o bien R, pero no ambas.
Considerando el conjunto de frmulas = {P Q, Q R, T S, R S} Cul de los siguientes conjuntos de frmulas en
conjuncin con dara lugar a una contradiccin?
a) {Q, ~ T}
d) {~ S, Q}
b) {S, ~ P}
e) {~ R, ~ T}
c) {P , T}
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

24. Michael Jordan le dice a Michael Jackson: Si t eres el rey del pop y yo soy el mejor basquetbolista, entonces, si t
eres Superman, entonces yo soy Batman. Qu enunciado es equivalente a la negacin de esta afirmacin?
a) T eres el rey del pop y yo soy el mejor basquetbolista, o t eres Superman y yo no soy Batman.
b) T eres el rey del pop o yo soy el mejor basquetbolista, y t eres Superman y yo soy Batman.
c) T no eres el rey del pop y yo soy el mejor basquetbolista, y t eres Superman y yo no soy Batman.
d) T eres el rey del pop o yo soy el mejor basquetbolista, o t no eres Superman y yo no soy Batman.
e) T eres el rey del pop o yo soy el mejor basquetbolista, y t eres Superman o yo no soy Batman.
25. Cul las siguientes formalizaciones no es adecuada para el siguiente argumento?
Peter ama a Gwen. Pero, si Peter ama a Gwen, ella correr peligro y tarde o temprano morir. Ergo, Gwen tarde o
temprano morir.
Diccionario: P: Peter ama a Gwen, Q: Gwen correr peligro, R: Gwen tarde o temprano morir.
a) 1. P
2. P (Q & R)
/ R
b) 1. P
2. (P Q) & (P R)
/ R
c) 1. P
2. P ~(~Q ~R)
/ R

d) 1. P & (P (Q & R))

/ R
e) 1. P
2. P (Q R)
/ R

26. Cul de las siguientes frmulas es falsa dada la siguiente asignacin de valores de verdad?
v(P)=V, v(Q)=F, v(R)=V, v(S)=V.
a) (~(P ~P) & ~Q) & ~(R ~S)
d) (P (Q (R S))) (P Q)
b) P (P ~((R & S) Q))
e) (S P) ~(Q R)
c) (R & P) ((~R ~P) (~Q & S))
27. Cul de las siguientes asignaciones de valores de verdad muestra que el siguiente argumento es invlido?
1. (P R) (R & P)
2. ~R Q
3. ~(~Q Q)
/ ~P
a) v(P)=F, v(Q)=V, v(R)=V.
d) v(P)=V, v(Q)=F, v(R)=F.
b) v(P)=V, v(Q)=F, v(R)=V.
e) v(P)=F, v(Q)=F, v(R)=F.
c) v(P)=V, v(Q)=V, v(R)=F.
28. Hugol quiere saber quin ganar el mundial de futbol; as que va con el orculo del deporte, para que le d sus
pronsticos. El orculo le dice: Si Espaa no gana o Mxico gana, entonces Alemania gana. Si Francia no gana, entonces
Espaa no gana. Si Holanda gana, entonces Brasil gana. No es el caso que: Holanda gana o Francia gana. Como Hugol
es un experto en lgica, inmediatamente supo quien ganara. De acuerdo a lo dicho por el orculo y considerando que solo
un equipo puede ganar, quin gana el Mundial?
a) Mxico.
d) Espaa.
b) Francia.
e) Alemania.
c) Brasil.
29. Asumamos que el smbolo es una conectiva de dos lugares que representa una disyuncin exclusiva. Cuando
decimos que p r estamos diciendo O bien p es verdadera, o bien r pero no ambas. Considerando el conjunto de
frmulas = {P R, R S} Cul de los siguientes conjuntos de frmulas en conjuncin con dara lugar a una
contradiccin?
a) {P, ~ R, S }
d) {~P, R, ~ S }
b) {R, ~ S }
e) {~ P, ~S }
c) {~ P, S }
XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO

30. Cul de las siguientes frmulas en clculo proposicional es equivalente a la que expresa el diagrama?

a)
b)
c)
d)
e)

(P v ~Q) v ((R v S)& ~T)

(P &Q) v ((R v S)& ~T)
(~P & ~Q) v ((R v S)&T)
(~P v ~Q) v ((~R v S)& ~T)
~ (P v ~Q) v ((R v S)& ~T)

XI Olimpiada Internacional de Lgica

Fase Eliminatoria

BACHILLERATO