Cargar tarea: Evidencia de

aprendizaje
Conectivos lógicos, operaciones proposicionales,
tautologías y contradicciones

Introducción al pensamiento matemático

Lic. en Matemáticas
Matricula: ES162003482
Grupo: MT-MIPM-1602-B1-002

José Juan Meza Espinosa

8 de Agosto del 2016
I. 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.

Explorador dice la verdad, es P

Explorador dice la mentira, es Q
Explorador será sacrificado en el altar de verdad o mentira, es S

[(𝑃⋁𝑄)⋀(𝑃 ⟹ 𝑆)⋀(𝑄 ⟹ 𝑆)] ⟹∽ 𝑆

Razonamiento del Explorador dice: "Me vas a sacrificar altar de la mentira". Y

piensa como razonarían los en los caníbales: si es verdad lo que ha dicho, no
podemos sacrificarlo en el altar de la mentira, puesto que esta forma de
sacrificarlo habíamos quedado en reservarla para el caso de que mintiera. Pero,
por otra parte, si lo sacrificamos en altar de la verdad, habrá mentido en su
afirmación, así que tampoco podemos sacrificarlo en altar de la verdad porque
esta forma de sacrificarlo era para el caso de que dijera la verdad.

¿Qué debe decir el explorador para salvarse?

El Explorador dirá: " mentiras".

II. 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

A  B   C  D  E  C  A  D   C  B  E

Implicación P  Q   P  Q
 A  B   C  D  E  C  A  D   C  B  E
Exportación P  Q  R  P  Q  R
 A  B   C  D  E  C  A  D   C  B  E
Implicación P  Q   P  Q
 A  B    C  D  E  C  A  D   C  B  E
Ley de Morgan  P  Q   P  Q
 A  B   C  D  E  C  A  D   C  B  E
Ley de Morgan  P  Q   P  Q
 A  B   C  D  E  C  A  D   C  B  E
Doble negación  P  P

1
 A  B  C  D  E  C  A  D   C  B  E
 A  B  C  D  E  C  A  D   C  B  E
Implicación P  Q   P  Q
 A  B  C  D  E  C  A  D   C  B  E
Doble negación  P  P
 A  B  C  D  E  C  A  D  C  B  E
Conmutatividad P  Q  Q  P
 A  B  C  A  D  C  D  E  C  B  E
 A  B  A  C  D  C  D  E

b) AB C, D CE, DF A F

A  B  C  D   C  E  D  F  A  F
Implicación P  Q   P  Q
 A  B  C  D   C  E  D  F  A  F
Implicación P  Q   P  Q
 A  B  C   D   C  E  D  F  A  F
Ley de Morgan  P  Q   P  Q
 A  B  C   D   C  E  D  F  A  F
Ley de Morgan  P  Q   P  Q
 A  B  C   D   C  E  D  F  A  F
Implicación P  Q   P  Q
 A  B  C   D   C  E   D  F  A  F
Implicación P  Q   P  Q
 A  B  C   D   C  E   D  F   A  F
Implicación P  Q   P  Q
 A  B  C   D   C  E   D  F   A  F
Ley de Morgan  P  Q   P  Q
 A  B  C   D   C  E   D  F   A  F
 A   B  C  C  E  D  F

III. 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.

2
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.

Paso 1: Coloco una F en la concurrencia de Beatriz con García.

Apellido Actividad

García López Méndez Actriz Maestra Secretaria

Alicia
Nombres

Beatriz
F

Claudia

Actriz
Actividad

Maestra

Secretaria

Pasó 2: La pista da una premisa Verdadera: López es secretaria. Pongo una V en

la intersección de secretaria con López. Marco con una V en su cuadrito, todos los
cuadritos de su vertical y su horizontal las lleno con Falso (F). En este caso, en el
cuadrito Actividad-Apellido, se coloca las F en los cuadritos secretaria-García,
secretaría Méndez, actriz-López y maestra-López. La tabla queda así queda así:

Apellido Actividad

García López Méndez Actriz Maestra Secretaria

Alicia
Nombres

Beatriz
F

Claudia

Actriz
F
Actividad

Maestra
F

Secretaria
F V F

3
Pasó 3: La siguiente Premisa nos da una pista Verdadera: La actriz se llama
Claudia. Así que pongo una V en su intersección Claudia es una actriz, y de igual
manera, como en el paso anterior todo lo que este en la horizontal y vertical es
falso

Apellido Actividad

García López Méndez Actriz Maestra Secretaria

Alicia
F
Nombres

Beatriz
F F

Claudia
V F F
Actriz
F
Actividad

Maestra
F

Secretaria
F V F

Pasó 4: Siguiendo las indicaciones podemos ver la siguiente premisa que nos da
una pista con valor Falso que es: La que es maestra no se apellida Méndez. Así
que en la intersección de Apellido y Méndez pongo una F

Apellido Actividad

García López Méndez Actriz Maestra Secretaria

Alicia
F
Nombres

Beatriz
F F

Claudia
V F F
Actriz
F
Actividad

Maestra
F F

Secretaria
F V F

En la sección Actividad (Actriz, Maestra, Secretaria)-Apellido (García, López y

Méndez) quedan ahora determinadas dos relaciones correctas:

Apellido Actividad

García López Méndez Actriz Maestra Secretaria

4
 Alicia
F

Nombres
Beatriz
F F

Claudia
V F F
Actriz
F B

Actividad
Maestra
A F F

Secretaria
F V F

𝐴 = 𝑀𝑎𝑒𝑠𝑡𝑟𝑎 − 𝐺𝑎𝑟𝑐í𝑎

𝐵 = 𝐴𝑐𝑡𝑟𝑖𝑧 − 𝑀é𝑛𝑑𝑒𝑧

∴ Como ya nos había indicado la pista 5 Claudia es la Actriz

De lo concluido con estas conclusiones podemos construir lo siguiente:

Nombre Apellido Actividad

García Maestra
Claudia Méndez Actriz

De la pista 3 nos dice que “La que se llama Beatriz no es García”

Nombre Apellido Actividad

García Maestra
Claudia Méndez Actriz
Beatriz

De la pista 4 nos dice “La que se apellida López es secretaria en una oficina”, y
como Claudia es actriz y García es Maestra la única que queda libre es Beatriz

Nombre Apellido Actividad

García Maestra
Claudia Méndez Actriz
Beatriz López Secretaria

Ahora está más fácil cubrir por discriminación el cuadro que nos hace falta

5
 Nombre Apellido Actividad
Alicia García Maestra
Claudia Méndez Actriz
Beatriz López Secretaria

Y tenemos nuestra Solución

 Alicia García Maestra

 Beatriz López Secretaría
 Claudia Méndez Actriz