La isla de los veraces y los falaces

Ejercicio de lgica deductiva.

Jos Luis Cisneros Gonzlez.
Debido a una compleja situacin temporal en el espacio tiempo, ha sido trasladado
momentneamente a la isla de los veraces y los falaces. En ella existen personas
que solo dicen la verdad, los veraces, o las personas que siempre mienten, los
falaces. Abundan personas de ambos tipos y parecen convivir en paz y
prosperidad.
La nica forma de restaurar el delicado equilibrio en la dimensin del espacio
tiempo y que pueda regresar a su lugar de origen, es responder correctamente a
las siguientes preguntas, pero deber argumentar ampliamente sus respuestas:
1. Es posible que algn habitante de la isla, afirme ser un falaz?
2. Es posible que algn habitante de la isla, afirme que l y su hermano, son
ambos falaces?
3. Supongamos que un habitante de la isla el Sr. A dice respecto a si mismo y
de su hermano el Sr. B. Al menos uno de nosotros, es un falaz de qu
tipo es el Sr. A y de qu tipo el Sr. B?
4. Supongamos que el Sr. A dice en cambio Exactamente uno de nosotros es
un falaz Qu puede deducirse respecto al Sr. A y qu respecto al Sr. B?
5. Supongamos que el Sr. A dice ahora Mi hermano y yo somos del mismo
tipo, los dos somos veraces o los dos somos falaces Qu puede
deducirse respecto al Sr. A y qu respecto al Sr. B? Por el contrario, si el Sr.
A dijera: Mi hermano y yo somos de tipos diferentes qu puede
deducirse de este caso?

Basado en los libros: The Lady or the Tiger? and other Logic Puzzles, y

The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern,
Raymond M. Smullyan.

Respuestas:
1. No, ningn falaz puede admitir pblicamente que lo es. Pues si lo es, debe
mentir por su naturaleza y un veraz no lo dira jams, pues no est en su
naturaleza mentir.
2. Normalmente en base al argumento explicado en el punto anterior las
personas se apresuran a pensar que dicho argument es vlido para este
caso, y no lo es. Por lo que sera un razonamiento incorrecto.
Como existen dos implicados A y B, las posibilidades son:
1

A
Veraz

Falaz

Veraz

Falaz

B
Fala
z
Vera
z
Vera
z
Fala
z

La afirmacin que se menciona es que ambos son falaces, y podramos

estarle preguntando al individuo A o al individuo B.
Como podemos observar las propuestas 3 y 4 son idnticas tanto para el
individuo A como para el individuo B y la propuesta 1 y 2 son las inversas
ente el individuo A y el individuo B. As que haciendo el anlisis para uno de
los individuos, sera suficiente pues todos los casos quedan cubiertos.
Si preguntamos a A:
Propuesta 1. A es veraz y B es falaz. La afirmacin que ambos son falaces,
no la puede hacer A, pues debe decir la verdad.
Propuesta 2. A es falaz y B es veraz. La afirmacin que ambos son falaces, si
la puede hacer A, pues debe faltar a la verdad y lo est haciendo.
Propuesta 3. A y B son veraces. La afirmacin que ambos son falaces, no la
puede hacer A, pues debe decir la verdad.
Propuesta 4. A y B son falaces. La afirmacin que ambos son falaces, no la
puede hacer A, pues debe decir faltar a la verdad y no lo est haciendo.
As que si es posible que alguien afirme que l y su hermano, son ambos
falaces. Si le preguntamos a un falaz, que tenga un hermano que sea veraz.
3. Si alguien afirma Al menos uno de nosotros, es un falaz el anlisis es
similar al anterior y la nica posibilidad sera la propuesta 1, en la cual A
es veraz y B es falaz, dejamos al lector realizar la comprobacin detallada.
4. Con frecuencia me dice que esta afirmacin es la misma que la de la
pregunta anterior. Analicemos los casos:
Al menos uno de nosotros, es un
falaz

Implica, que A o B o Ambos son

falaces

Exactamente uno de nosotros es un

falaz

Implica que solo A o que solo B son

falaces.

Mientras que la primera es una disyuncin inclusiva, la segunda es una

disyuncin exclusiva. As que no, no son iguales en lo absoluto, aunque se
parecen ambas son disyunciones.
Exactamente uno de nosotros es un falaz.
Como existen dos implicados A y B, las posibilidades son:
1

A
Veraz

Falaz

Veraz

Falaz

B
Fala
z
Vera
z
Vera
z
Fala
z

La afirmacin que se menciona es que exactamente uno de ellos es falaz, y

podramos estarle preguntando al individuo A o al individuo B.
Como podemos observar las propuestas 3 y 4 son idnticas tanto para el
individuo A como para el individuo B y la propuesta 1 y 2 son las inversas
ente el individuo A y el individuo B. As que haciendo el anlisis para uno de
los individuos, sera suficiente pues los casos quedan cubiertos.
Si preguntamos a A:
Propuesta 1. A es veraz y B es falaz. La afirmacin exactamente uno de
nosotros es un falaz, la puede hacer A, pues debe decir la verdad. Y el falaz
es B.
Propuesta 2. A es falaz y B es veraz. La afirmacin exactamente uno de
nosotros es un falaz, no la puede hacer A, pues debe faltar a la verdad y no
lo estara haciendo.
Propuesta 3. A y B son veraces. La afirmacin exactamente uno de nosotros
es un falaz, no la pueden hacer ni A, ni B, pues debe decir la verdad.
Propuesta 4. A y B son falaces. La afirmacin exactamente uno de nosotros
es un falaz, la puede hacer tanto A como B, pues debe faltar a la verdad y lo
estaran haciendo.
As que en la propuesta 1 y la propuesta 3 se cumplen las condiciones, pero
mientras en una A es veraz, en otra A es falaz, mientras que en ambos
casos B es falaz. Por lo que concluimos que el tipo de A no se puede
determinar, pero el falaz es B.
5. Ahora la propuesta es:
a. Mi hermano y yo somos del mismo tipo, los dos somos veraces o los
dos somos falaces.
Ahora para las opciones, serian:

A
Veraz

Falaz

Veraz

Falaz

B
Fala
z
Vera
z
Vera
z
Fala
z

La primera opcin queda fuera, pues A es veraz y no pudo asegurar

eso pues sera una mentira.
La segunda opcin, A es falaz y puede hacer tal aseveracin, pues
debe mentir.
La tercera opcin es igual que en la primera y no puede aseverar tal
propuesta.
En la cuarta opcin,
nuevamente.

existe

factibilidad

pues

A debe

mentir

Si alguien asegura mi hermano y yo somos del mismo tipo, los dos

somos veraces o los dos somos falaces . Debe ser un falaz (A), el
tipo de B queda indeterminado, pues puede ser veraz o falaz.
b. Mi hermano y yo somos de tipos diferentes
Ahora para las opciones, serian:
1
2
3
4

A
Vera
z
Fala
z
Vera
z
Fala
z

B
Fala
z
Vera
z
Vera
z
Fala
z

La primera opcin A es veraz y debe decir la verdad, as que en esta

opcin la propuesta es factible.
La segunda opcin, A es falaz y debe mentir, por lo que la propuesta
no tiene factibilidad aqu.
La tercera opcin no se puede afirmar tal cosa, pues se debe decir la
verdad.
En la cuarta opcin, existe factibilidad pues A debe mentir
nuevamente.
Si alguien asegura mi hermano y yo somos de tipos diferentes .
Debe ser cualquier persona que tenga un hermano falaz. A es
indeterminado y B es falaz.

Observe pues es importante que dejar una posibilidad fuera, no le da

suficiencia al argumento, pues puede haber condiciones que por pereza o
desorden no fueron consideradas. Un argumento suficiente analiza todas las
posibilidades, aunque algunas de ellas sean irrelevantes.