Examen II previo a la olimpiada de lgica 2015

Elabor: Juan Carlos Chvez Paredes

Seminario de Filosofa de la Lgica UNAM FES- Acatln

Los siguientes ejercicios estn diseados a partir de las nociones de lgica

proposicional y cuantificacional, los ejemplos que se usan son ficticios, existe slo una
respuesta correcta.
1 Supongamos que Fari est en la isla de los caballeros y de los bribones. Los
caballeros siempre dicen la verdad y los bribones siempre mienten. Fari quiere
escapar de la isla, pero slo existen dos rutas: la del norte y la del sur; una de
ellas lo conduce a la libertad y la otra lo condena a prisin. Fari se encuentra con
dos nativos, nativo 1 y nativo 2, de los cuales slo sabe que uno es caballero y el
otro bribn, pero no sabe cul es cul. Para salir de la isla, es decir, para saber
qu ruta lo libera, Fari tiene oportunidad de hacer slo una pregunta, a
cualquiera de los dos nativos, pero slo una. Cul de las siguientes opciones
muestra, sin lugar a dudas, cul es el destino de Fari?
a Fari pregunta al nativo 1: cul es la ruta que me libera? Y Fari es liberado
porque conoce cul es la ruta de la libertad
b Es imposible que Fari sepa, con una sola pregunta, cul es la ruta que lo libera.
Y Fari es condenado a prisin.
c Fari le pregunta al nativo 2: qu ruta me dir el nativo 1 que es la ruta que me
condena? Y Fari es liberado porque le es posible conocer qu ruta lo libera, pero
a nosotros nos es imposible saber si tal ruta es la del sur o la del norte, aun
cuando sepamos lo que el nativo 2 conteste a Fari.
d Fari pregunta al nativo 2: qu ruta me dir el nativo 1 que es la ruta que me
condena? Y Fari es liberado porque, una vez que sepa la respuesta del nativo 2,
le es posible, tanto como a nosotros, saber cul es la ruta que lo conduce a la
libertad.
e Fari le pregunta al nativo 1: EL nativo 2 es bribn o caballero? Y Fari es
liberado.
1) Cul de las siguientes opciones expresa la mejor formalizacin para el siguiente
enunciado: Ale se embriagar en Guanajuato salvo que exactamente 3
participantes de la Olimpiada le escondan las chelas?
Dominio del discurso: los seres humanos. Diccionario: a: Ale. Ex: x se embriagar en
Guanajuato. Ox: x es participante de la Olimpiada. Cxy: x le esconde las chelas a y.
a) xyz(((Ox & Oy & Oz) & ((x=y) & (y=z) & (z=x))) & (((Cxa & Cya & Cza) &
w (Cwa (( w=y) v (w=x) v (z=w)))) Ea

Examen II previo a la olimpiada de lgica 2015

Elabor: Juan Carlos Chvez Paredes
Seminario de Filosofa de la Lgica UNAM FES- Acatln

b) xyz(Ox & Oy & Oz) & ((Cxa & Cya & Cza) & w(Cwa (( w=y) v (w=x) v
(z=w)))) Ea
c) xyz(((Ox & Oy & Oz) & ((x=y) & (y=z) & (z=x))) & ((Cxa & Cya & Cza) &
w (Cwa (( w=y) v (w=x) v (z=w)))) Ea
d) xyz(((Ox & Oy & Oz) & ((x=y) & (y=z) & (z=x))) & (Cxa & Cya & Cza)
Ea
e) xyz(((Ox & Oy & Oz) & ((x=y) & (y=z) & (z=x))) & ((Cxa & Cyx & Czx) &
w (Cwa (( w=y) v (w=x) v (z=w)))) Ea
2) Supongamos que |= y sabemos que el conjunto U es consistente. Cul
de las siguientes afirmaciones no se sigue?
a)
b)
c)
d)
e)

El conjunto U() es insatisfacible

|=
|=
|= U
|=

3) Qu afirmacin es equivalente a la negacin de Si me aburro en clase de

Descartes y la maestra no me ve, puedo hacer este examen?
a) No es el caso que: si me aburro en clase de Descartes y la maestra no me ve, no
puedo hacer este examen.
b) No puedo hacer este examen, y no es el caso que: no me aburro en clase de
Descartes o la maestra me ve.
c) Me aburro en clase de Descartes y la maestra me ve, y no puedo hacer este
examen.
d) Puede hacer este examen, y no es el caso que: no me aburro en clase de
Descartes o la maestra me ve.
e) Si no es el caso que: me aburro en clase de Descartes, pero la maestra no me
ve; entonces puedo hacer este examen.

Examen II previo a la olimpiada de lgica 2015

Elabor: Juan Carlos Chvez Paredes
Seminario de Filosofa de la Lgica UNAM FES- Acatln

4) Supongamos que Cirilo promete lo siguiente:

Hago la tarea si slo si me inscribo al seminario de Botas. Me inscribo al seminario de
Botas si slo si Pedro no. Si Pedro me presta su cubo, no pongo atencin en clase.
Maana no entrar a clase de Lomel porque me da flojera. No es el caso que: hago la
tarea si slo si hoy no veo los Simpson.
Cuando Cirilo cont, a quienes saban de su promesa, qu haba sucedido, todos
supieron que lo que deca era falso. Qu dijo Cirilo?
a) Hice mi tarea, pero no entr a clase de Lomel porque me dio flojera y puse
atencin en clase.
b) Vi los Simpson, pero me inscrib al seminario de Botas y Pedro me prest su
cubo.
c) No entr a clase de Lomel, no me inscrib al seminario de Botas y vi los Simpson
d) Pedro me prest su cubo, me inscrib al seminario de Botas y vi los Simpson
e) Pedro me prest su cubo, no hice tarea y puse atencin en clase.
5) Cul es la mejor traduccin para el siguiente enunciado?
Solamente hoy soy feliz, y maana todos sern felices excepto yo y l.
Dominio del discurso: los seres vivos. Diccionario: Px: x es persona. Fx: x es feliz. h:
hoy. m: maana. a: yo. b: l
a)
b)
c)
d)
e)

(h Fa) & ((m x (Px Fx) & (Fa v Fb))

(h Fa) & ((m x (Px Fx) & (Fa v Fb))
(h Fa) & ((m x Px) & ((Fa & Fb))
(h Fa) & ((m x (Px Fx) & (Fa v Fb))
(Fa h) & ((m x (Px Fx) & (Fa v Fb))

6) Considere el siguiente conjunto de frmulas (PR, RW, TP, SA, A). Sea
el smbolo que representa la disyuncin exclusiva. Cul de los siguientes
conjuntos de frmulas no genera una contradiccin en conjuncin con ?
a) A, T, R
b) P, W, S
c) T, A, R
d) R, S, T
e) P, W, S

Examen II previo a la olimpiada de lgica 2015

Elabor: Juan Carlos Chvez Paredes
Seminario de Filosofa de la Lgica UNAM FES- Acatln

7) Cul de las siguientes frmulas no es equivalente a xyz(Px (Ry & Sz))?

a)
b)
c)
d)
e)

xyz(Px (Ry & Sz))

xyz (Px (Ry & Sz))
xPx (yRy & zSz)
xPx (yRy & zSz)
xyz (Px & (R v Sz))

8) Supongamos que una y slo una de las siguientes frmulas no se sigue de .

Cul es?
a) x (Px xPx)
b) xPx xPx
c) xPx v xPx
d) xPx v xPx
e) (xyz(Px (Ry Sz))) (xPx (yRy zSz))

10.- De cul de los siguientes conjuntos de premisas se sigue la siguiente frmula?

((pvq) & (r (pr)) & r) ((pvq) v (r & (pr)) v r)

a) T S, T v U, S ((S S) (S S)), T
b) S T, T v F, S ((S S) (S S)), T
c) ((TS) v (T&S)) v D
d) S T, T v Z, S ((S S) (S S)), T
e) ((T S) v (S T)) v (D & D)