TALLER Nro.

5 LCAT
Jeisson Steban Casallas Rozo

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? Justifique su respuesta.

(A ≡ (((¬A) ∧ (¬B)) V (A ∧ B)))

A B ¬A ¬B ((¬A) ∧¬B) (A ∧ B) ((¬A) ∧ ¬B) V (A∧B) (A ≡ (((¬A) ∧ (¬B)) V (A ∧ B)))

T T F F F T T T
F F T T T F T F
T F F T F F F F
F T T F F F F T

Primera posibilidad: En esta posibilidad A es caballero, por lo que podemos inferir que B también
es caballero y que dicen la verdad.

Segunda posibilidad: En esta posibilidad A es escudero, si esto ocurre entonces la afirmación sería
una mentira, pues A y B tendrían diferentes naturalezas, es decir, B es caballero.

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? Justifique su respuesta.

(A ≡ (((¬A) ∧ B) V (A ∧ (¬B))))

A B ¬A ¬B ((¬A) ∧ (A ∧ ((¬A) ∧ B) V (A ∧ (A ≡ (((¬A) ∧ B) v ( A ∧ (¬B))))

B) (¬B)) (¬B))
T T F F F F F F
F F T T F F F T
T F F T F T T T
F T T F T F T F

Primera posibilidad: Los dos son escuderos, tanto A como B, en este A estaría mintiendo, pues
ninguno seria caballero.
Segunda posibilidad: A es caballero y B es escudero, en este A estaría diciendo la verdad, pues se
cumple el que uno sea caballero.
 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) V ((¬A) ∧ (¬C)))))

A B C ¬ ¬B ¬C (A ∧ C) ((¬A) ∧ (¬C)) (A ∧ C) V (¬A ∧ ¬C) (A ≡ (¬B)) (B ≡ ((A ∧ C) v ((¬A) ∧ (¬C)

A
T T T F F F T F T F T
T T F F F T F F F F F
T F T F T F T F T T F
T F F F T T F F F T T
F F F T T T F T T F F
F F T T T F F F F F T
F T F T F T F T T T T
F T T T F F F F F T F

Respuesta: En las dos posibilidades C es siempre escudero.

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, que responde C.

(A ≡ ((B∧C) v (¬B ∧ ¬C)))

A B C ¬B ¬C (B∧C) (¬B ∧ ¬C) (B∧C) v (¬B ∧ ¬C) (A ≡ ((B∧C) v (¬B ∧ ¬C)))

T T T F F T F T T
T T F F T F F F F
T F T T F F F F F
T F F T T F T T T
F F F T T F T T F
F F T T F F F F T
F T F F T F F F T
F T T F F T F T F

Primera posibilidad: En esta posibilidad, C va a responder que A y B tienen la misma naturaleza,

por lo que es también la va a tener. Los 3 son caballeros.

Segunda posibilidad: En esta posibilidad, B y C tienen la misma naturaleza, pero A no, por lo que C
va a responder que él es escudero y A es caballero.

Tercera posibilidad: Esta posibilidad no tendría sentido, pues A estaría mintiendo al decir que B y C
tienen la misma naturaleza. C respondería que Tienen la misma naturaleza.
Cuarta posibilidad: Esta tampoco tendría sentido, pues A estaría mintiendo al decir que B y C
tienen la misma naturaleza. C respondería que 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.

En una isla de solo caballeros y escuderos, un turista le pregunta a un habitante A, si A y B

son escuderos, a lo que A le responde: “Yo soy escudero o B es caballero”

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

A B (¬A) ((¬A) V B) (A ≡ ((¬A) ∨

B))

T T F T T
F F T T F
T F F F F
F T T T F

Según la tabla A y B son caballeros.

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 donde solo hay personas buenas A y personas malas B, donde las personas buenas
realizan buenas acciones y las personas malas, realizan malas acciones. Un turista le pregunta a un
habitante A si B es una mala persona, a lo que A contesta: “Yo vi a B golpeando a una persona”

(a ≡ (¬b)) = T

(T ≡ (¬F)) = T

(T ≡ T) = T

T=T

B si es mala persona, por lo que A dice la verdad.

En una isla donde solo hay personas buenas A y personas malas B, donde las personas buenas
realizan buenas acciones y las personas malas, realizan malas acciones. Un turista le pregunta a un
habitante B si A y B son malas personas, por lo que B dice: “A y yo donamos dinero a los pobres la
semana pasada”.

(b ≡ (a ∧ b)) = T

(F ≡ (T ∧ F)) = T

(F ≡ F) = T

A y B son buenas personas.

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.

 Dos habitantes de la isla llamados A y B están reunidos.

A dice: “Los dos tenemos la misma naturaleza”

Esta afirmación la puede hacer cualquier habitante, pues no está afirmando que sean caballeros o
escuderos, solo que tienen la misma naturaleza.

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

 Dos turistas llegan a la isla, uno le dice al otro: “conocí a dos habitantes A y B, A dijo que
era caballero y B puede que también lo sea”

El turista no estaría haciendo una afirmación en cuanto a la naturaleza de B, y la naturaleza de A la

estaría afirmando a partir de lo que se le dijo, sin tener en cuenta si está mintiendo o no.

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) ∧ (¬C)) ∧ B)) ∨ (((¬A) ∧ (¬B)) ∧ C)))
Φ= ((¬A) ∧ (¬B) ∧ (¬C))

φ= (A ∧ ((¬B) ∧ (¬C)))

Ψ= ((¬A) ∧ (¬B)) ∧ C)

ω= ((¬A) ∧ (¬B)) ∧ C)

A B C ¬A ¬B ¬C Φ φ Ψ ω ((Φ v φ)v(Ψ v 𝜏
ω))
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 F T T F T F F T F
F T F T T T T F F F T F

10. Suponga que Γ es un conjunto de proposiciones que específica 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.

Afirmaciones Razones
1.)A es caballero suposición
2.) V(a) = T Definción, paso 1
3.) |= a. Definición, paso 2
4). Γ |= a. MT 2.34, paso 3

 Si Γ |= a, entonces A es caballero.

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 3.34 , paso 2 y 3