Y los ídolos del templode las disyunciones

Leonel Morales Díazlitomd@ufm.edu

leonel@ingenieriasimple.com@litomd - @LogicaSimbolica

En busca de la valiosa joya “corazón racional”, el afamado explorador Kurt Jones realiza una expedición a la Ciudad Sagrada de los Argumentos Válidos, donde enfrenta innumerables pruebas de análisis y agudeza de pensamiento

Al llegar al templo de las disyunciones observa 3 ídolos a contraluz por lo que no puede distinguir su color y una voz le anuncia:

“Resuelve o da vuelta y vete.

Los 3 ídolos que ves son de diferente color, uno azul, uno rojo y otro verde, pregúntales para encontrar su color y responderán con la verdad, pero solo podrás hacer una pregunta a cada uno.”

Primer ídolo de¿qué color eres?

Soy azul o rojo.

Segundo ídolo¿de qué color es el

primero?

No es rojo oes verde.

Tercer ídolo¿de qué color es el

segundo?

No es verde oes azul.

“¡Responde Jones!

¿Cuál es el ídolo rojo?¿Cuál el verde?¿Cuál el azul?”

¿?

Soy azul o rojo.

No es rojo oes verde.

No es verde oes azul.

“¡Responde Jones!

¿Cuál es el ídolo rojo?¿Cuál el verde?¿Cuál el azul?”

El primero esazul,

el segundorojo,

y el terceroverde.

Soy azul o rojo.

No es rojo oes verde.

No es verde oes azul.

“¡Responde Jones!

¿Cuál es el ídolo rojo?¿Cuál el verde?¿Cuál el azul?”

El primero esazul,

el segundorojo,

y el terceroverde.

“¡Es correcto Jones!”

Simbolización

• A1 – primer ídolo es azul• A2 – segundo ídolo es azul… • R3 – tercer ídolo es rojo• V1 – primer ídolo es verde…• Conclusión:• ((A1 & R2) & V3)

Premisas

• Uno de tres colores:• ((A1 v R1) v V1)• ((A2 v R2) v V2)

• Colores diferentes todos:• (A1 (~A2 & ~A3))• (V2 (~V1 & ~V3))

• Ídolos de un solo color:• (A3 (~R3 & ~V3))

• ¿Otras?

Premisas

• Uno de tres colores:• ((A1 v R1) v V1)• ((A2 v R2) v V2)

• Colores diferentes todos:• (A1 (~A2 & ~A3))• (V2 (~V1 & ~V3))

• Ídolos de un solo color:• (A3 (~R3 & ~V3))

• ¿Otras?

• Lo dicho por primer ídolo:• (A1 v R1)

• Por el segundo ídolo:• (~R1 v V1)

• Y por el tercero:• (~V2 v A2)

Problema

• ¿Cómo construir el diagrama de Fitch completo para este argumento?1. ((A1 v R1) v V1) Prem2. ((A2 v R2) v V2) Prem3. (A1 (~A2 & ~A3)) Prem4. (V2 (~V1 & ~V3)) Prem5. (A3 (~R3 & ~V3)) Prem6. (A1 v R1) Prem7. (~R1 v V1) Prem8. (~V2 v A2) Prem

…((A1 & R2) & V3) Goal

¿Puedes resolverlo?

No faltan premisas o agrégalas

Kurt Jones es doctor en lógica de la arqueología.

Alguna vez se pensó que estaba emparentado con el famoso arqueólogo Indiana Jones pero luego de revisar cuidadosamente se encontró un error de patrón inválido de argumentación por afirmación del consecuente en el alegato que concluía que era su tío abuelo por lo que se descartó la prueba.

Las investigaciones al respecto continúan. De momento se centran en encontrar un disyunto falso para aplicar el silogismo disyuntivo y obtener el antecedente de una condicional clave.

Son parientes o no lo son