Soy un autodidacta que se interesó por la lógica formal tras tropezar con algunos rompecabezas, como los de Raymond Smullyan en To Mock a Mockingbird.
Estoy interesado en empezar con un libro de introducción como este (aunque estoy abierto a más sugerencias, sólo tomé esto de un viejo hilo en reddit) y luego aprender más sobre cómo resolver rompecabezas más complejos.
Sin embargo, tengo algunas preguntas sobre los rompecabezas lógicos en general.
¿Qué tipo de lógica utiliza un problema como éste (fácil, el primer problema de To Mock a Mockingbird)? Lo he resuelto simplemente "pensando", pero no sé cómo describir el proceso para resolverlo y me preguntaba si alguien podría describir el método correcto.
Se nos dan tres hermanos llamados Juan, Santiago y Guillermo. Juan y Santiago (las dos J) siempre mienten, pero Guillermo siempre dice la verdad. Los tres son indistinguibles en apariencia. Un día te encuentras con uno de los tres hermanos en la calle y desea saber si es Juan (porque Juan le debe dinero). dinero). Se le permite hacer una pregunta que puede responder responder con un sí o un no, pero la pregunta no puede contener más de tres palabras. ¿Qué pregunta le harías?
¿Y se podría aprender la técnica para resolver un problema más avanzado como éste en un libro de texto, o la resolución de este tipo de problemas es más bien una novedad fuera del ámbito de la lógica formal?
El problema se encuentra aquí .
Entonces, después de completar una introducción general a la lógica, ¿qué tipo de libro debería leer para poder resolver rompecabezas como estos de forma adecuada y aprender la teoría que hay detrás de su creación?
Perdona por todas las preguntas, pero es que estos rompecabezas son muy chulos y me gustaría aprender más.
