21/02/2022

Solución Taller No.5

1. Suponga que un turista está en presencia de dos habitantes de la isla llamados A y B. A

dice: “nosotros tenemos la misma naturaleza”. ¿Pueden determinarse las naturalezas de
A y B? Justique su respuesta.

(A ≡ (((¬A) ∧ (¬B)) ∨ (A ∧ B)))

((¬A) ∧ (((¬A) ∧ (¬B)) ∨ (A ∧ (A ≡ (((¬A) ∧ (¬B)) ∨ (A ∧

A B (¬A) (¬B) (A ∧ B)
(¬B)) B))) B)))
F F T T T F T F
F T T F F F F T
T F F T F F F F
T T F F F T T T

No se puede determinar la naturaleza exacta de cada habitante, pero hay dos posibilidades, que A
sea escudero y B sea caballero o que ambos sean caballeros.

2. Suponga que un turista está en presencia de dos habitantes de la isla llamados A y B. A

dice: “al menos uno de nosotros es caballero”. ¿Pueden determinarse las naturalezas de
A y B? Justique su respuesta.

(A ≡ (((¬A) ∧ B) ∨(A∧ (¬B))))

((¬A) ∧ (((¬A) ∧ B) ∨(A∧

A B (¬A) (¬B) (A∧ (¬B)) (A ≡ (((¬A) ∧ B) ∨(A∧ (¬B))))
B) (¬B)))
F F T T F F F T
F T T F T F T F
T F F T F T T T
T T F F F F F F

No se puede determinar la naturaleza exacta de cada habitante, pero hay dos posibilidades, que A
y B sean escuderos o que A sea caballero y B escudero.
 3. Tres habitantes de la isla llamados A, B y C están reunidos: A dice: “B es escudero”. B
dice: “A y C son del mismo tipo”. Determine la naturaleza de C.

τ = (((A ≡ (¬B)) ∧ (B≡ ((A ∧ C) ∨ ((¬A) ∧ (¬C)))))

α = (A ≡ (¬B))

β = ((A ∧ C) ∨ ((¬A) ∧ (¬C)))

δ = (B≡ ((A ∧ C) ∨ ((¬A) ∧ (¬C))))

(A ∧ ((¬A) ∧
A B C (¬A) (¬B) (¬C) α β δ τ
C) (¬C))
F F F T T T F T F T F F
F F T T T F F F F F T F
F T T T F F F F T F F F
F T F T F T F T T T T T
T F T F T F T F T T F F
T F F F T T F F T F T T
T T F F F T F F F F F F
T T T F F F T F F T T F

No se puede determinar la naturaleza exacta de cada habitante, pero hay dos posibilidades, que A
y C sean escuderos, y B sea caballero o que A sea caballero y, B y C sean escuderos.
 4. Tres habitantes de la isla llamados A, B y C están reunidos. A dice: “B y C son de la misma
naturaleza”. Alguien pregunta entonces a C: “¿Son A y B de la misma naturaleza?”.
Determine, justificando su respuesta, qué responde C.

τ = (A≡ ((B ∧ C) ∨ ((¬B) ∧ (¬C))))

α = ((B ∧ C) ∨ ((¬B) ∧ (¬C)))

(B ∧ ((¬B) ∧
A B C (¬B) (¬C) α τ
C) (¬C))
F F F T T F T T F
F F T T F F F F T
F T T F F T F T F
F T F F T F F F T
T F T T F F F F F
T F F T T F T T T
T T F F T F F F F
T T T F F T F T T

No se sabe cual es la naturaleza de C, así que puede ser Caballero o escudero, con eso hay 4
opciones de lo que podría decir C:

Si es Caballero puede decir que A y B tienen la misma naturaleza.

Si es escudero puede decir que A y B no tienen la misma naturaleza.

5. Diseñe un acertijo que involucre a un habitante de la isla de caballeros y escuderos, y

que permita determinar que es caballero.

Un turista llega a la Isla de caballeros y escuderos, se encuentra con dos habitantes A y B, el turista
le pregunta a A ¿Cuál es su naturaleza?, a lo que A responde: “Soy caballero o escudero”

(A ≡ (A ∨ (¬A)))

A (¬A) (A ∨ (¬A)) (A ≡ ((¬A) ∨ A))

T F T T
F T T F

A es caballero.
 6. Suponga que las variables proposicionales a y b representan la naturaleza de dos
habitantes de la isla llamados A y B. Invente un acertijo que corresponda a la siguiente
especificación, y determine la naturaleza de A y B:

(a ≡ (¬b)), (b ≡ (a ∧ b))

a=T b=F

En una Isla hay dos tipos de habitantes, los a y los b. Los héroes y los villanos, los héroes siempre
hacen el bien, pero los villanos siempre hacen el mal. Los héroes son a y los villanos son b. Un
turista le pregunta a A que si B es un villano, a lo que A contesta:

A dice: Yo vi a B robando un banco.

(a ≡ (¬b)) = T

(T ≡ (¬F)) = T

(T ≡ T) = T

T=T

En una Isla hay dos tipos de habitantes, los a y los b. Los héroes y los villanos, los héroes siempre
hacen el bien, pero los villanos siempre hacen el mal. Los héroes son a y los villanos son b. Un
turista le pregunta a B que si A y B son villanos, a lo que B contesta:

B dice: Yo y A recogimos basura de la playa el Domingo.

(b ≡ (a ∧ b)) = T

(F ≡ (T ∧ F)) = T

(F ≡ F) = T

T=T

7. Proponga una afirmación que puede ser hecha por cualquier habitante de la isla, sin
importar si este es caballero o escudero. Explique su respuesta.

 Yo soy caballero, ya que el caballero esta diciendo la verdad y el escudero puede decir
mentiras.
 8. Proponga una afirmación que no puede ser hecha por un habitante de la isla, sin
importar si este es caballero o escudero. Explique su respuesta

 Yo soy escudero, ya que el caballero no puede decir que es escudero, no puede decir
mentiras, y el escudero no puede decir la verdad.

9. Hace muchos años, algunos de los habitantes de la isla de caballeros y escuderos eran
hombres lobo, los cuales tenían la fea costumbre de transformarse en la noche y devorar
a la gente. Considere la siguiente situación en la cual un turista se encontró con tres
habitantes de la isla, llamados A, B y C: A dice: “Yo soy hombre lobo”. B dice: “Yo soy
hombre lobo”. C dice: “A lo sumo uno de nosotros es caballero”. Suponiendo que
exactamente uno de A, B y C es hombre lobo, haga una clasificación completa de sus
naturalezas. Ayuda: note que al menos uno entre A y B está mintiendo.

τ = (C≡ (((¬A) ∧ (¬B) ∧ (¬C)) ∨ (A ∧ (¬B) ∧ (¬C)) ∨ ((¬A) ∧B ∧ (¬C)) ∨ ((¬A) ∧ (¬B) ∧ C))
φ = ((¬A) ∧ (¬B) ∧ (¬C))
ψ = (A ∧ (¬B) ∧ (¬C))
δ = ((¬A) ∧B ∧ (¬C))
α = ((¬A) ∧ (¬B) ∧ C)

((φ ∨ ψ ) ∨(δ ∨
A B C (¬A) (¬B) (¬C) φ ψ δ α τ
α ))
T T T F F F F F F F F F
T T F F F T F F F F F T
T F F F T T F T F F T F
T F T F T F F F F F F F
F F F T T T T F F F T F
F F T T T F F F F T T T
F T T T F F F F F F F F
F T F T F T F F T F T F

Según la tabla de verdad se puede observar que la única respuesta que es verdadera es
cuando la naturaleza de A y B es ser escuderos y C es ser caballero, ya que al menos uno entre
A y B debe estar mintiendo, los dos no pueden ser caballeros.
10. Suponga que Γ es un conjunto de proposiciones que especifica información dada acerca
de un acertijo de la isla de caballeros y escuderos. Además, suponga que la variable
proposicional a modela la naturaleza de un habitante A de la isla. Demuestre o refute:

 Si A es caballero, entonces Γ ⊨ a.

Pasos Afirmaciones Razones

1 A es caballero Suposición
2 V(a) = T Definición, paso 1
3 ⊨a Definición, paso 2
4 Γ ⊨a MT 2.34

 Si Γ ⊨ a, entonces A es caballero.

Pasos Afirmaciones Razones

1 Γ ⊨a Suposición
2 ⊨a Definición, paso 1
3 V(a) = T Definición, paso 2
4 A es caballero MT 2.34