Un problema de lógica para niños inteligentes y adultos sin empleo sobre el cuerpo de los dioses

Por Andrés Carrero

Problema: demostrar que los dioses no tienen carne a partir de las siguientes afirmaciones.

1. Si hay dioses reales, entonces no tienen carne.
2. Si los dioses tienen hambre, entonces son miserables y desgraciados.
3. No es verdad que los dioses no ríen o sufren.
4. Si los dioses mueren o nacen, entonces tienen las vísceras podridas.
5. Si los dioses ríen, no es verdad que sean miserables y desgraciados.
6. Si los dioses no tienen hambre, entonces no tienen las vísceras podridas.
7. Si los dioses no mueren y no sufren, entonces hay dioses reales.

Ergo, los dioses no tienen carne.

Demostración (para los que no pudieron resolverlo y, sobre todo, para los que ni siquiera lo intentaron):

1. La proposición 3 equivale a la siguiente: los dioses ríen y no sufren.
2. Luego, los dioses ríen (por la proposición 3).
3. No es verdad que los dioses sean miserables y desgraciados (por las proposiciones 5 y 3).
4. Luego, No es verdad que los dioses tienen hambre (por las proposición 2, ya que la negación del consecuente implica la negación del antecedente).
5. Los dioses no tienen las vísceras podridas (se sigue de la proposición 6 por modus ponens).
6. Los dioses no mueren y no nacen ( por la proposición 4, ya que la negación del consecuente implica la negación del antecedente).
7. Luego, los dioses no mueren.
8. Los dioses no sufren (por la proposición 3).
9. Por lo tanto, los dioses no mueren y no sufren.
10. Luego, hay dioses reales (por la proposición 7).
11. Ergo, los dioses no tienen carne (por la proposición 1).