Kurt Jones viaja a la Ciudad Sagrada de los Argumentos Válidos en busca del "corazón racional" y enfrenta una prueba de análisis y razonamiento ante los ídolos del templo de las disyunciones.

1. Leonel Morales Díaz
litomd@ufm.edu
leonel@ingenieriasimple.com
@litomd - @LogicaSimbolica

3. Primer ídolo de
¿qué color eres?
Soy azul o rojo.

4. Segundo ídolo
¿de qué color es el
primero?
No es rojo o
es verde.
Tercer ídolo
¿de qué color es el
segundo?
No es verde o
es azul.

5. ¿?
Soy azul o rojo.
No es rojo o
es verde.
No es verde o
es azul.

6. El primero es
azul,
el segundo
rojo,
y el tercero
verde.
Soy azul o rojo.
No es rojo o
es verde.
No es verde o
es azul.

7. El primero es
azul,
el segundo
rojo,
y el tercero
verde.

8. 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)

9. 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?

10. 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)

11. Problema
• ¿Cómo construir el diagrama de Fitch completo para este argumento?
1. ((A1 v R1) v V1) Prem
2. ((A2 v R2) v V2) Prem
3. (A1  (~A2 & ~A3)) Prem
4. (V2  (~V1 & ~V3)) Prem
5. (A3  (~R3 & ~V3)) Prem
6. (A1 v R1) Prem
7. (~R1 v V1) Prem
8. (~V2 v A2) Prem
…
((A1 & R2) & V3) Goal
¿Puedes
resolverlo?
No faltan
premisas o
agrégalas

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