XIII OLIMPIADA INTERNACIONAL DE LGICA

FASE FINAL
NIVEL LICENCIATURA
N 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.) y conjuntos de proposiciones (, , etc.).
Los smbolos utilizados para las conectivas lgicas negacin, conjuncin, disyuncin inclusiva,
condicional material, 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 slo 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. Dado un conjunto G de premisas, sabemos que una y slo
una de las siguientes frmulas no se sigue de G. Qu
frmula es?
a) (A B) C d) C (B A)
b) B (A C) e) (C B) A
c) (B A) C
2. Sean a, b y g frmulas de la lgica clsica. Cul de los
escenarios que se ofrecen en las opciones hace que la
siguiente frmula sea necesariamente verdadera?
[(b a) ( g g )] [ g [((a b) (b a))
(b g)]]

a) a es una tautologa y b es una contradiccin.

b) g es la negacin de a y b es equivalente a g.
c) g es una tautologa y b es la negacin de a.
d) b es la negacin de g y g es equivalente a a.
e) a es una tautologa y g es una tautologa.
3. Dado el siguiente argumento Cul de las premisas al ser
eliminada vuelve invlido el argumento?
1. (RT)(SQ) (SR)Q
2. (TR)P
3. (SR)(QP)
4. (SR)(TP)
5. (TR)Q
a) 1 c) 4 e) Ninguna de las
anteriores
b) 2 d) 5
4. Dado el siguiente conjunto de frmulas: {PQ, RS,
TX} Cul de las siguientes frmulas se sigue de l?
a) (PQ)(RT) d ) (Q T)(RQ)
b) (RQ) (TS) e) (SR)(QT)
c) (QP) (ST)
5. Dado el siguiente argumento invlido Cul de las
frmulas que se ofrecen en las opciones hace vlido el
argumento cuando es agregada a las premisas?
1. "x y (Px (Qy Txy))
2. "z(Qz z=a)
\$x$w(x=w Twx)
a) (PaQb) Qb d ) (PaQb) Pa
b) Qr Pr e) (QbTab)
c) (PaQb)Pa
6. Si slo una de las siguientes frmulas es verdadera Cul
es?
a) d) ( )
b) e) ()
c)
7. Cul de las siguientes traducciones a lenguaje formal no
es equivalente al siguiente enunciado: Al que me ame lo
odiar y a los dems tambin, incluso si no me odian (dicho
por Chulai)?
Diccionario: c:Chulai, Axy: x ama a y, Oxy: x odia a y
a) xOcx
b) x[(Axc Ocx) y((yxOxc) Ocx)]
c) x y[((AxcOxa) Ocx)(x y Ocy)]
d) x y[((AxcOyc) (OcxOcy)) zOcz]
e) x[(AxcAxc) Ocx]
8. El impopular deporte del logicball jug hace unos das su
primer mundial. Ya que slo juegan 4 equipos en el mundial
de logicball el torneo se juega del siguiente modo: cada
equipo habr de jugar exactamente 3 partidos, uno contra
cada uno de los equipos restantes. Si la seleccin gana un
partido obtiene 2 puntos, si empata obtiene 1 y si pierde
obtiene 0. Como el mundial es organizado por lgicos, estos
slo publicaron los puntos obtenidos por cada equipo y
dejaron que los aficionados sacaran sus conclusiones. Estos
son los puntos por equipo: Amilgos: 5 puntos, Bestias
Proposicionales: 4 puntos, Cuantificadores: 2 puntos y
Dialeteistas 1 punto. Cul de las siguientes afirmaciones
dichas por fanticos del logicball es necesariamente falsa?
a) Cuantificadores le gana a Bestias Prop. d ) Cuantificadores perdi contra Amilgos
b) Amilgos empat con Dialeteistas e ) Cuantificadores empata con Bestias Prop.
c) Cuantificadores empat contra Amilogos

9. Qu interpretacin hace verdaderas todas las frmulas del

siguiente conjunto: {[(PQ)(RS)],
[R ((P(RS))Q)], [(PQ)(RS)],
[(RS) (PQ)]}?
a) v(P)=V, v(Q)=V, v(R)=F, v(S)=F.
b) v(P)=F, v(Q)=F, v(R)=V, v(S)=V.
c) v(P)=V, v(Q)=F, v(R)=V, v(S)=F.
d) v(P)=F, v(Q)=V, v(R)=F, v(S)=V.
e) Ninguna de las anteriores.
10. Teniendo en cuenta la informacin del reactivo anterior
qu es consecuencia lgica del conjunto de frmulas?
a) (QP)(RS) c) (PR)(QS) e)
(PQ)(RS)
b) (PQ)(R S) d) (P Q)(RS)

11. Cul de las siguientes frmulas es equivalente a:

y x{(PxQyx) z[Pz w(Rwy Sz)]}?
a)
x y{[(PxQyx)(QyxPx)] z[( w(Rwy) Sz)Pz]}
b) y{ z[Pz ( w(Rwy)Sz)] x(PxQyx)}
c) x y{(QyxPx) z[Pz w(RwySz)]}
d) y{ z[Pz ( w(Rwy)Sz)] x(Px Qyx)}
e) y{ z[Pz( w(Rwy)Sz)] x(Px Qyx)}
12. Qu premisa se debe agregar al siguiente argumento
para que siga siendo vlido o invlido (segn sea el caso)?
1. P [S (R Q)]
2. R(PS)
3. P (RS)
Q(RS)
a) PR c) QR e)
(P P)
b) R (QS) d) RS
13. Ana la niera estaba cuidando a los cuatro hermanitos
(Juan, Jos, Javier y Jacinto) cuando se dio cuenta de que
alguno de ellos se haba comido el pastel que haba hecho.
Los padres de los nios le haban dicho a Ana que dos de los
nios siempre mentan, mientras que los otros dos siempre
dicen la verdad, pero no le dijeron cules eran cules.
Cuando interrog a los nios estos le respondieron:
Juan: No miento cuando digo que Javier se comi el
pastel.
Jos: Juan dice la verdad si y slo si yo me com el
pastel.
Javier: Jos dice la verdad y yo no me com el pastel.
Jacinto: Javier miente y yo no me com el pastel.
Sabiendo que uno y slo uno de ellos fue quien se comi el
pastel, Ana pudo concluir con certeza que:
a) Jos se comi el pastel.
b) Juan no se comi el pastel.
c) Jos no se comi el pastel.
d) Javier se comi el pastel.
e) Jacinto no se comi el pastel.
14. Cul es la mejor traduccin de Hay un nico dios al
que todos los humanos alaban y ese dios es Dioniso?
Diccionario: Dx: x es dios; Hx: x es humano; Axy: x alaba a
y; d: Dioniso.
a)
b)
c)
d)
e)
15. Qu se sigue del siguiente conjunto de premisas?
{[(PS)(QR)], [(QR) (PS)], [(QS) P]}
a) P (QS) c)
(PQ)R e) (PQ)(RS)
b) (PR)S d) P(QS)
16. Cul de las siguientes frmulas es la mejor traduccin a
la lgica de predicados de: Algn viajero ha pisado todos
los continentes que no son Europa?
Diccionario: Px: x es viajero; Qxy: x ha pisado y; Rx: x es
continente; a: Europa.
a) x y[Px((Ry(yx)) Qxy)]
b) x y[(Ry(ya)) Qxy]
c) x y[(Ry ((ya) Qxy))Px]
d) x y[Px((Ry(ya)) Qxy)]
e) x y[(Ry ((ya) Qxy))Px]
17. Qu se sigue del siguiente conjunto de premisas?
1. T ((PS)(QR))
2. (Q(S R)) P
3. P(R (SQ))
4. (PQ)S
a) T(Q S) c) (PS) T
e) (PQ)P
b) (SR)P d) (TR)(PS)

18. Cul no es una traduccin adecuada para la siguiente

oracin: Los gatos que tienen dueo y le dan regalos son
cleptmanos? Diccionario: Gx: x es un gato, Rx: x es un
regalo, Cx: x es cleptmano, Txyz: x le da y a z, Dxy: x es
dueo de y.
a) x y [((Gx Dyx) z (Rz Txzy)) Cx]
b) x y z [Cy ((Gy Rx) (Dzy Tyxz))]
c) x y [(Dyx Gx) z (Rz (Cx Txzy))]
d) x z [(Gx (Cx Rz)) y (Dyx Txzy)]
e) x y z [(Gy Cy) (Dzy (Tyxz Rx))]
19. Qu premisa hay que aadir para hacer del siguiente
argumento un argumento vlido?
1. x(Qx Sx) y Ry
2. x Tx y (Sy Py)
3. _________________
x (Sx (Px Qx))
a) x Tx y Ry c) x Tx y (Py
Ry) e) xTx y(RyQy)
b) x (Rx Tx) d) x (Qx Sx)
20. Qu no se sigue del siguiente conjunto de premisas?
{[(P R) N] ; [N (S R)] ; [Q (N (N
P))]}
a) Q N c) M [(N P) Q] e) (R
P) (S P)
b) (P S) N d) P Q
21. Sea un conjunto consistente de frmulas y una
frmula tal que , adems sea un conjunto de frmulas
y una frmula tal que . Sabemos que todo lo que es
consecuencia en es consecuencia en . Cul de las
siguientes afirmaciones es necesariamente verdadera?
a) c) es consistente. e)
es consistente.
b) es consistente. d) es inconsistente.
22. Dado el siguiente conjunto de premisas, qu no se
sigue?
{[P(RT)]; [S ((PR)(R T))]; [((P T)(P Q))]}
a) ( P S) (Q T) d)
(PS) ((T R)Q)
b) R ((Q T) (Q T)) e)
(R(TQ)) (S(P Q))
c) ((P R) (R T))
23. Cul de las siguientes aseveraciones es falsa?
a) Un enunciado cuantificado universalmente nos indica que
ningn elemento del dominio del discurso satisface la
negacin de la frmula sobre la que opera el cuantificador.
b) Un enunciado cuantificado existencialmente no nos indica
que haya un elemento del dominio del discurso que no
satisface la frmula cuantificada.
c) Un condicional es falso cuando el antecedente es
verdadero o el consecuente es falso.
d) La negacin de una conjuncin es verdadera cuando uno
de los coyuntos es falso o la negacin del otro coyunto es
verdadera.
e) Una disyuncin no es verdadera cuando la negacin de
uno de los disyuntos es verdadera y el otro disyunto es falso.
24. Si una y slo una de las siguientes afirmaciones es falsa,
cul es?
a) Los historiadores son humanistas.
b) No es el caso que, Sergio es cientfico social si es
comuniclogo.
c) No hay historiadores ni comuniclogos.
d) Los comuniclogos son cientficos sociales.
e) Ernesto es humanista.

25. Supngase que una y slo una de las siguientes opciones

es verdadera cul es?
a) Gok derrotar a todos los enemigos que atenten contra el
mundo y Vegeta derrotar a todo enemigo que no sea
sayayin.
b) Vegeta derrotar a todos los enemigos que no sean
sayayines o Gok derrotar a algn enemigo que atente
contra el mundo.
c) Gok derrotar slo a un enemigo que atente contra el
mundo y Vegeta derrotar a algn enemigo que no sea
sayayin.
d) Vegeta derrotar a todos los enemigos que no sean
Sayayines o Goku derrotar slo a un enemigo que atente
contra el mundo.
e) Vegeta derrotar a todo enemigo que no sea sayayin.
26. Definiendo como la negacin de un bicondicional, y
dadas las siguientes frmulas: {[(PR) S]X},
{[D (MR)]S}, {[(ZM) X]D}, Qu no se sigue?
a) (PZ) (ZP) c)
(S D)(S D) e) XS
b) S{[(PQ)P]Q} d) XD
27. Considerando el siguiente diccionario: a: Shirley, Mxy: x
odia a y, Wxy: x ama a y, Rx: x es una tarde, Ex: x es
lluvioso, Gx: x es soleado, Bx: x es un da Cul es una
traduccin adecuada para Shirley odia los das soleados y
ama las tardes lluviosas?
a) x y{[(RxEx) Max][(Gy By) Way]}
b) x{[(RxEx) Max] y[(Gy By) Way]}
c) y[( MyaGy) ( Mya By)]
x[(RxEx)Wax]
d) y[((ByMay) Gy ] x[Rx (Ex Wax)]
e) x[Wax (ExRx)] y[May(Gy By)]
28. Kelen piensa que Nisroch y ella estn locos. Suponiendo que las creencias de los
cuerdos son siempre ciertas y las de los locos siempre falsas, determina quin est loco y
quin est cuerdo; considera que las personas slo pueden o bien estar locas o bien estar
cuerdas, y que alguien est cuerdo s y slo si no est loco.
Con base en tu respuesta, y dado el siguiente diccionario: Lx: x est loco, Cx: x est
cuerdo, k= Kelen, n=Nisroch, Qu se sigue? a) (Kl Cn) ( Ln
Cl) d) (Ln Ck) Lnb) Ln [(Cn Ln) (Ln
Lk)] e) [(Lk Ln) (Lk Cn)] (LkCn)
c) {(CkCn) [ Ck (LkCn)]}

29. Semiyazza, Bellial y Griori son ngeles cados que se

renen todos los das a entretenerse de dos formas, o bien
torturan almas de incontinentes, ubicadas en el 5 crculo del
infierno, o bien torturan herejes, ubicados en el 6, pero
siempre siguiendo las siguientes reglas: Si Semiyazza tortura
un alma del 5 entonces Bellial tortura una de distinto
crculo que Griori; si Bellial tortura una del 5, entonces
Semiyazza tortura uno del crculo distinto del de Griori; si
Griori tortura un alma del 6, entonces Semiyazza tortura
una del mismo crculo que Bellial. qu podemos decir de
estas condiciones en tal escenario dantesco?

a) Que Griori tortura herejes y Semiyazza incontinentes.

b) Bellial torturar incontinentes y Semiyazza incontinentes.
c) Que alguno de los ngeles cados torturar tanto herejes
como incontinentes.
d) Que las condiciones no son inconsistentes.
e) Que los ngeles cados necesariamente torturan almas de
un solo crculo.
30. Traduzca el siguiente diagrama esquemtico al lenguaje
de la lgica proposicional:

Tenga en cuenta las siguientes convenciones:

a) {[P(QS)][P(RS)]}
b) {[P(RS)][P(QS)]}
c) {[P(QS)][P(RS)]}
d) {[P(QS)][ P(RS)]}
e) {[P(QS)][P(RS)]}
1