En tierra extraña.
En la casa siguiente, Dodgson le preguntó al marido: —¿Ambos son
Estos ejercicios tendrán lugar en la Isla de los Caballeros y los Bribones donde los
caballeros siempre formulan enunciados verdaderos, los bribones siempre formulan
enunciados falsos y cada habitante es necesariamente un caballero o un bribón.
Si se aplica un sistema sencillo para formalizar las declaraciones que hagan los nativos
en lenguaje de lógica de proposiciones, se podrá usar la tabla de verdad para extraer
consecuencias con seguridad. Lea y piense:
Situación básica. Pongamos por caso que un nativo ha declarado que él mismo es un
caballero.
Sabemos que si el individuo que ha hablado fuera caballero, diría Soy un
la verdad y que si fuera bribón, mentiría. Es decir: que sí y sólo sí caballero
fuera caballero, su declaración sería verdadera. Así pues, la
fórmula será: k ↔ k. Usamos la letra k para indicar que un
individuo es caballero (recordemos que no será necesario utilizar
una variable distinta para indicar que alguien es bribón, puesto
que esto último equivale a negar que sea caballero).
Si realizamos la tabla de verdad, veremos que, tanto en el caso de
que el nativo sea caballero como en el caso de que sea bribón, siempre se habría hecho
la misma declaración y por tanto no podemos determinar de qué clase es realmente
k k↔k
V V
F V
………………………………………………………………….…
La declaración tabú. Un hecho fundamental en esta isla es que a ¡¡###!!
todo habitante le resulta imposible declarar que es un bribón,
porque un caballero nunca mentiría y diría que es un bribón, y un
bribón nunca admitiría verazmente que es un bribón. Formalice la
declaración tabú y muestre con su tabla por qué lo es.
……………………………………………………………………
Los cuatro problemas siguientes introducen distintas conexiones lógicas diádicas.
Las prácticas del empadronador Dodgson
Una vez, el señor Dodgson realizó cierto trabajo en la Isla de los Caballeros y los
Bribones. El trabajo consistía en averiguar a qué tipo pertenecía cada habitante, es
decir: si era caballero o bribón (en esa isla también se denomina a las mujeres
caballeros y bribones). En esa visita a Dodgson se le encargó entrevistar solamente a
los matrimonios.
Ejercicio 1. El empadronador llamó a una puerta; el marido la abrió a medias y le
preguntó a Dodgson qué deseaba.
Hago un censo —respondió Dodgson—, y necesito información sobre usted y su
esposa. ¿Cuál, si alguno lo es, es un caballero, y cuál, si alguno lo es, es un bribón? –
¡Ambos somos bribones! —dijo el marido enojado mientras cerraba la puerta de un
golpe.
¿De qué clase es el marido y de qué clase es la mujer?
Ejercicio 2.
bribones?— El marido respondió: —Por lo menos uno de nosotros lo es.
¿De qué clase es cada uno?
Ejercicio 3. La siguiente casa que visitó el empadronador resultó un mayor enigma. Un
hombre algo introvertido abrió la puerta tímidamente. Cuando el empadronador le
pidió que dijera algo sobre sí mismo y sobre su esposa, lo único que dijo el esposo fue:
—Si soy un caballero, entonces también lo es mi esposa.
El empadronador se fue no muy complacido. —¿Cómo puedo deducir algo sobre
alguno de los dos a partir de una respuesta tan evasiva?— pensó. Estaba a punto de
escribir “Marido y Mujer ambos desconocidos”, cuando recordó súbitamente una vieja
lección de lógica de sus días de estudiante. Por supuesto —se dio cuenta—, puedo
determinar de qué clase son ambos.
¿De qué clase es el marido y de qué clase es la mujer?
Ejercicio 4. Cuando el empadronador entrevistó a la cuarta pareja, el esposo dijo: —Mi
esposa y yo somos de la misma clase; o ambos somos caballeros o ambos somos
bribones. (El esposo podría haber dicho alternativamente: —Soy un caballero si y sólo
si mi esposa es un caballero. Es lo mismo) ¿Qué puede deducirse sobre el marido y qué
puede deducirse sobre la mujer?
Hablando de los demás y de uno mismo. Cuando se esté tratando de dos o más
individuos podremos identificarlos usando, por ejemplo, junto con k un subíndice o
una letra distinta para cada uno de ellos.
Así, en el ejercicio 1, ka significa que el que habla es caballero y kb significa que es
caballero el otro individuo, así que la formalización será: ka ↔ ( ¬ ka ∧ ¬ kb).
Si realiza la tabla de esta fórmula, verá que su caso verdadero es
producido desde unos valores de verdad de las variables que nos
indican de qué clase es cada uno de los individuos de los que se
habla. Pruébelo y, después, formalice y evalúe los demás
ejercicios.
Conversaciones. Si hubiera declaraciones realizadas por más de un individuo, estas
declaraciones serían formalizadas y subordinadas a la estructura del bicondicional que
las haga depender de la pertenencia a la clase de los caballeros de cada interlocutor;
posteriormente, se enlazarían estas declaraciones usando conjunciones para representar
la totalidad de la información obtenida en una sola fórmula.
Pruebe con este problema:
A: “B es un bribón”.
B: “A y C son del mismo tipo”.
¿De qué clase es C?
cyb1011