Paradojas y Deducciones Lógicas
Cargado por
José Luis Sánchez LópezParadojas y Deducciones Lógicas
Cargado por
José Luis Sánchez LópezProblemario
Miguel Angel Vargas Cruz
3 de Febrero del 2020
1 Responde y explica la siguiente paradoja:
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: ”Esta frase es falsa”, porque genera una paradoja.
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
1) A→B
2) ¬C → (D → E)
3) C ∨ (A ∨ D)
4) ¬C
5) A∨D MTP entre 3 y 4
6) D→E MPP entre 2 y 4
7) B∨E DC entre 1,6 y 5
∴ B∨E
b) A ∨ B → C, D → ¬C ∧ ¬E, D ∨ F ⇒ A → F
1) A∨B →C
2) D → ¬C ∧ ¬E
3) D∨F
4) (A → C) ∨ (B → C) I en 1
5) A→C de 4
6) D → ¬C de 2
7) C → ¬D CR de 6
8) A → ¬D SH de 5 y 7
9) ¬D → F I de 3
10) A→F SH de 8 y 9
∴ A→F
1
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é.
1. Los apellidos de ellas son Garcı́a, López y Méndez, aunque no sabemos a quién corresponde cada apellido.
2. Sus profesiones son actriz, maestra y secretaria. Tampoco se sabe a quién corresponde cada profesión.
3. La que se llama Beatriz no es Garcı́a.
4. La que se apellida López es secretaria en una oficina.
5. La que es actriz se llama Claudia.
6. La que es maestra no se apellida Méndez.
A=Alicia
B=Beatriz
C=Claudia
D=Garcı́a
E=López
F=Méndez
G=Actriz
H=Maestra
I=Secretaria
A B C
∧ ∧
DYEYF H YI EYF I YH DYF G
A B C
∧ (H → ¬F ) ∧ (E → I) ⇒
D H E I F G
Respuesta: Alicia Garcı́a es maestra, Beatriz López es secretaria y Claudia Méndez es actriz.
Referencias
[1] Vargas, M. (2020). References. Recuperado de: https://www.miguelangelvargascruz.com/en/references
UNADM. Universidad Abierta y a Distancia de México.
Licenciatura en matemáticas · Introducción al pensamiento matemático · Evidencia de aprendizaje: Problemario.
Miguel Angel Vargas Cruz · Creative Commons Attribution license (CC BY 4.0)
