V OLIMPIADA

ACADEMIA MEXICANA DE
LGICA

DE LGICA
FASE FINAL
EXAMEN BACHILLERATO

No. de aciertos:________
Nombre: _________________________________Institucin: ___________________
INSTRUCCIONES: Todas las preguntas debern ser respondidas empleando nicamente
las herramientas de la Lgica Clsica Formal. Considera solamente las premisas que
estn explcitamente escritas. Los ejemplos son ficticios. Elige slo una respuesta. Cada
respuesta correcta te dar un punto. 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. Asimismo, las palabras no, y, o, si & entonces, si y slo
si, se refieren a las conectivas lgicas (~, &, v, , ) respectivamente.
Tienes una hora y media para resolver el examen. Suerte!
1.- Si Sara Connor destruye a Skynet en 1994, entonces no habr Da del Juicio Final. Si
no hay Da del Juicio Final, John Connor no enviar a su padre a 1984. Es condicin
necesaria que John Connor enve a su padre a 1984, para que el mismo John nazca. Y
Sara Connor no destruye a Skynet en 1994, si John no nace. Qu se sigue de lo
anterior?
a) Sara Connor no destruir a Skynet en 1994.
b) No habr Da del Juicio FInal.
c) Se sigue cualquier cosa.
d) No se sigue nada.
2.- Todos le dan dinero a Juan, pero Juan no le da dinero a nadie. Cul es la
simbolizacin ms adecuada para la oracin anterior? (Utilice el siguiente vocabulario:
Lxy: x le da dinero a y, j: juan)
a) xLxj & xLxj
b) xLjx & xLjx
c) xLxj & xLjx
d) xLxj & xLjx
3.- En otro cajn en un cuarto oscuro hay 48 canicas: 24 rojas y 24 azules. Cul es el
menor nmero de canicas que debo sacar (sin ver) para estar seguro de tener dos de
diferente color?
a) 2
b) 3
c) 24
d) 25

4- En un cajn en un cuarto oscuro hay 48 calcetines: 24 rojos y 24 azules. Cul es el

menor nmero de calcetines que tengo que sacar (sin ver) para estar seguro de tener dos
del mismo color?
a) 2
b) 3
c) 24
d) 25
5.- Cul es la negacin lgica de la siguiente oracin? Todos los amigos de Ana le
mintieron respecto a Jos.
a) Ningn amigo de Ana le minti respecto a Jos.
b) Algn amigo de Ana le minti respecto a Jos.
c) Algn amigo de Ana no le minti respecto a Jos.
d) Algn amigo de Ana le minti respecto a todos.
6.- Los sucesos mentales son privados, los sucesos cerebrales son fsicos, los sucesos
fsicos son pblicos, y los sucesos pblicos no son privados. Cul de las siguientes
oraciones se sigue de las oraciones o premisas anteriores?
a) Los sucesos mentales no son sucesos cerebrales.
b) Los sucesos cerebrales no son pblicos.
c) Algunos sucesos privados son fsicos.
d) Ningn suceso pblico es fsico.
7.- El sentido comn dice que todo lo que sucede es causado. Se sigue que
________________________, pues entre las cosas que suceden en el universo estn las
acciones que yo realizo. (Cornman y Lehrer, Problemas y argumentos filosficos, en
Pospesel 401). Cul es la conclusin que falta para obtener un argumento vlido?
a) Todo lo que yo hago debe ser causado.
b) Todo lo que es causado es realizado por m.
c) El principio de causalidad es universal.
d) No todo sucede en el universo.
8.- Algunos nmeros no son racionales. Todos los humanos, en cambio, son racionales.
Dadas estas dos oraciones, cul de las siguientes oraciones es la verdadera?
a) La oracin universal es falsa.
b) Racional no significa lo mismo en ambas oraciones.
c) De ambas oraciones se sigue que algunos nmeros son humanos.
d) Las dos oraciones anteriores son ambas verdaderas.
9.- El hombre ya lleg a la Luna. La mujer, an no. Qu tipo de error se comete en esta
falacia de equvoco?
a) Se pasa por alto que las mujeres tambin ya llegaron a la Luna..
b) Argumento invlido.
c) No se dice cul hombre lleg y cul mujer no lleg.
d) Se crea confusin aprovechndose de que la palabra hombre puede significar
tanto ser humano como varn.

3
10.- Dado el siguiente conjunto de oraciones:
Todo matemtico tiene que ser racional pero no tiene que ser bpedo.
Todo ciclista tiene que ser bpedo pero no tiene que ser racional.
Bertrand es tanto matemtico como ciclista
Qu podemos afirmar?
a) Es consistente en la lgica de predicados
b) La disyuncin de las premisas es universalmente vlida
c) Es inconsistente en la lgica de predicados
d) No se aplica la consistencia o inconsistencia a este conjunto
11.- Si consideramos el conjunto anterior de oraciones como premisas de un argumento,
Qu podemos decir de su conclusin?
a) Se siguen slo oraciones universalmente vlidas
b) Se siguen slo contradicciones
c) Se sigue cualquier cosa
d) No se sigue nada
12.- Se dice que cuando se quem la Biblioteca de Alejandra, el Califa Omar hizo el
siguiente comentario: "O los libros contienen lo que est en la Biblia, en cuyo caso son
superfluos, o estn en contra de ella y entonces merecen el fuego" (Lichtenberg, 40).
Cul de las siguientes oraciones se sigue de las dos afirmaciones del Califa Omar,
tomando como verdadera la disyuncin de los antecedentes de los condicionales
implcitos en sus afirmaciones?
a) La Biblia no es superflua.
b) No existe un libro que no contiene lo que est en la Biblia y no est en contra de
ella.
c) Existe un libro que no contiene lo que est en la Biblia y no est en contra de ella.
d) Todo libro merece el fuego.
13.- Dada la oracin:
Todos los hombres son asnos o los hombres y los asnos son asnos
Cul de las siguientes afirmaciones es verdadera?
a) La oracin es falsa y la conectiva principal es la disyuncin.
b) La oracin es verdadera y la conectiva principal es la disyuncin.
c) La oracin es verdadera sea cual sea la conectiva principal.
d) El cuantificador es el operador principal.
14.- Cuntas flores tengo, si todas son rosas excepto dos, todas son claveles excepto
dos y todas son margaritas excepto dos?
a) Tengo 4.
b) Tengo o bien 3 o bien 2.
c) Tengo 5.
d) Tengo 6.
15.- Cul es la negacin lgica de la oracin Scrates es blanco y Platn no es negro?
a) Scrates no es blanco aunque Platn es negro
b) Scrates no es blanco o Platn no es negro
c) Scrates es blanco pero Platn es negro
d) Scrates no es blanco a menos que Platn sea negro

4
16.- Si la Suprema Corte de Justicia de la Nacin rechaza la ley de despenalizacin del
aborto, el aborto volver a ser un crimen en la ciudad de Mxico. El aborto no es
considerado
un
acto
moralmente
reprobable
por
algunas
personas.
____________________. Por lo tanto, existe un crimen en la ciudad de Mxico que no es
considerado moralmente reprobable por algunas personas. Qu premisa hay que incluir
para hacer vlido el argumento anterior?
a) La Suprema Corte de Justicia de la Nacin no rechaza la ley de despenalizacin del
aborto.
b) El aborto no es un crimen en la ciudad de Mxico.
c) La Suprema Corte de Justicia de la Nacin rechaza la ley de despenalizacin del
aborto.
d) El aborto es considerado moralmente reprobable por algunas personas.
17.- Jaime Mausn ha dicho: Hay extraterrestres, y nadie me ha refutado
convincentemente. Luego, he demostrado que hay extraterrestres. Cul de las
siguientes oraciones describe esta falacia?
a) Intenta ganarse la simpata de los oyentes.
b) Trata de imponer su opinin por la fuerza.
c) Pone un nfasis indebido en que hay extraterrestres.
d) Afirma que si alguien, debido a su ignorancia, carece de elementos para refutarlo,
es porque no tiene la razn y Jaime Mausn s la tiene.
18.- Alicia se encontraba en el bosque del olvido y haba olvidado que da era. El len
(que miente los lunes, martes y mircoles y dice la verdad los otros das) le dijo: "ayer fue
uno de los das que me tocaba mentir". El unicornio (que miente los jueves, viernes y
sbados y dice la verdad los otros das) le dijo: "ayer fue uno de los das que me tocaba
mentir". As Alicia supo que da era! Qu da era?
a) Domingo.
b) Lunes.
c) Mircoles.
d) Jueves.
19.- Otro da, Alicia haba olvidado que da era y se encontr en el bosque del olvido al
unicornio solo, (recordar que el unicornio miente los jueves, viernes y sbados y dice la
verdad los otros das) y este le dijo: "ayer ment y volver a mentir dentro de tres das".
Entonces Alicia supo que da era! Qu da era?
a) Domingo.
b) Lunes.
c) Mircoles.
d) Jueves.
20.- Alguien te dice: No es el caso que existe algo o t eres una persona. Cul es la
forma lgica que hace verdadera dicha oracin?
a) La que tiene la negacin como conectiva principal.
b) Cuando toda la oracin es una cuantificacin universal.
c) Cuando toda la oracin es una cuantificacin existencial.
d) La que tiene la disyuncin como conectiva principal.

5
21.- Slo los hombres son mortales y algunos mortales son cobardes. Diga cul de las
siguiente es la simbolizacin ms adecuada para esta oracin considerando un dominio
de discurso irrestricto y el siguiente vocabulario: Hx: x es hombre, Mx: x es mortal y Cx: x
es cobarde
a) xMx Hx & y(Mx & Cx)
b) x(Mx Hx) v y(Mx & Cx)
c) x(Mx Hx) & y(Mx & Cx)
d) x(Hx Mx) & y(Mx & Cx)
22.- Considere los siguientes dos enunciados:
1) Todos los elefantes tienen trompa
2) Todos los elefantes con orejas tienen trompa.
Cul de las siguientes afirmaciones es cierta?
a) 1) implica 2) y 2) no implica 1).
b) 2) implica 1) y 1) no implica 2).
c) 1) implica 2) y 2) implica 1).
d) 1) no implica 2) y 2) no implica 1).
23.- Qu tipo de argumento es el siguiente?
Algunos expertos dominan la materia.
Ningn principiante domina la materia.
Por lo tanto, algunos principiantes no son expertos
a) Es invlido.
b) Es contradictorio.
c) Es vlido.
d) Es vlido con premisas falsas y conclusin verdadera.
24.- Qu tipo de argumento es el siguiente?
Algunos expertos dominan la materia.
Ningn principiante domina la materia.
Por lo tanto, algunos expertos no son principiantes.
a) Es invlido.
b) Es contradictorio.
c) Es vlido.
d) Es vlido con premisas falsas y conclusin verdadera.
25.- Sea el siguiente conjunto de enunciados:
Todos los centauros son cuadrpedos.
Todos los cuadrpedos son inmortales.
Algn centauro es inmortal.
El conjunto es:
a) Inconsistente.
b) Consistente.
c) No se sabe.
d) No es no inconsistente.

6
26.- Cul es la simbolizacin ms adecuada para la siguiente oracin: Asuncin no
quiere a nadie que no la quiera?
a) x(Qxa Qax)
b) x(Qxa ~Qax)
c) x(~Qxa ~Qax)
d) x(~Qxa ~Qax)
27.- Todos los animales son dignos de consideracin moral. Cul de las siguientes
oraciones se sigue de la afirmacin precedente?
a) No es cierto que algunos animales son dignos de consideracin moral
b) Todos los seres dignos de consideracin moral son animales.
c) Si las plantas son moralmente considerables, todos los animales tambin.
d) Algunos animales son moralmente considerables y otros animales no.
28.- Dadas las siguientes frmulas: x [(Fx v Sx) (Tx & Wx)] y xSx, cul de las
siguientes frmulas se sigue de ambas?
a) Sa v Fa
b) x (Tx v Wx)
c) x (Wx ~Sx)
d) x Wx
29.- (Esta pregunta vale dos puntos) En cierto reino todos los misioneros slo dicen la
verdad y todos los esclavos slo dicen mentiras. Tres hombres de los que slo se sabe
que cada uno de ellos es o misionero o esclavo, llegan ante el rey.
El rey le pregunta al primero: qu eres tu, esclavo o misionero? Este balbuce algo que
el rey no pudo or pero los dems si.
El rey le pregunto al segundo: qu es lo que dijo l? Y el segundo replico: el dijo que es
un esclavo.
Finalmente el rey le pregunto al tercer hombre si el segundo estaba diciendo la verdad, y
este le contesto: s.
Qu se concluye con certeza?
a) Los dos primeros son esclavos.
b) Los dos primeros son misioneros y el tercero es esclavo.
c) El primero es esclavo, el segundo es misionero y el tercero es esclavo.
d) El segundo y tercero son esclavos.