X OLIMPIADA INTERNACIONAL

DE LGICA, 2013
FASE ELIMINATORIA
NIVEL LICENCIATURA
No. de aciertos: ________
Nombre: _____________________________________Institucin:_________________
INSTRUCCIONES:
Todas las preguntas debern ser respondidas empleando nicamente las herramientas de la Lgica
Clsica Formal. Recuerda que este es un examen que mide habilidades lgicas; as, cuando leas
qu se sigue?, el examen se refiere a seguirse segn la Lgica Clsica Formal. Los smbolos
utilizados para las conectivas lgicas Negacin, Conjuncin, Disyuncin Inclusiva, Condicional
Material y Bicondicional Material son , &, , , respectivamente; asimismo, los smbolos
utilizados para el Cuantificador Universal y para el Cuantificador Existencial son , ,
respectivamente. Considera solamente las premisas que estn explcitamente escritas. Los ejemplos
son ficticios. 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). Cada pregunta tiene una nica respuesta correcta. Cada acierto que
tengas te dar un punto.

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

1. Dadas las siguientes premisas, qu se sigue?:

Todo el que sabe lgica, ha escuchado de Aristteles y Russell. Todo el que ha escuchado
de Aristteles y Russell, ha escuchado de Frege. Pepe sabe lgica, Luis ha escuchado de
Russell y Marco ha escuchado de Frege.
a) Marco sabe lgica, Pepe ha escuchado de Frege y Luis no ha escuchado de Frege.
b) Si Luis ha escuchado de Aristteles, entonces ha escuchado de Frege; o Marco no
ha escuchado de Frege.
c) Si Marco no sabe lgica, entonces Marco no ha escuchado de Frege; y Luis no ha
escuchado de Russell.
d) Marco ha escuchado de Aristteles y Pepe ha escuchado de Russell y Frege.
e) Luis no ha escuchado de Frege o Pepe no ha escuchado de Russell.

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

2. Qu enunciado no es equivalente a Lloro si y slo si ro?

a) Si no ro entonces no lloro, y, si no lloro entonces no ro.
b) Lloro y ro, o, no lloro y no ro.
c) No ro y no lloro, o lloro o ro.
d) No lloro o ro, y, lloro o no ro.
e) No es el caso que: lloro y no ro; y no es el caso que: ro y no lloro.
3. Suponiendo que una y slo una de las siguientes oraciones es verdadera, cul sera esa
oracin?
a) Kike es poltico si y slo si es corrupto.
b) Si Kike es poltico, entonces es corrupto.
c) Si Kike no es corrupto, entonces es corrupto.
d) Kike es poltico si y slo si no es corrupto.
e) Si Kike es poltico, entonces no es poltico.
4. Qu asignacin de valores de verdad muestra que el argumento es invlido?
1. C M
2. H S
3. S (C M)
/ [(C M ) S]
a) C: V,
b) C: V,
c) C: F,
d) C: F,
e) C: F,

S: V,
S: V,
S: F,
S: V,
S: F,

M: F,
M: V,
M: F,
M: F,
M: V,

H: F.
H: V.
H: F.
H: F
H: V

5. Dado el siguiente conjunto de frmulas {P Q, Q R, R P} Cul de las siguientes

frmulas no se sigue de l?
a) Q P
b) (Q R) (Q R)
c) R Q
d) Q R
e) R (Q P)

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

6. Dado el siguiente diccionario: P: Jos le paga a Arturo, M: Elisa se muda a otro pas y C:
Javier es encarcelado. Cul es la mejor formalizacin para la oracin Javier ser
encarcelado a menos que Jos le pague a Arturo y Elisa se mude a otro pas, aunque que
estas cosas sucedan no garantiza que Javier no sea encarcelado?
a) C (P & M)
b) (P & M) C
c) C (P & M)
d) (P & M) C
e) (P & M) C
7. Cul de las siguientes frmulas es equivalente a la conjuncin de las frmulas
P (Q R) y (R P) Q?
a) R (P Q)
b) R (P Q)
c) R (P P)
d) (P Q) R
e) R (P Q)
8. Cul de las siguientes asignaciones de valores de verdad muestra que la frmula
(((RR) (PP))(P(S&~S))) & ((TQ) ((Q(T&~T)) & Q)) puede ser verdadera?
a) P: F,
b) P: V,
c) P: F,
d) P: V,
e) P: F,

Q: F,
Q: F,
Q: V,
Q: V,
Q: V,

R: F,
R: F,
R: V,
R: V,
R: F,

S: V, T: V
S: F, T: F
S: F, T: V
S: V, T: V
S: V, T: F

9. Dada el siguiente conjunto de frmulas {P Q, T P, S T, P Q} Qu se sigue?

a) P & Q
b) S P
c) Q S
d) (P S)
e) T P

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

10. Cul de las siguientes opciones es una buena formalizacin para la negacin de Si
Jorge ve maana a Agustn, o lo golpea o lo abraza, dado el siguiente diccionario?
Diccionario: V: Jorge ve maana a Agustn, G: Jorge golpea a Agustn y A: Jorge abraza a
Agustn.
a) V (G & A)
b) V & (G & A)
c) V (G A)
d) V & (G & A)
e) V & (G & A)
11. Cul es la mejor formalizacin para la oracin rbol que nace torcido jams su tronco
endereza, considerando el siguiente diccionario. Diccionario: Ax: x es un rbol, Tzw: z es
tronco de w, Erst: r endereza s en el momento t, Ny: y nace torcido.
a) x y( ((Ax & Nx) & Tyx) & (t Eyxt))
b) xy(Ax & Tyx) & t Exyt
c) xy((Ax & Tyx) (Nx (t Exyt)))
d) xy((Ax & Nx & (Tyx)) & tExyt)
e) xy((Ax & Tyx) (Nx tExyt))

12. Alicia se encuentra frente a 5 puertas (Azul, Blanca, Caf, Dorada y Escarlata) de las
cuales una y slo una la conducir al mundo real. Tweedledum y Tweedledee le dicen a
Alicia las siguientes afirmaciones: 1) La puerta Azul te conduce al mundo real si y slo si
la puerta Blanca no te conduce al mundo real. 2) La puerta Dorada te conduce al mundo
real. 3) La puerta Caf y la Escarlata te conducen al mundo real. 4) La puerta Azul o la
Blanca te conducen al mundo real, pero no ambas. Sin embargo, slo una de las
afirmaciones que dijeron Tweedledum y Tweedledee es verdadera. Dada la informacin
anterior, cul es la puerta que conducir a Alicia al mundo real?
a) Puerta Azul
b) Puerta Blanca
c) Puerta Caf
d) Puerta Dorada
e) Puerta Escarlta
13. Qu enunciado es equivalente a la negacin del enunciado todos los lgicos son
astutos y serenos?
a) Al menos un lgico no es astuto o no es sereno.
b) Ningn lgico es astuto y ningn lgico es sereno.
c) Algn lgico no es astuto y no es cierto que algn lgico no es sereno.
d) Algunos astutos y serenos no son lgicos.
e) Ningn astuto y sereno es lgico.

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

14. Cul es la formalizacin ms adecuada para la oracin Todas las mujeres son
rockeras, con la posible excepcin de Adela, dado el siguiente diccionario? Diccionario: a:
Adela, Mx: x es una mujer, Dx: x es rockero.
a) x((Mx (ax)) Dx) Da
b) x((Mx (ax)) Dx)
c) x(Dx (Mx (ax))) Da
d) x((Mx (ax)) Dx)
e) x(Dx (Mx (ax)))
15. Hay 4 lgicos infalibles y veraces (L1, L2, L3 y L4) que estn con los ojos vendados en
un cuarto oscuro y se les informa que en una bolsa hay 3 trajes rojos y 3 azules. Se eligen al
azar 4 trajes de all y se pone uno a cada lgico. Se le permite al lgico L1 ver cules son
los colores de los otros 3, pero aun as les dice a sus compaeros: No puedo saber cul es
el color de mi traje. Se le permite al lgico L2 ver los trajes de L3 y L4, pero dice: Yo
tampoco puedo saber el color de mi traje. Finalmente se permite a L3 ver solo el traje de
L4. Qu se puede concluir con seguridad de la informacin dada?
a) L3
b) L3
c) L3
d) L3
e) L3

sabe que su color es Azul

sabe que su color es Rojo
no sabe cul es su color.
sabe cul es su color, pero nosotros no.
no tiene suficiente informacin para saber cul es su color.

16. Qu se sigue del siguiente conjunto de premisas? Si tengo pies entonces no tengo
guantes. Si tengo calcetines entonces no tengo manos. Tengo calcetines o tengo guantes.
a) Tengo manos y tengo pies.
b) Si no tengo manos entonces tengo pies.
c) Si tengo manos entonces no tengo pies.
d) Si tengo pies entonces tengo manos.
e) No tengo manos y no tengo pies.
17. Cul de las siguientes es una frmula lgicamente equivalente a (P (Q & R)) (P
Q)?
a) ((P & Q & R) (P & Q & R)) (P & Q & R)
b) ((P & Q & R) (P & Q & R)) (P & Q & R)
c) ((P & Q & R) (P & Q & R)) (P & Q & R)
d) ((P & Q & R) (P & Q & R)) (P & Q & R)
e) ((P & Q & R) (P & Q & R)) (P & Q & R)

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

18. Alejandro le pregunta a Esther que sea su novia, sin embargo l no logra escuchar lo
que ella dice. Esther no le quiere repetir su respuesta y como ella sabe lgica le dice: -una y
slo una de las siguientes opciones es consecuencia lgica de la respuesta que di a tu
preguntaa) Si soy tu novia, me tiro de la azotea de mi casa sin paracadas.
b) Si no sabes lgica, entonces no soy tu novia
c) Si no me tiro de la azotea de mi casa sin paracadas, no soy tu novia.
d) Soy tu novia
e) Si sabes lgica, entonces no soy tu novia; lo cual implica que no soy tu novia.

19. Dr. House quiere encontrar las causas de la enfermedad de la Dra. Hadley. Sabemos
que uno y slo uno de los siguientes incisos no contiene una proposicin verdadera sobre la
causa de la enfermedad de la Dra. Hadley cul es?
a) Un virus no es la causa si y slo si tiene una lesin cerebral
b) Su causa es gentica
c) Un virus es la causa o tiene una lesin cerebral, pero no ambas
d) Si su causa no es gentica, entonces hay algo en el ambiente que es causa de su
enfermedad.
e) No es el caso que: la causa no es gentica y tiene una bacteria

20. Qu se sigue del siguiente conjunto de frmulas

( (P P) P, (P P) P)?
a) P (P P)
b) P
c) P
d) P & P
e) P P

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

21. Despus de hornear un pastel para sus dos sobrinas y dos sobrinos que vienen a
visitarla, la ta Adela deja el pastel en la mesa de la cocina para que se enfre. Luego, ella va
al centro comercial para cerrar su tienda durante el resto del da. Al regresar, descubre que
alguien se ha comido una cuarta parte del pastel (incluso tuvo el descaro de dejar su plato
sucio junto al resto del pastel). Puesto que nadie estuvo en su casa ese da (excepto los
cuatro visitantes), la ta Adela se pregunta Cul de sus sobrinos se comera esa parte del
pastel? Los cuatro sospechosos le dicen lo siguiente: Carlos: Jimena se comi el trozo de
pastel; Delia: Yo no me lo com; Jimena: Too se lo comi; Too: Jimena minti cuando
dijo que yo me haba comido el pastel. Si slo uno de los sobrinos dice la verdad y slo uno
de ellos cometi el terrible crimen, pregunta Cul de los sobrinos dice la verdad?
a) Carlos
b) Delia
c) Jimena
d) Too
e) No se pueden cumplir todas las condiciones dadas.
22. Sean P1, P2, P3, Pn letras proposicionales (n letras diferentes) y Q es una frmula
compuesta que contiene al menos una ocurrencia de cada una de estas letras
proposicionales y no contiene ninguna otra letra proposicional. Cuntas filas (renglones)
se necesitan para construir la tabla de verdad de Q?
a) 2 x n
b) n x n
c) 2n
d) n2
e) 2 + n
23. Cul de las siguientes opciones es la negacin lgica de la frmula x(Fx Gx)?
a) x(Fx Gx)
b) x(Fx & Gx)
c) x(Fx Gx)
d) x(Fx Gx)
e) x (Fx Gx)
24. Suponiendo que la proposicin Q es verdadera, qu valores de verdad deben tener las
letras proposicionales P, R y S para que la siguiente frmula sea verdadera?
(Q ((P R) & S )) & (S (R & Q))
a) P:F,
b) P: F,
c) P:F,
d) P: F,
e) P:V,

R:F,
R:V,
R:F,
R:V,
R:V,

S:F
S:F
S:V
S:V
S:V

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

25. Un pirata se qued con el cofre del tesoro. Para poder abrir el candado necesita
encontrar la combinacin correcta de las siguientes cinco palabras: el, es, oro,
tesoro y vano. En un pergamino, encontr la siguiente clave: Es verdadero que: si
vano es la primera palabra, tesoro es la segunda; y si tesoro no es la segunda
palabra, el no es la tercera. Es falso que: si vano es la primera palabra, oro es la
quinta palabra. Al final, el pirata pudo abrir el candado, usando esta y otra informacin.
Asumiendo que la clave es correcta y que la combinacin correcta es una de las siguientes
cul es?
a) Tesoro vano es el oro.
b) El oro es vano tesoro.
c) El oro vano tesoro es.
d) Vano tesoro es el oro.
e) Vano tesoro el oro es.
26. Qu enunciado no es equivalente a: P Q?
a) (P Q) & (Q P)
b) (P & Q) v (P & Q)
c) (P & Q) v (P v Q)
d) (P v Q) & (P v Q)
e) (P &Q) & (Q & P)
27. Dada la premisa: Si canto y bailo, entonces me canso. Qu premisa debe agregarse
para que se siga: Si bailo entonces me canso?
a) Canto o bailo.
b) No es el caso que: no canto o bailo.
c) No canto o no bailo.
d) No es el caso que: canto y bailo.
e) No canto o bailo.
28. Si el enunciado: (P Q) R es verdadero, y el enunciado (P Q) R es
falso, qu valores de verdad tienen P, Q y R?
a) P: F.
b) P: F.
c) P: V.
d) P: F.
e) P: V.

Q: V.
Q: F.
Q: V.
Q: F.
Q: F.

R: F.
R: V.
R: V.
R: F.
R: F.

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA

29. Sea un conjunto de frmulas consistente. Suponiendo que alguno de los siguientes
incisos es falso Cul es?
a) Si
b) Si
c) Si
d) Si
e) Si

, entonces
, entonces
, entonces
, entonces
, entonces

es consistente
es consistente
es consistente.
es consistente
es consistente

30. Dadas las siguientes premisas, qu se sigue? Las monedas estn en la mochila o estn
en la alcanca. Si las monedas estn en la mochila estn en la alcanca. Las monedas estn
o no estn en la mochila.
a) Si las monedas no estn en la alcanca, estn en el pantaln.
b) Si las monedas estn en la alcanca, no estn en el pantaln.
c) Las monedas estn en la alcanca y no estn en el pantaln.
d) Si las monedas no estn en el pantaln, no estn en la alcanca.
e) Las monedas estn en la alcanca y estn en el pantaln.

X Olimpiada Internacional de Lgica

Fase Eliminatoria

LICENCIATURA