X OLIMPIADA INTERNACIONAL

DE LGICA, 2013
FASE FINAL
NIVEL BACHILLERATO
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. Dado el siguiente conjunto de frmulas {PQ, R~P, QT} Cul de las siguientes
frmulas se sigue de l?
a) (~R&P) (Q&T)
b) (P&Q) (~P&~R)
c) P (Q&~R)
d) (QT) R
e) (P ~T) (Q & ~R)
2. Cul es la negacin lgica de la siguiente oracin: Todos los hombres guapos son malas
personas?
a) Hay hombres guapos que son malas personas.
b) Hay una mala persona que no es guapa.
c) Todos los hombres guapos no son malas personas.
d) Todas las personas malas no son hombres guapos.
e) Hay un hombre guapo que no es una mala persona.

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

3. Sea un conjunto de frmulas. Supongamos que una y slo una de las siguientes
frmulas es una consecuencia lgica de . Cul es?
a) ~P ~Q
b) P Q
c) (P P) Q
d) (P Q)
e) (P ~Q) ~Q
4. Suponiendo que una y slo una de las siguientes oraciones es verdadera. Cul sera esa
oracin?
a) No es el caso que: Jos es matemtico si y slo si Martha no es fsica.
b) Si Jos es matemtico, entonces Martn es filsofo.
c) Si Martn es filsofo, entonces Jos es matemtico.
d) Martn es filsofo si y slo si Martha no es fsica.
e) Jos es matemtico o Martn no es filsofo.
5. Dado el siguiente conjunto de frmulas {P & Q, R S} Cul de las siguientes frmulas
se sigue de l?
a) (P & Q) ~(~R S)
b) ((P & R) & Q) ((~Q & S) & P)
c) ((P & R) Q) ((Q & S) & P)
d) (P & Q) & ~(~R S)
e) (P ~Q) & (R S)
6. Cul de las siguientes asignaciones de valores de verdad para las letras proposicionales
hacen que la frmula ((P ((Q~Q) & (~ST))) R) & ((R & P) & ~T) sea verdadera?
a) P=V, Q=F, R=V, S=V, T=F
b) P=F, Q=V, R=V, S=V, T=V
c) P=V, Q=V, R=F, S=V, T=F
d) P=F, Q=F, R=V, S=V, T=V
e) P=V, Q=F, R=F, S=V, T=F
7. Dado el siguiente conjunto de frmulas {RS, Q~R, RS, S(Q&T)} Cul de las
siguientes frmulas no se sigue de l?
a) ~Q ~T
b) R T
c) T ~Q
d) P ~S
e) R P

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

8. Cul de las siguientes frmulas es equivalente a (P (Q R)) ((P Q) (P R))?

a) ~P (Q R)
b) ((P Q) P) P
c) (~P Q) (~P R)
d) Q ~Q
e) ((P Q) R) P
9. Qu premisa debera aadirse al siguiente argumento para que sea vlido?
______________________________. No es el caso que no todos mueren; y ninguno que
muere sobrevive. En consecuencia, si Pepe no sobrevive, entonces no muere.
a) Pepe no sobrevive y muere.
b) Pepe no sobrevive o no muere.
c) Pepe muere o no sobrevive.
d) Pepe muere o sobrevive.
e) Pepe sobrevive o no muere.
10. Qu se sigue de la siguiente informacin? Los Beatles volvern a reunirse si y slo si
John se divorcia de Yoko y Paul deja de ser tan egocntrico. George se retira a la India si
Paul no deja de ser tan egocntrico. Si Los Beatles no vuelven a reunirse entonces Ringo se
convierte en estrella de cine. Adems Paul dejar de ser egocntrico slo si John se
divorcia de Yoko. Pero John se divorcia de Yoko slo si es cierto que: si es verdad que
John se divorcia si no se divorcia, entonces es verdad que no se divorcia si es el caso que
se divorcia.
a) John se divorcia de Yoko.
b) O bien Ringo no se convierte en estrella de cine o bien Paul deja de ser tan
egocntrico.
c) George se retira a la India y Ringo se convierte en estrella de cine.
d) No es el caso que: si John se divorcia de Yoko entonces Paul deja de ser tan
egocntrico.
e) Los Beatles volvern a reunirse.
11. Cul de las siguientes frmulas es una tautologa?
a) (((P Q) & (S ~P)) & (Q R)) ~(S & ~R)
b) (((S & Q) & (S ~P)) & (Q R)) ~(~P & R)
c) (((~S ~Q) & (~R ~P)) & (~S P)) ~(~Q & R)
d) (((S Q) & (~S ~R)) & (~Q ~P)) ~(R&P)
e) (((S Q) & (R P)) & (S ~P)) ~(~Q R)
12. Definamos la conectiva NAND como (P Q)~(P&Q) para las proposiciones P y Q.
Cul de las siguientes frmulas es equivalente a P Q?
a) (P Q)
b) (P P)
c) (P P) (Q Q)
d) (P Q) (P Q)
e) P (P Q)

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

13. Considere la siguiente oracin: Si no es verdad que: el tiempo es una sucesin de

instantes y no lo es; entonces tampoco es verdad que: o bien hay partes de mi mente que
son inaccesibles para mi o bien no las hay.
De cul de los siguientes conjuntos de oraciones se sigue esta oracin?
a) Si el Real Madrid gana el Barcelona gana. El Real Madrid gana o no gana. El
Barcelona gana si y slo si el Real Madrid no gana.
b) Gana el Real Madrid o no gana el Barcelona. No es verdad que: el Barcelona
gana si y slo si no gana. El Real Madrid gana.
c) El Barcelona no gana si y slo si el Real Madrid no gana. Gana el Barcelona o el
Real Madrid. Barcelona gana.
d) Si no gana el Real Madrid entonces gana. Gana el Barcelona si gana el Real
Madrid. El Barcelona no gana.
e) Si el Barcelona gana entonces no gana. El Barcelona no gana. El Real Madrid no
gana.
14. Cul de las siguientes asignaciones de valores de verdad para las letras proposicionales
hacen que la frmula (((P Q) & (P R)) & ((R ~S)& (~S Q))) S sea falsa?
a) P=V, Q=V, R=F, S=F
b) P=V, Q=V, R=V, S=F
c) P=V, Q=F, R=V, S=F
d) P=F, Q=V, R=V, S=F
e) P=F, Q=F, R=V, S=V
15. Segn el diario de Von Humboldt cuando visit Nueva Espaa: Aqu todos los ricos son
o bien grandes comerciantes, o dueos de grandes minas, o bien grandes terratenientes.
Pero en Nueva Espaa el gran comerciante se hace un gran terrateniente y ste se hace
dueo de grandes minas. Adems, es condicin necesaria para ser rico tener una red
slida de parientes, compadres y amigos. Finalmente, no todos los espaoles son ricos,
pero s todos los ricos son espaoles.
Suponiendo que lo dicho en el diario de Von Humboldt es cierto. Cul de las siguientes
oraciones se sigue?
a) Todos los espaoles con una red slida de compadres, parientes y amigos, son
ricos.
b) No existen espaoles que no sean dueos de grandes minas y grandes
comerciantes a la vez.
c) Existe algn espaol que es gran comerciante, gran terrateniente y dueo de
grandes minas.
d) Todos los que tienen una red slida de compadres, amigos y parientes, son
espaoles dueos de grandes minas.
e) No existen espaoles ricos que no sean dueos de grandes minas.

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

16. Sea un conjunto de frmulas. Supongamos que una y slo una de las siguientes
frmulas es una consecuencia lgica de . Cul es?
a) R
b) Q P
c) ~(S Q)
d) ~(S (T S))
e) (R & Q) (R & ~Q)
17. Alicia sabe que la oruga azul siempre dice la verdad y el conejo blanco siempre miente.
Como estos personajes son muy sabios Alicia fue a hacerles la siguiente pregunta: El
universo est contenido en mi bolsillo? La oruga azul le contest: Si el universo est
contenido en tu bolsillo, entonces tu nombre es Alicia. Con esa afirmacin y con lo que le
respondi el conejo blanco; Alicia puedo inferir que el universo s estaba contenido en su
bolsillo. Cul fue la respuesta del conejo blanco?
a) El universo est contenido en tu bolsillo o tu nombre es Alicia.
b) Si el universo no est contenido en tu bolsillo, tu nombre no es Alicia.
c) El universo no est contenido en tu bolsillo o tu nombre es Alicia.
d) El universo no est contenido en tu bolsillo o tu nombre no es Alicia.
e) Tu nombre no es Alicia si y slo si el universo no est en tu bolsillo.
18. Sea un conjunto de frmulas. Supongamos que una y slo una de las siguientes
frmulas no es una consecuencia lgica de . Cul es?
a) P ~P
b) ~(P P) Q
c) (P Q)
d) (P ~P) P
e) (P & ~Q) R
19. Definamos la conectiva proposicional rombo ( ) como sigue:

V
V
V
V
V
F
F
F
V
F
V
F
Cul de las siguientes frmulas es equivalente a P(PQ)?
a) P & Q
b) P Q
c) P Q
d) Q P
e) P Q

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

20. Considere el siguiente conjunto de oraciones: Es claro que, si Esther gana una
Olimpiada de Lgica, entonces una contradiccin es el caso. Pero resulta que le toc
participar en una Olimpiada donde slo haba dos participantes (contndola a ella), y uno
(pero slo uno) tena que ganar. El otro participante, Felipe, tampoco es muy bueno en
lgica, pero particip porque saba que no pasara que: l gane y no se encarcele a quien
sea que haya perdido la Olimpiada.
Cul de las siguientes oraciones se sigue de lo anterior?
a) Esther es encarcelada y una contradiccin es el caso.
b) Felipe es encarcelado.
c) Esther es encarcelada aunque gana la Olimpiada.
d) Esther es encarcelada.
e) Felipe es encarcelado y Esther es encarcelada.
21. Dado el siguiente conjunto de frmulas {P Q, ~P & M, T Q, Q S} Cul de las
siguientes frmulas no se sigue de l?
a) N M
b) P S
c) S ~T
d) T & S
e) (Q T) & M
22. Cul es la negacin lgica de la siguiente oracin: Ni todos los hombres son
machistas, ni todas las mujeres son feministas?
a) O existe un hombre machista o existe una mujer feminista.
b) Si es cierto que no todos los hombres son machistas, entonces no hay mujeres
que no sean feministas.
c) O ningn hombre es machista o ninguna mujer es feminista.
d) O existe un hombre que no es machista o existe una mujer que no es feminista.
e) Si hay por lo menos un hombre que no sea machista, entonces existe una mujer
que no es feminista.
23. Dado el siguiente conjunto de frmulas:
{[(Q& ~R) ~Q)] & [(Q& ~R) R], P [(Q & R) (Q & ~R)], (QP) ~(S& ~S)}
Cul de las siguientes frmulas no se sigue de l?
a) (Q (~R& R)) ~Q
b) ~P (W & J)
c) Q ~R
d) ~(S& ~S) ~P
e) ~(S & ~(QP))

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

24. Cul de las siguientes asignaciones de valores de verdad para las letras proposicionales
hacen que la frmula ((~(RR) (P~P)) (SS)) ((Q~Q) Q)) sea falsa?
a) P=F, Q=F, R=F, S=V
b) P=F, Q=V, R=V, S=F
c) P=F, Q=F, R=V, S=V
d) P=V, Q=V, R=V, S=F
e) P=V, Q=F, R=F, S=V
25. Dado el siguiente conjunto de frmulas {PQ, ~RS, PR} Cul de las siguientes
frmulas se sigue de l?
a) P
b) ~R
c) ~Q S
d) S ~P
e) Q & S
26. Sea el smbolo que representa una contradiccin.
Sea el smbolo que representa una tautologa.
Cul de las siguientes frmulas es equivalente a
((P & ) R) & ((R ( )) ((~P S) R))?
a) (~S & P) R
b) (P S) R
c) (((~P S) R) R) R
d) ((~P S) R) R
e) (~P S) ~R
27. Supongamos que estamos en la isla de los caballeros, de los bribones y de los polticos.
En la cual slo existen 3 tipos de persona, a saber, caballeros, bribones y polticos. Todos
los habitantes de la isla son de uno de estos tipos persona y de slo uno. Los caballeros
siempre dicen la verdad, los bribones siempre mienten y los polticos a veces mienten y a
veces dicen la verdad. Un da Jacinto visit la isla y se encontr con 3 sujetos (Pepe, Juan y
Jorge). Jacinto saba que eran nativos de isla y que haba entre ellos un caballero, un bribn
y un poltico, pero no saba quin era quin.
Pepe dijo: Si me gustan las matemticas, entonces Juan no es un poltico.
Juan dijo: Yo soy un bribn.
Jorge dijo: Juan no es bribn.
Con esta informacin Jacinto pudo saber de qu tipo de persona se trataba en cada caso.
Qu tipo de personas eran Pepe, Juan y Jorge?
a) Pepe: Bribn, Juan: Poltico, Jorge: Caballero.
b) Pepe: Caballero, Juan: Poltico, Jorge: Bribn.
c) Pepe: Caballero, Juan: Bribn, Jorge: Poltico.
d) Pepe: Bribn, Juan: Caballero, Jorge: Poltico.
e) Pepe: Poltico, Juan: Bribn, Jorge: Caballero.

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO

28. Considere la siguiente oracin: Si todos los relojes dan la hora, entonces hay un reloj
que no da la hora.
Cul de las siguientes oraciones se sigue de esta oracin?
a) Si algn reloj no da la hora, entonces todos los relojes dan la hora.
b) Si ningn reloj da la hora entonces todos los relojes dan hora.
c) Si algn reloj no da la hora, entonces algn reloj da la hora.
d) Si ningn reloj da la hora, entonces algn reloj no da la hora.
e) Si ningn reloj da la hora, entonces algn reloj da la hora.
29. Considere el siguiente conjunto de oraciones: Cometer los mismos errores slo si no
aprendo de mi pasado. Si entreno todos los das lograr ser mejor basquetbolista.
Formaremos una banda de rock si y slo si soy el cantante principal o el guitarrista lder.
No es cierto que: Batman sea un hroe y un villano al mismo tiempo.
Cul de las siguientes oraciones se sigue de este conjunto de oraciones?
a) Si logro ser mejor basquetbolista, no cometer los mismos errores.
b) Si la llave no est en el cajn de en medio, est en el cajn de en medio.
c) No recibo un bono a final de ao si es que lo recibo.
d) No encuentro la paz interior y no es el caso que no la encuentre.
e) No es cierto que: compartimos muchos recuerdos si y slo si no compartimos
muchos recuerdos.
30. Pagliaccio quiere saber si su esposa Nadia lo engaa con Silvio. Pagliaccio sabe que
ellos siempre mienten. Nadia le dijo a Pagliaccio que: Si ella sali del gimnasio a las 7:00
entonces no fue a la casa de Silvio a las 7:30. Silvio le dijo a Pagliaccio que: No tuvo
relaciones sexuales con su esposa y que es falso que si Nadia llego a su casa (la de Silvio)
a las 7:30 entonces tuvieron relaciones sexuales. Qu puede deducir Pagliaccio de la
informacin obtenida?
a) Nadia no fue a la casa de Silvio a las 7:30.
b) Nadia no sali del gimnasio a las 7:00.
c) Silvio tuvo relaciones sexuales con Nadia.
d) Es falso que: Si Nadia no fue a la casa de Silvio a las 7:30 entonces Nadia sali
del gimnasio a las 7:00.
e) Nadia no sali del gimnasio a las 7:00 o Nadia no fue a la casa de Silvio a las
7:30.

X Olimpiada Internacional de Lgica

Fase Final

BACHILLERATO