1.

Responde y Explica la siguiente paradoja:

a) Estaba un explorador por la selva, cuando de repente unos caníbales lo capturaron.

Estos le explicaron al explorador que si éste decía una verdad lo sacrificarían en el altar
de la verdad, mientras que si decía una mentira lo sacrificarían en el altar de la mentira.
¿Qué debe decir el explorador para salvarse?

Respuesta:
El objetivo es no ser sacrificado por los caníbales, si el explorador enuncia una oración que
sea verdad, será sacrificado, si es mentira también, por lo que el explorador debe de llegar a
una oración tal que los caníbales no puedan determinar si es verdad o mentira.
“Les estoy mintiendo”, si ésta afirmación fuera verdad entonces estaría mintiendo, pero si
fuera falsa, entonces estaría diciendo la verdad ; con este razonamiento se llega a una paradoja,
y los caníbales sabrían que hacer.

2. Aplica las reglas de inferencia para realizar las siguientes deducciones lógicas de
la conclusión dada, a partir de las premisas:

a) A→B, ¬C→(D→E), C∨(A∨D), ¬C⇒B∨E

Solución:

1) A→B
2) ¬C→(D→E)
3) C∨(A∨D)
4) ¬C
5) D→E de 2) y 4)
6) ¬C→(A∨D) en 3)
7) A∨D de 6) y 4)
8) (A→B)∧(D→E)∧(A∨D) de 1), 5) y 7)
9) B∨E
Que es lo que se quería demostrar.
b) A∨B→C, D→ ¬C∨ ¬E, D∨F⇒A→F
Solución:
Por contradicción, negamos el consecuente:
1) A∨B→C
2) D→ ¬C∨ ¬E
3) D∨F
4) ¬(A→F)
5) A∧ ¬F
6) ¬A∨F
7) (A∨B→C)∧(¬A∨F)
8) [A∧(¬A∨F)]∨[(B→C)∧(¬A∨F)]
9) [(A∧¬A)∨(A∨F)]∨[(B→C)∧(¬A∨F)]

1
 Llegando a una contradicción el antecedente.

3. Realiza la traducción del siguiente problema, haz el análisis lógico para llegar al
resultado y traduce también los pasos que utilizaste hasta la conclusión.
Tres amigas, Alicia, Beatriz y Claudia, se reúnen a tomar el té.

a) Los apellidos de ellas son García, López y Méndez, aunque no sabemos a quién corres-
ponde cada apellido.
b) Sus profesiones son actriz, maestra y secretaria. Tampoco se sabe a quién corresponde
cada profesión.
c) La que se llama Beatriz no es García.
d ) La que se apellida López es secretaria en una oficina.
e) La que es actriz se llama Claudia.
f ) La que es maestra no se apellida Méndez.

Solución:
Hacemos:
A: Alicia
B: Beatriz
C: Claudia
G: García
L: López
M: Méndez
P: Actriz
Q: Maestra
R: Secretaria
Sabemos que Beatriz no es García, entonces:
1.- (B∧L)∨(B∧M)
Sabemos también que López es secretaria, entonces:
2.- (L∧R)
Y que Claudia es actriz, entonces:
3.- (C∧P)
La maestra no se apellida Méndez, por lo que:
4.- (Q∧G)∨(Q∧L)
Ahora tenemos que conjuntar las proposiciones, no se pueden conjuntar 2 y 3 porque no
tienen variables en común, tampoco 2 y 4 porque López no puede ser secretaria y maestra a
la vez, así que conjuntamos 1 y 2:
[(B∧L)∨(B∧M)]∧(L∧R)
[(B∧L)∧(L∧R)]∨[(B∧M)∧(L∧R)]
[(B∧L∧R)]∨[(B∧M∧L∧R)]
Beatriz no puede ser Méndez y López a la vez, por lo que se tiene:
Beatriz López y es secretaria.
La maestra tampoco se apellida López, por tanto tenemos:
Claudia Méndez y es Actriz;
Alicia García y es maestra.

2
Bibliografía

Bochensky, J. M. (1976). Compendio de lógica matemática. PARANINFO.

Burgos, A. (1973). Iniciación a la lógica matemática. Selecciones Científicas.

Suppes, P., y Hill, S. (1988). Primer curso de lógica matemática. Editorial Reverté Colombiana.