Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2013OILExamenEliminatoriaLicenciatura 1 PDF
2013OILExamenEliminatoriaLicenciatura 1 PDF
DE LÓGICA, 2013
FASE ELIMINATORIA
NIVEL LICENCIATURA
No. de aciertos: ________
Nombre: _____________________________________Institución:_________________
INSTRUCCIONES:
Todas las preguntas deberán ser respondidas empleando únicamente las herramientas de la Lógica
Clásica Formal. Recuerda que este es un examen que mide habilidades lógicas; así, cuando leas
“¿qué se sigue?”, el examen se refiere a seguirse según la Lógica Clásica Formal. Los símbolos
utilizados para las conectivas lógicas Negación, Conjunción, Disyunción Inclusiva, Condicional
Material y Bicondicional Material son ¬, &, , ≡, respectivamente; asimismo, los símbolos
utilizados para el Cuantificador Universal y para el Cuantificador Existencial son , ,
respectivamente. Considera solamente las premisas que están explícitamente escritas. Los ejemplos
son ficticios. Las disyunciones expresadas en español deberán interpretarse como disyunciones
inclusivas, a menos que explícitamente se indique que son exclusivas (por ejemplo, incluyendo la
expresión “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!
Todo el que sabe lógica, ha escuchado de Aristóteles y Russell. Todo el que ha escuchado
de Aristóteles y Russell, ha escuchado de Frege. Pepe sabe lógica, Luis ha escuchado de
Russell y Marco ha escuchado de Frege.
3. Suponiendo que una y sólo una de las siguientes oraciones es verdadera, ¿cuál sería esa
oración?
a) C: V, S: V, M: F, H: F.
b) C: V, S: V, M: V, H: V.
c) C: F, S: F, M: F, H: F.
d) C: F, S: V, M: F, H: F
e) C: F, S: F, M: V, H: V
5. Dado el siguiente conjunto de fórmulas {P Q, Q R, R ¬P} ¿Cuál de las siguientes
fórmulas no se sigue de él?
a) Q ¬P
b) (Q R) (Q ¬R)
c) R Q
d) Q R
e) R (Q P)
a) C ¬ (P & M)
b) ¬ (P & M) C
c) C ¬ (P & M)
d) (P & M) ¬C
e) (P & M) ¬C
a) R (P Q)
b) R (P Q)
c) R (P ¬P)
d) (P Q) R
e) R (P Q)
a) P: F, Q: F, R: F, S: V, T: V
b) P: V, Q: F, R: F, S: F, T: F
c) P: F, Q: V, R: V, S: F, T: V
d) P: V, Q: V, R: V, S: V, T: V
e) P: F, Q: V, R: F, S: V, T: F
9. Dada el siguiente conjunto de fórmulas {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
11. ¿Cuál es la mejor formalización para la oración Árbol que nace torcido jamás 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.
12. Alicia se encuentra frente a 5 puertas (Azul, Blanca, Café, Dorada y Escarlata) de las
cuales una y sólo 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 sólo 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, sólo una de las
afirmaciones que dijeron Tweedledum y Tweedledee es verdadera. Dada la información
anterior, ¿cuál 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 negación del enunciado “todos los lógicos son
astutos y serenos”?
15. Hay 4 lógicos infalibles y veraces (L1, L2, L3 y L4) que están 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 lógico. Se le permite al lógico L1 ver cuáles son
los colores de los otros 3, pero aun así les dice a sus compañeros: “No puedo saber cuál es
el color de mi traje”. Se le permite al lógico 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 información dada?
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.”
17. ¿Cuál de las siguientes es una fórmula lógicamente 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)
19. Dr. House quiere encontrar las causas de la enfermedad de la Dra. Hadley. Sabemos
que uno y sólo uno de los siguientes incisos no contiene una proposición verdadera sobre la
causa de la enfermedad de la Dra. Hadley ¿cuál es?
a) P (P P)
b) P
c) P
d) P & P
e) P P
a) Carlos
b) Delia
c) Jimena
d) Toño
e) No se pueden cumplir todas las condiciones dadas.
22. Sean P1, P2, P3,… Pn letras proposicionales (n letras diferentes) y Q es una fórmula
compuesta que contiene al menos una ocurrencia de cada una de estas letras
proposicionales y no contiene ninguna otra letra proposicional. ¿Cuántas 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. ¿Cuál de las siguientes opciones es la negación lógica de la fórmula ∀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 proposición Q es verdadera, ¿qué valores de verdad deben tener las
letras proposicionales P, R y S para que la siguiente fórmula sea verdadera?
(Q ((P R) & S )) & (S (R & Q))
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.
a) P: F. Q: V. R: F.
b) P: F. Q: F. R: V.
c) P: V. Q: V. R: V.
d) P: F. Q: F. R: F.
e) P: V. Q: F. R: F.
a) Si , entonces es consistente
b) Si , entonces es consistente
c) Si , entonces es consistente.
d) Si , entonces es consistente
e) Si , entonces es consistente
30. Dadas las siguientes premisas, ¿qué se sigue? Las monedas están en la mochila o están
en la alcancía. Si las monedas están en la mochila están en la alcancía. Las monedas están
o no están en la mochila.