You are on page 1of 23

1.

Enigmas y cuadros de doble entrada


Empezaremos enunciando un enigma que resolveremos de varias formas: "Hoy gran etapa: Concarneau-Chateaulin, en la costa Mnez-Kerveyen, tenemos seis hombres a la cabeza. Son" Nuestro cronista se confunde y mezcla corredores, nmeros, marcas y nacionalidades. Quieren ayudarlo a terminar esta nota? Sabemos que:

Este grupo comprende seis hombres, todos de nacionalidades diferentes: alemn, ingls, belga, espaol, italiano y francs. Tres marcas patrocinan a los corredores, cada una de ellas a dos: Clas, Banesto y Festina.

Se tiene la siguiente informacin:


a. El nmero 1 y el alemn son dos corredores que llevan los colores de la marca b. c. d. e. f. g.

Clas. El nmero 5 y el belga llevan los dos los de la marca Banesto. El espaol y el nmero 3 llevan los dos los de la marca Festina. Los corredores nmeros 2 y 6 sacaron ventaja a la entrada del circuito de lAulne, mientra que el espaol se qued. El italiano y el francs se adelantaron 30 segundos al nmero 3 en la tercera vuelta de este circuito. El nmero 2 y el alemn debieron abandonar, ambos, despus de una cada. Finalmente, el nmero 1 gan el sprint final frente al italiano.

Para resolver el enigma, en primer lugar, abordaremos la forma ms "directa" o de "sentido comn" que no conlleva formalizaciones ni el uso de estructuras determinadas; es decir, se trata de utilizar los datos como aparecen e ir haciendo sobre ellos las deducciones. Evidentemente, como cada persona tiene mecanismos de pensamiento distintos ser difcil que todos coincidamos en el orden de los distintos pasos de las deducciones; una forma sera tratar la informacin en el cronolgico que aparece.

Mtodo 1: Deduccin cronolgica-"directa"


La informacin a), b) y c) se puede resumir:

Clas: corredores nmero 1 y alemn. Banesto: corredores nmero 5 y belga. Festina: corredores nmero 3 y espaol.

Y una deduccin clara es que tanto el alemn como el belga como el espaol han de tener nmeros pares, adems como consecuencia de esto los nmeros impares corresponden a italiano, ingls y francs. La informacin (d) nos dice que, al entrar en el circuito de lAulne, los nmeros 2 y 6 aventajaron al espaol, podemos deducir entonces que el espaol ha de tener necesariamente el nmero 4, puesto que deba de tener un nmero par. Tambin se deduce que los nmeros 2 y 6 han de distribuirse entre

alemn y belga. La informacin de e) nos dice que el italiano y el francs adelantan al nmero 3 en la tercera vuelta, luego como ambos, italiano y francs, son nmeros impares, el nmero 3 corresponde al otro corredor de nmero impar que es el ingls. Tambin se deduce, por tanto, que los nmeros 1 y 5 han de distribuirse entre italiano y francs. La informacin f) dice que el alemn y el nmero 2 sufren una cada, luego, como sabemos que el alemn slo puede ser el 2 6, necesariamente se tiene que el alemn es el nmero 6 y entonces el belga ser el numero 2. La informacin g) dice que el sprint final lo disputan el nmero 1 y el italiano, as como ste slo puede ser el 1 el 5, necesariamente ser el 5, y por tanto el nmero 1 ser el francs, con lo que queda resuelto el enigma. Un esquema del procedimiento que acabamos de realizar es el siguiente: Informacin a) Clas: n1 y alemn b) Banesto: n5 y belga c) Festina: n3 y espaol d) n 2 y n 6 adelantan espaol Deducciones ns pares: alemn, belga y espaol ns impares: italiano, ingls y francs n 4 espaol ns 2 y 6: alemn y belga

e) italiano y francs adelantan al n 3 n 3 ingls ns 1 y 5: italiano y francs f) n 2 y alemn caen g) n 1 e italiano sprint n 6 alemn n 2 belga n 5 italiano n 1 francs Figura 1.1

Mtodo 2: Empezamos a organizar los datos


Primera fase: organizacin de los datos Como el objetivo del enigma es hacer corresponder cada nmero del uno al seis con una nacionalidad, desglosamos solamente estos datos olvidndonos del resto de la informacin no relevante: podemos tomar las nacionalidades (o tambin los nmeros) una por una y segn la informacin desde a) hasta g) ver qu nmeros pueden corresponderle y cules no. As tendramos: Nacionalidades No puede ser Alemn Espaol Puede ser

1 a) 3, 5 marcas diferentes: b) y c) 4, 6 2 f) 3 c) 4 1, 5 marcas diferentes: a) y b)

2, 6 d) Ingls Belga Italiano Francs 1, 2, 3, 4, 5, 6 1, 3 marcas diferentes: a) y c) 2, 4, 6 5 b) 3 e) 1 g) 3 e) Figura 1.2 Segunda fase: deducciones Analizando la ltima columna de la tabla anterior, se tiene que el espaol ser el nmero 4 pues es lo nico que puede ser, adems como ya ningn otro puede ser el 4, se eliminan el resto de cuatros que aparecen en dicha columna. Con esta operacin nos queda en la primera fila de esta tercera columna el nmero 6 solamente, esto es, el alemn es el nmero 6. Eliminamos el resto de seises de la columna, resultando as que el belga es el nmero 2. De nuevo, eliminamos los doses, obtenindose que el italiano es el 5. Eliminando los dems cincos concluimos que el francs es el nmero 1 y, por tanto, el ingls el 3. Observemos que esta ltima deduccin sobre el ingls se poda haber hecho ya desde el principio, ya que ninguno de los otros puede ser el nmero 3, segn muestra la tercera columna. Antes de exponer otras formas de resolver este enigma, analicemos las dos dadas. En el primer mtodo, prcticamente no hay ninguna representacin (modelizacin) de los datos, las deducciones se hacen sobre la misma informacin que nos dan. El segundo mtodo ya lleva una primera fase de organizacin de los datos, y as, en la segunda etapa de las deducciones el tratamiento no se hace sobre la informacin sino sobre los datos (la informacin relevante sintetizada): ya no deducimos que el alemn no puede ser el nmero 1 segn dice a), sino que se trata de ver las posibilidades de que en las distintas filas de la columna "Puede ser" haya nmeros distintos. Cabe observar que el mtodo 2 est a medio camino entre la deduccin directa y el uso de un cuadro de doble entrada que es el siguiente mtodo a tratar. 2, 4, 5, 6 1, 2, 4, 5, 6

Mtodo 3: cuadro de doble entrada


Primera fase: organizacin de los datos Un cuadro de doble entrada permite cruzar dos variables y, as, el repertorio de los diferentes casos posibles. En nuestro problema tenemos tres variables: nacionalidad, nmero y marca; como el cuadro slo permite dos variables, parece ms natural, dada la informacin que tenemos, privilegiar la nacionalidad y los nmeros dejando la marca como variable suplementaria. Hacemos entonces una tabla enfrentado las nacionalidades y los nmeros como indica la siguiente figura; si una nacionalidad y un nmero son incompatibles pondremos un 0 en el cuadro correspondiente, e ir un 1 solamente en aquel cuadro cuya nacionalidad

coincida con el nmero. Luego, y como regla de deduccin, tendremos que tanto en una fila como en una columna slo puede haber un 1. alemn 1 2 3 4 5 0 (a)+(b) 0 (b) 0 (b)+(c) 0 (d) Figura 1.3(a) Se transcriben las informaciones dadas en forma de ceros y unos sobre la tabla, para llevar un mejor control sobre las informaciones, Tambin anotaremos en la tabla, debajo de los ceros y unos, la informacin de la que provienen. As, la informacin a) supone un 0 en la casilla (1,alemn), b) un 0 en (5,belga) y c) un 0 en (3,espaol). Teniendo en cuenta la variable suplementaria marca, deducimos de a) y de b) un 0 en (5,alemn); de a) y c) un 0 en (3,alemn) y as sucesivamente, con lo que tenemos la situacin que presenta la tabla de la figura 1.3(a) Segunda fase: deducciones Una vez que tenemos en el cuadro toda la informacin codificada empezamos la fase de las deducciones utilizando la anterior regla mencionada: en cada fila y columna slo puede aparecer un 1. As, tenemos que en la fila tercera hay que poner un 1 en la casilla (3,ingls) y, por tanto, ceros en el resto de la columna "ingls". Tambin hay que poner un 1 en la casilla libre correspondiente a la columna "espaol", lo cual obliga a poner ceros en toda la fila 4. Ahora estamos obligado a poner un 1 en la casilla (1,francs), y as sucesivamente, hasta llegar a la situacin que presenta el cuadro de la figura 1.3(b). En dicho cuadro hemos anotado con un subndice en las casillas de los unos para mostrar en qu etapa de la deduccin ha surgido. alemn 1 2 0 (a) 0 (f) belga espaol francs 1 (2) 0 ingls 0 0 italiano 0 (f) 0 0(a) 0 (f) 0 0 (a)+(c) (a)+(c) belga espaol francs ingls italiano 0 (f)

0 0 (a)+(b) (a)+(c) 0 (d) 0 (c) 0 (e)

0 (e)

0 0 (a)+(b) (a)+(c) 1 (4) 0 (d)

3 4 5 6

0 0 (a)+(c) (a)+(c) 0 0 (a)+(b) 1 (5) 0 0 (b) 0

0 (c) 1 (1) 0 (b)+(c) 0 (d)

0 (e) 0 0 0

1 (1) 0 0 0

0 (e) 0 1 (3) 0

Figura 1.3(b) En definitiva, la solucin del enigma descodificando el resultado que muestra el cuadro es: n 1 el francs, n 2 el belga, n 3 el ingls, n 4 el espaol, n 5 el italiano y n 6 el alemn. Con este mtodo, se tiene que la fase de organizacin y representacin de los datos lleva un formalismo muy avanzado y, en cambio, la fase deductiva es casi mecnica.

Mtodo 4: reduccin a dos cuadros de doble entrada


Las informaciones dadas en a), b) y c), como ya vimos en el mtodo 1, nos permite deducir que alemn, belga y espaol tienen nmeros pares, as como francs, ingls e italiano impares; esto nos permite reducirnos a dos cuadros de doble entrada y con menor nmero de entradas cada uno de ellos (como muestra la figura 1.4) y con las variables "nmero" y "nacionalidad". Observemos que ahora ya no hay el problema de las tres variables porque justamente la variable "marca" es la que nos ha servido para el desdoblamiento en dos cuadros. francs 1 3 5 1 (2) 0 (e) 0 ingls 0 1 (1) 0 italiano 0 (g) 0 (e) 1 (1) Figura 1.4 El procedimiento en cada cuadro es anlogo al anterior, slo que ahora la informacin es ms manejable y hay menor nmero de etapas de deducciones: mientras que en el mtodo anterior haba 5 etapas deductivas en este slo 3. A continuacin, como ejercicio, pasamos a resolver dos enigmas usando cuadros de doble entrada, ya sabemos que lo principal en la tarea de organizar los datos es encontrar las variables principales. 2 4 6 alemn 0 (f) 0 1 (2) belga 1 (1) 0 0 espaol 0 (d) 1 (1) 0 (d)

Problema: En el restaurante Despus de una dura maana en la Facultad de Informtica, lvaro, Daniel, Paco, Enrique, Carmen y Luis se encuentran en el comedor. Sabemos que:
a. Daniel, Carmen y el aficionado al pescado aprecian el vino blanco. b. Paco mira con envidia a las personas que eligieron jabal y pato a la naranja. c. lvaro y Daniel estn situados frente a los que degustan la tortilla de patata y

el pato a la naranja.
d. lvaro, Paco y Enrique han elegido cada uno un plato de carne.

Quin ha pedido el bistec? Y los caracoles? Problema: Beca divertida Doce becarios: Javier, Miguel, Nacho, Silvia, Alberto, Cristina, Guillermo, Juan, Mara, Marta, Marcos e Ins, participan en los cursos de verano de El Escorial. Cada uno tiene una bebida preferida: menta con agua, batido de fresa, limonada, leche, champn, cola, zumo de naranja, caf, t, ans, sidra y cerveza. Descubrir la bebida preferida de cada uno sabiendo que:
a. El primer da, los becarios juegan al mus: en una de las mesas se encuentran

juntos Guillermo, Juan y los aficionados a la sidra y la cerveza; en otra, los bebedores de ans y t se enfrentan a Mara y a Marta; y en una tercera, Ins y Marcos con los que gustan de caf y zumo de naranja. b. El hermoso tiempo del segundo da les permite jugar a los bolos en grupos de cuatro: Javier y Miguel dominan completamente al equipo de bebedores de t y caf; Juan y Guillermo derrotan sin dificultad a los consumidores de batido y limonada; mientras que Nacho y Mara se enfrentan duramente a los aficionados al zumo de naranja y a la menta con agua. c. Los fanticos del tenis tienen poco tiempo para entregarse a su deporte favorito. Juegan a dobles: Guillermo con el bebedor de cola se enfrentan a Marta asociada con al consumidor de limonada; por otra parte, Javier y Silvia se enfrentan a los que toman cerveza y t. d. Finalmente sepan que, despus de estas jornadas de intensos estudios, los becarios se fueron a un lugar de descanso: Juan acompa a los aficionados al champn y a la cola a Segovia; Miguel a los que gustan de sidra y cerveza a Toledo; el bebedor de batido se encuentra con Marta y Marcos en Almera, y el aficionado al caf con Silvia y Alberto en Sigenza.

2. Integramas y filotramas
El uso de integramas
El tro municipal

Los seores Alba, Blanco y Cano son los tres candidatos que obtuvieron la mayor cantidad de votos en las ltimas elecciones en el de La Garrafa. El resultado fue muy ajustado: el que lleg a la cabeza aventaja al segundo en un voto y ste al tercero en otro voto. Los tres practican deportes diferentes (atletismo, natacin y senderismo) y tienen una bebida favorita diferente: caf, zumo de naranja y t. Con la siguiente informacin se trata de encontrar la clasificacin de cada candidato, su deporte y su bebida favorita:
a. El seor Cano, gran aficionado al caf, aventaj a Blanco por un solo voto. b. El aficionado al zumo de naranja, que no soporta el senderismo, obtuvo un

voto ms que el bebedor de t. c. El seor Alba adora la natacin. Para resolver este enigma vamos a introducir un cuadro llamado integrama. Este instrumento de representacin equivale a tratar varios cuadros de doble entrada simultneamente, poniendo cada variable en correspondencia con las otras. As, si tenemos tres variables, como el enigma anterior de la carrera ciclista, tendramos tres cuadros (combinaciones de 3 elementos tomados de 2 en 2) y ya tendramos todas las correspondencias necesarias, se tienen cuatro entradas de datos: una para cada una de las variables y otra que hay que repetir una variable. Se distribuyen los cuadros de la siguiente forma: Variable 1 Variable 3 Variable 2

Variable 3

Figura 2.1 En el caso del tro municipal, como tenemos cuatro variables, para poner en correspondencia cada una de las variables con el resto tendremos que utilizar seis cuadros, es decir, tenemos combinaciones de 4 elementos tomados de 2 en 2. Cada cuadro ser de 3x3 puesto que cada variable toma tres valores Formamos una tabla, como muestra la figura 2.2(a), donde se han colocado los valores de ceros y unos segn las informaciones a) y b). Notemos que la informacin a) no es slo que el seor Cano es aficionado al caf, lo que se traduce en un 1 en la casilla (C,c), sino tambin que el seor Cano no es el tercero, pues aventaj al seor Blanco, y por lo mismo el seor Blanco no puede ser el primero, lo que se traduce en ceros en los casillas (C,3) y (B,1). De la misma manera, la informacin de b) se traduce en un 0 en la casilla (z, s) y tambin ceros en (t,1) y en (z,3). Con esto ya tendramos la primera etapa de organizacin de los datos, slo falta tener en cuenta una informacin que no se puede codificar en la tabla: Cano va inmediatamente antes que Blanco, y el que bebe zumo va inmediatamente antes que el que bebe t.

Codificaremos en la tabla donde aparecen las deducciones (Figura 2.2(b)) un asterisco para referirnos a que estamos haciendo uso de esta informacin en la deduccin. Puestos 1 A Candidatos B C t Bebidas c z a Deportes n s Figura 2.2(a) Pasemos pues a la parte de las deducciones, notemos primeramente cmo se codifican las deducciones sobre el integrama, esto es, las reglas que nos permiten obtener los unos y los ceros del integrama. Hay que resear que cada uno de los seis cuadros es de doble entrada, por lo tanto, se mantiene en cada cuadro individualmente se mantiene la regla de que en cada fila y en cada columna slo puede haber un nico uno y el resto ceros. Adems, tambin tenemos dos reglas especficas del integrama, vamos a ver como se obtienen de las propias deducciones. Sabemos que el seor Cano es aficionado al caf, lo que se codifica como un 1 en la casilla (C,c), y tambin sabemos que el seor Cano no es el nmero 3, lo que se traduce en 0 en (C,3), luego podemos deducir que el aficionado al caf no es el nmero 3, es decir, un 0 en (c,3). As, tenemos la regla de integrama: Regla 1: (C,c) es 1 y (C,3) es 0 (c,3) es 0 Por otra parte, supongamos que ya sabemos que el aficionado al caf es el nmero 1, sera un 1 en la casilla (c,1), adems como el aficionado al caf es el seor Cano, deducimos que el seor Cano es el nmero 1, es decir, un 1 en (C,1); as tenemos la segunda regla especfica de integrama: Regla 2: (C,c) es 1 y (c,1) es 1 (C,1) es 1 Cabe observar que el orden en los elementos de los pares ordenados no es relevante. 0 (b) 0 (b) 0 (b) 0 (a) 0 (a) 1 (a) 2 3 Deportes a n 1 (c) s Bebidas t c z

Pasemos ya a hacer una descripcin exhaustiva de cmo podran ser las deducciones (ir viendo simultneamente en la figura 2.2(b)): 1. La primera deduccin que podemos hacer es la que nos ha servido de ejemplo para presentar la regla 1, es decir, un 0 en la casilla (c,3). 2. Ahora, fijndonos en el cuadro bebidas x puestos podemos usar en el mismo la regla del cuadro de doble entrada, as en la segunda etapa de deducciones obtenemos un 1 en (t,3), en la tercera, teniendo en cuenta adems la informacin (*), un 1 en (z,2) y en la cuarta otro 1 en (c,1). Con esto ya tenemos relacionadas bebidas con puestos. 3. Adems, tambin podemos deducir en la cuarta etapa que hay un 0 en la casilla (s,2), pues por la informacin b) tenemos un 0 en (z, s) y por la etapa tercera de deducciones un 1 en (z,2), con lo que aplicando la regla 1 se tiene el resultado. 4. En la quinta etapa deducimos la que nos ha servido de ejemplo para la segunda regla: 1 en (C,1). As, teniendo en cuenta la informacin (*), C inmediatamente antes que B, tenemos en la sexta etapa un 1 en (B,2). Siguiendo en este cuadro de candidatos x puestos deducimos en sptimo lugar, con la regla del cuadro de doble entrada, un 1 en (A,3). Ya tenemos los candidatos relacionados con los puestos, slo nos falta encontrar sus deportes favoritos. 5. De 1 en (A,3) y 1 en (A,n) obtenemos, segn la regla 2, un 1 en (n,3). As, usando la regla del cuadro de doble entrada, obtenemos en el de deportes x puestos un 1 en (s,1) y, por ltimo, un 1 en (a,2). Puestos 1 A candidatos B C t bebidas c z a deportes n s 1 0 (9) (4) 0 1 (a) (6)* 1 (5) 0 (b) 1 (4) 0 (a) 1 (2) 0 (1) 1 0 (3)* (b) 1 (10) 1 (8) 0 (b) 1 (a) 2 3 1 (7) Deportes a n 1 (c) s t Bebidas c z

Figura 2.2(b) Para finalizar, descodificando los resultados obtenidos en la integrama, tenemos:

El seor Alba, que ha obtenido el puesto 3, es aficionado al t y practica la natacin. El seor Blanco ha sido el segundo y es aficionado al zumo y al atletismo. El seor Cano ha obtenido el primer puesto y le gusta el caf y el senderismo.

El uso de filotramas
Vamos a resolver el enigma anterior utilizando una representacin grfica llamada filotrama (ver la tabla 3): es un cuadro en el que la primera columna se utiliza para los nombres de las variables, en la ltima, que deber ser especialmente amplia, se codificar la informacin, y en las intermedias se irn anotando los resultados. Para ello la primera fila es fijada de antemano (los distintos valores que toma la primera variable) y en cada columna tenemos que ir anotando los valores de las distintas variables que son los que corresponden con el valor dado en la primera fila. Primera fase: representacin de la informacin: Construimos una tabla con cinco columnas, en la primera columna van las variables: puestos, candidatos, deportes, bebidas; en la primera lnea del cuadro de resultados van los valores de la primera variable: 1, 2 y 3; el contenido del resto de filas de dicho cuadro es lo que tenemos que resolver y en la ltima columna vamos anotando las informaciones dadas en a), b) y c). La eleccin de "puestos" como primera variable no ha sido casual, sino que ha sido elegida para poder representar fielmente las informaciones del tipo "Cano precede inmediatamente a Blanco".

Figura 2.3 Cmo representar la informacin? Se pueden utilizar:

Uniones verticales entre ciertos valores de variables distintas, como el caso de la informacin c), que ser representada por el "hilo" de ms a la derecha que liga el candidato Alba con su deporte, la natacin. Uniones horizontales, como el caso de las informaciones a) o b): indica que el elemento de la izquierda va inmediatamente antes que el del extremo de la derecha de tal unin.

Uniones oblicuas, en este enigma no aparecen, pero supongamos que tenemos la informacin "El seor Cano precede inmediatamente al aficionado al atletismo", entonces podemos codificar esta informacin con un segmento oblicuo que ira desde la fila de candidatos hasta la de deportes uniendo Cano y atletismo de tal forma que atletismo quedara situado a la derecha de Cano. Tambin pueden aparecer combinaciones de tales uniones, como ocurre con a). Y lo que podramos llamar uniones imposibles, para referirnos a la imposibilidad de que los valores de dos variables distintas estn relacionados, entonces el segmento aparece cruzado por dos rayitas, este es el caso de la informacin b), el candidato que bebe zumo no practica senderismo.

Segunda fase: deducciones Resolver el enigma se traduce en llenar las columnas del cuadro de resultados con los datos correspondientes y estos datos estn ligados por los segmentos como aparece en la parte derecha de la filotrama, luego se trata de trasladar esos segmentos (o uniones de segmentos) a la columna conveniente del cuadro de resultados. En este caso, dado la forma que presentan los "hilos", la resolucin del enigma se convierte en la resolucin de un puzzle. De todos modos, procederemos segn una tcnica racional con el fin de dar las directrices para resolver casos ms complejos. En una primera parte se trata de aadir debajo de cada unin, o "hilo", las posibles columnas donde podra colocarse, independientemente de las otras. As, en este enigma el "hilo" a) slo puede ir colocado en las columnas 1 2, asimismo el hilo b) slo puede ir colocado de forma que zumo quede en las columnas 1 2, por ltimo, el hilo c) podra ir en cualquier columna. En la segunda parte pasamos a estudiar las posibilidades en conjunto: los hilos a) y b) son incompatibles entre s, en el sentido de que no pueden ir colocados simultneamente en la misma columna, con lo que uno de ellos tendr que ir en la columna 1 y el otro en la 2. Como la posibilidad de que a) est en la 2 y b) en la 1 no puede darse, pues zumo y caf no pueden estar ambas en la misma casilla, entonces el hilo a) tendr que ser colocado en la 1 y el b) en la 2, con lo que ya no hay otra forma de colocar el c) ms que en la 3. Finalmente, debido a la imposibilidad mencionada en el hilo b), senderismo no zumo, obtenemos el cuadro completo de los resultados:

Figura 4

Quin gan la medalla de oro?

Juan, Pedro, Carlos y Ral fueron seleccionados para los Juegos Olmpicos. Tenemos sobre ellos las informaciones siguientes:
a. b. c. d. e. f. g. h. i. j. k.

El boxeador tiene un parche en el ojo,. Ins entrena a Juan. El que gan la medalla de plata lo festej con pur de patatas. El deportista aficionado a las patatas fritas se resfri. Ral sufri una insolacin. Teresa cuida el esguince de su atleta. El especialista del triple salto, si bien no se resfri, no pudo obtener ms que una medalla de chocolate. Pedro se aliment con patatas salteadas. Carmen entrena al corredor de 100 metros. El atleta de decatln come patatas al horno. El deportista que entren Mara gan la medalla de bronce

Sabran decir, para cada deportista, quin lo entren, su handicap, su plato de patatas preferido, su especialidad y la medalla obtenida? Una forma adecuada de resolver este enigma, dado que tiene muchas variables, es mediante la filotrama. En la figura 5 aparece el cuadro con la informacin ya codificada. Tres de las informaciones, b), e) y h), han podido ser llevadas directamente al cuadro de resultados.

Presentamos ahora una de las posibles formas de realizar la fase de las deducciones:

Primera etapa: Considerando la informacin de la columna 2, se tiene que ninguno de los tres hilos c), d) y j) pueden ir en dicha columna; adems son incompatibles entre s en el sentido de que no podemos poner dos simultneamente en la misma columna. Habr entonces uno en cada una de las columnas 1, 3 y 4. El hilo g) es incompatible con c), d) y j), entonces tendr que ir en la columna 2 (los colocamos en el cuadro de resultados con un (1) para indicar que se obtuvieron en la primera etapa de deducciones). Segunda etapa: De manera anloga a la primera etapa, considerando la cuarta columna vemos que los hilos a), d) y f) no pueden ir en dicha columna 4, adems como son incompatibles entre s, ir cada uno en cada una de las columnas 1, 2 y 3. Pero vemos que son incompatibles con la 2 columna,

entonces ser el f) el que vaya en la 2. Adems j) es incompatible con a) d) y f), entonces j) ir en la columna 4. Tercera etapa: A la vista de como va el cuadro de resultados, podemos deducir que el hilo i) va en la 3 y, por tanto, el k) en la 4. Cuarta etapa: Por ltimo, vemos que para ubicar los hilos a), c) y d) slo nos quedan la columnas1 y 3. Como a) es incompatible con la 3, entonces ir en la 1. Al ser d) incompatible con a), tendr que ir en la 3 y, finalmente, c) ira en la 1 pues es incompatible con d).

El cuadro de resultados quedara:

En conclusin, la medalla de oro la gan Carlos en los 100 metros.

En el atasco
En un terrible lo de vehculos de todas clases y colores, se encuentran cinco caballeros que conducen otros tantos vehculos. Todos son de diferente nacionalidad y. Para pasar el mal rato que supone estar en mitad de un atasco, cada uno hace algo con la boca. Se sabe que:
a. El que silba no es griego (que no se llama Cosme), ni el novio de la prima del

que conduce la bicicleta.


b. Gregorio (que no sabe silbar) es amigo del conductor del camin, pero no

conoce al irlands, ni al que maldice.


c. El finlands es el nico que tiene primas, pero no se llama Savario o Aquiles. d. e. f. g.

Ninguno de estos tres canta. El que conduce la motocicleta es turco, pero no maldice ni recita ni silba. Baltasar no tiene primas, no es novio de seorita alguna, no conoce a ninguno de los otros cuatro seores y s conduce un vehculo de ms de cuatro ruedas. El que tararea monta un vehculo de dos ruedas. El alemn conduce el automvil, pero no se llama Aquiles (ste no es el griego) y tampoco es el que maldice.

Qu hace cada seor, qu vehculo conduce y de qu origen es?

3. Enigmas y lgica proposicional

Un acertijo diablico
Empezaremos este tema proponiendo un acertijo, francamente diablico, creado por Raymond Smullyan, dice as: Dos personas, A y B, hacen cada una de ellas una oferta, hay que determinar cul es la mejor oferta.

Oferta de A. Tienen que formular un enunciado. Si el enunciado es verdadero, ganan exactamente diez dlares. Si el enunciado es falso, entonces ganan menos o ms de diez dlares, pero no diez dlares exactamente. Oferta de B. Tienen que formular un enunciado. Sea el enunciado verdadero o falso, ganan ms de diez dlares.

Cul de las dos ofertas preferiran? La mayora de la gente decide que la oferta de B es la mejor, dado que garantiza que ms de diez dlares, mientras que en la oferta de A, no hay certeza de ganar ms de diez. No se dejen engaar por las apariencias. Les haremos la misma oferta que R. Smullyan: Si alguno de ustedes est dispuesto a proponernos la oferta de A, le pagaremos veinte dlares por adelantado Alguno juega? Antes de resolver este acertijo vamos a proponer otro, con varias variantes, que R. Smullyan present en uno de sus libros con el fin de dar algunas pistas para la resolucin del anterior.

Acertijo de los premios


Supongamos que se ofrecen dos premios, Premio 1 y Premio 2. Tienen que formular un enunciado, si el enunciado es verdadero, entonces reciben uno de los dos premios (no se sabe a priori cul de los dos es); si el enunciado es falso, entonces no ganan ningn premio. Qu enunciado formularn que les garantice que ganarn el Premio 1? Primera variante Nuevamente se ofrecen los dos premios. Si formulan un enunciado verdadero, recibirn por lo menos uno de los dos premios y posiblemente ambos. Si formulan un enunciado falso, no ganan ningn premio. Qu enunciado formularan que les hiciese ganar los dos premios? Segunda variante En este caso las reglas cambian un poco: Si formulan un enunciado verdadero, ganan el Premio 2; si formulan un enunciado falso, no ganan el premio2 (pueden o no ganar el premio 1). Qu enunciado les har ganar el Premio 1? Tercera variante Supongamos ahora que las reglas son: si formulan un enunciado verdadero, no ganan ningn premio, si formulan un enunciado falso, ganarn uno de los dos premios. Qu enunciado ganar el Premio 1?

De nuevo, el acertijo diablico

Volvemos al acertijo primero. Lo diablico fue la oferta de pagarles veinte dlares por adelantado al que propusiera la oferta de A, porque si aceptan hacerlo, podramos haberles ganado todo el dinero que quisiramos, digamos, un milln de dlares. Pueden descubrir cmo?

En la Isla de los Caballeros y los Bribones


Seguimos de la mano de R. Smullyan y nos vamos a su Isla de los Caballeros y los Bribones donde cada habitante de la isla, como su propio nombre indica, o es un caballero o es un bribn, y la caracterstica de estos peculiares personajes es: los caballeros siempre formulan enunciados verdaderos y los bribones siempre formulan enunciados falsos. Un hecho fundamental de esta isla, que debemos observar, es que ningn habitante puede decir que es un bribn, ya que un caballero nunca mentira y dira que es un bribn, y un bribn nunca admitira verazmente que es un bribn. De la misma forma, se tendra que ningn habitante de la isla podra decir que no es un caballero (observemos que es el mismo hecho puesto que, para un habitante de la isla, no ser un caballero es lo mismo que ser un bribn). La visita del empadronador Una vez, el seor McGregor, el empadronador, decidi visitar la isla para visitar solamente a los matrimonios. En tal visita, le surgieron los siguientes problemas que esperamos le ayuden a resolver. Problema (Y): McGregor llam a una puerta; el marido la abri a medias y le pregunt a McGergor qu deseaba. - Hago un censo - respondi McGregor -, y necesito informacin sobre usted y su esposa. Cul, si alguno lo es, es un caballero, y cul, si alguno lo es, es un bribn? - 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? Problema (O): En la siguiente casa, McGregor le pregunt al marido: - Ambos son bribones? El marido respondi: - Por lo menos uno de nosotros lo es. De qu clase es cada uno? Problema (Si - entonces): La siguiente casa que visit McGregor result un mayor enigma. Un hombre algo introvertido abri la puerta tmidamente. Cuando McGregor le pidi que dijera algo sobre s mismo y su esposa, lo nico que dijo el esposo fue: - Si soy un caballero, entonces tambin lo es mi esposa. McGregor se fue no muy complacido. - Cmo 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 sbitamente una vieja leccin de sus das de estudiante universitario. Por supuesto que se dio cuenta -, puedo determinar de qu clase son ambos. De qu clase es el marido y de qu clase es la mujer? En realidad, la solucin a este problema es un caso particular del siguiente hecho:

Teorema 1. Dada una proposicin p, supongamos que un nativo de la Isla de los Caballeros y los Bribones dice: "Si soy caballero, entonces p". Entonces el nativo debe de ser un caballero y p verdadera. La demostracin es la misma que la solucin al anterior problema, slo hay que sustituir "mi esposa tambin es caballero" por p. Problema (Si y slo si): Cuando el empadronador visit a la cuarta pareja, el esposo dijo: - Mi esposa y yo somos de la misma clase; o ambos somos caballeros o ambos bribones. El esposo tambin dara la misma respuesta si hubiera dicho: - Soy un caballero si y slo mi esposa es un caballero. Qu puede deducirse sobre el marido y qu sobre la esposa? Al igual que suceda con el problema anterior, la solucin de este ltimo problema es un caso particular del siguiente hecho: Teorema 2. Dada una proposicin p, supongamos que un nativo de la Isla de los Caballeros y los Bribones dice: "Soy un caballero si y slo si p". Entonces p es verdadera independientemente de que el nativo sea un caballero o un bribn. La demostracin del teorema es la dada en la solucin del ltimo problema sustituyendo "mi esposa es caballero" por p.

Una introduccin a la lgica proposicional


Daremos ahora unas nociones bsicas de lgica proposicional y ms adelante veremos cmo utilizarla para resolver muchos enigmas y acertijos, como los de los mentirosos y veraces de la Isla de los Caballeros y los Bribones. La lgica proposicional se encarga del estudio de los enunciados o declaraciones verbales, entendiendo por enunciado aquellas secuencias lingsticas con pleno sentido cuya propiedad fundamental es que o bien es verdadero o bien falso, pero no ambas. As, la frase "Pars est en Francia" es un enunciado, en cambio "Dnde est Pars? No es un enunciado y no es del inters de la lgica proposicional. Los enunciados pueden ser compuestos, esto es, pueden estar formados por enunciados, tales que cada uno de ellos tiene perfecto significado, y palabras que los conecten. La propiedad fundamental de una declaracin compuesta es que su valor de verdad est completamente determinado por los valores de verdad de sus componentes junto con la forma que estn conectadas. A la lgica proposicional no le interesa el contenido del enunciado en s, sino su valor de verdad o falsedad y cmo es su estructura: si es un enunciado compuesto, cmo se unen los subenunciados que lo componen. Por tanto, se simbolizan las frases utilizando: p, q, r, para representar los enunciados simples (que ya no se pueden descomponer en enunciados) y se les llama frmulas atmicas o tomos; y se utilizan los smbolos:, , , , para representar las palabras que los conectan, a stos se les llama conectivos lgicos. A la composicin de tomos mediante conectivos se les llama frmula molecular; en general, llamaremos proposiciones tanto a los tomos como a las frmulas moleculares.

() Negacin: Para toda proposicin p, la proposicin p significa lo opuesto o contrario a p. Se tiene que p es verdadera si p es falsa y es falsa si p es verdadera. Por ejemplo, si p representa el enunciado "Pars est en Francia", entonces p representa el enunciado "No es cierto que Pars est en Francia" o lo que es lo mismo "Pars no est en Francia"; en este caso p es verdadera y p es falsa. Los valores de verdad para la negacin se pueden resumir en la siguiente tabla (codificamos V como el valor verdadero y F como el falso, tambin se suele usar 1 y 0 respectivamente). p p V F F V

( ) Conjuncin: Dos enunciados cualesquiera pueden ser combinados por la palabra "y" para formar uno nuevo que llamaremos conjuncin de los anteriores. Simblicamente p q denota la conjuncin de las proposiciones p y q. El valor de verdad de p q en funcin de los valores de verdad de p y de q viene dado en la siguiente tabla: p q V V V F F V F F pq V F F F

Es decir, p q es verdadera cuando las declaraciones p y q son ambas verdaderas, y slo en ese caso en As, la frase "Llueve y hace viento" es verdadera slo en el caso en que ciertamente "Llueve" y ciertamente "hace viento"; si ciertamente llueve pero no hace viento, entonces la frase es falsa. ( ) Disyuncin: Dos enunciados pueden ser combinadas por la palabra "o" para formar una nueva declaracin que se llama disyuncin y en trminos de proposiciones ser p q. El valor de verdad de p q en funcin de los valores de verdad de p y de q viene dada en la siguiente tabla: p q V V V F F V F F p q V V V F

Es decir, que p q slo es falso cuando ambas declaraciones, p y q, son falsas y slo en ese caso. As, el enunciado "Pars est en Inglaterra 2+2=4" es verdadera pues ciertamente 2+2=4. Debemos observar que al "o" que se hace referencia aqu en el sentido "y/o", esto es, puede ocurrir p, puede ocurrir q o ambos a la vez, en contraposicin al "o" exclusivo: "Me voy a Sevilla o a Barcelona"; evidentemente no puedo hacer ambas cosas a la vez. () Si-entonces: Para proposiciones cualesquiera p y q, escribimos pq para notar las declaraciones de la forma "si p, entonces q" y que llamaremos condicional de p y q. El condicional de p y q es verdadera si p y q son ambas verdaderas o p es falsa. Su tabla de valores de verdad es: p q V V V F F V F F pq V F V V

() Si y slo si: Notaremos pq a las declaraciones de la forma "p si y slo si q", es decir p y q son ambas verdaderas o ambas falsas. La tabla de sus valores es, por tanto: p q pq V V V F F V F F V F F V

En general, dada una proposicin P(p,q,) podemos hallar sus valores de verdad en funcin de los de p, q, con una tabla como las anteriores. Veamos, por ejemplo los valores de verdad de la proposicin p (p q) pq: p q p p q V V V F F F V F F F p (p q) V F V V pq V F V V p (p q)pq V V V V

F V V F F V

Obsrvese que las primeras columnas de la tabla son para las variables p, q, y que hay suficiente nmero de filas en la tabla para permitir todas las posibles combinaciones de

V y F para estas variables (para 2 variables se necesitan 4 filas, para 3 variables se necesitan 8 filas y, en general, para n variables se necesitan 2n filas). Hay a continuacin una columna para cada paso "elemental" de la proposicin, el valor verdadero de cada paso est determinado por los pasos previos mediante las definiciones de los conectivos lgicos. Finalmente, obtenemos los valores de verdad de la proposicin en la ltima columna. Ntese que los valores de verdad de la proposicin p (p q)pq son todos verdaderos (en la ltima columna slo aparece V) al margen de los valores de verdad de las proposiciones p y q, cualquier proposicin que verifique este hecho se denomina tautaloga. Anlogamente una proposicin se dice que es una contradiccin si contiene slo F en la ultima columna de su tabla de verdad. La tautologa ms elemental sera p p, y la contradiccin sera p p. Tambin se puede observar que las dos columnas anteriores a la ltima son iguales, esto es, los valores de verdad de las proposiciones p (p q) y pq coinciden, en ese caso se dice que las proposiciones son equivalentes (por eso si unimos ambas proposiciones mediante el conectivo se obtiene una tautologa). A continuacin, presentamos unos cuantos acertijos e invitamos a los alumnos que lo resuelvan por simple "sentido comn", nosotros modelizaremos este "sentido comn" utilizando un poco de lgica de proposiciones.

Enigmas y lgica de proposiciones


El diploma Despus de laboriosos aos, un estudiante de Informtica llega al fin de sus estudios y a la entrega de diplomas. Se encuentra de pronto ante cuatro puertas cerradas. Se oye una voz gutural: "Tu diploma se encuentra detrs de una de estas puertas; tienes que adivinar cul es, si te equivocas tendrs que volver a empezar la carrera. Tienes, sin embargo, tus posibilidades: en cada puerta figuran dos afirmaciones, y de las ocho afirmaciones que figuran en total, tres solamente son verdadera, las otras cinco son con seguridad falsas".
1. Sobre la puerta de bano se puede leer:

a. El diploma est detrs de esta puerta. b. El diploma est detrs de la puerta de caoba. 2. Sobre la puerta de caoba: a. El diploma no est detrs de la puerta de roble. b. El diploma est detrs de la puerta de bano o de la de cerezo. 3. Sobre la puerta de cerezo dice: a. El diploma no est ni detrs de la puerta de bano ni detrs de la de roble. b. El diploma est detrs de la puerta de caoba o detrs de la de bano. 4. Y sobre la puerta de roble se puede leer: a. El diploma no est detrs de la puerta de cerezo. b. El diploma est detrs de la puerta de caoba. Los amores de los colaboradores del inspector Lafrite

Para los dos colaboradores Lafrite, Relbou y Gremai, es el momento de distensin nocturna, en el restaurante. Surge la discusin acerca de las relaciones femeninas y de los sentimientos de cada uno. Relbou: "Te dir dos cosas: en primer lugar, amo a Batrice o a Hlne; en segundo lugar, si amo a Batrice, amo a Hlne. Y entonces, puedes decirme si amo a Batrice, si amo a Hlne? Gremai: "!" Pueden ayudar al inspector a conocer un poco de la vida privada de su colega? Algunos das ms tarde, encontramos a nuestros dos inspectores conversando sobre al mismo asunto. Evidentemente olvidaron lo esencial que se haba dicho entonces. Gremai: "Es cierto que si amas a Batrice amas tambin a Hlne?" Relbou: "Si es cierto, entonces amo tambin a Batrice". Gremai: "!" Qu pensar de los amores de Relbou? Relbou: "Modificar la respuesta que te acabo de dar, agregando: si es falso, no amo a Batrice". Gremai: "Entonces, vamos! Ya veo; ests cercado!" Qu descubri Gremai? El inspector Lafrite interroga a los sospechosos Tres sospechosos fueron arrestados despus del robo de una rica mansin de Pars, son: Bradaci, Piedplat y Ncass. Estos tres personajes son bien conocidos por Lafrite, por el carcter muy aleatorio de la verdad de sus afirmaciones. Bradaci: "Piedplat es culpable y Ncass es inocente". Piedplat: "Si Bradaci es culpable, Ncass tambin". Ncass: "Soy inocente pero uno por lo menos de los otros dos es culpable". Lafrite debe hacer frente a varias posibilidades; es lo que hace antes de acostarse, escuchando la novena sinfona de Beethoven.
a. Es posible que estos tres bandidos hayan dicho la verdad? Entonces, quin b. c.

d.
e.

sera culpable? Podran haber mentido los tres, supongo! Si supongo que todos son inocentes, quin minti? y si los supongo a todos culpables, quin minti? Es posible que no haya ms que un falso testimonio? Y en ese caso, quin minti y quin es culpable? Y guardo lo mejor para el final despus de esto dormir como un lirn: supongo que el inocente dice la verdad y que el culpable miente Quin es entonces inocente, quin culpable?"

Pueden ayudar al inspector a responder estas preguntas?

La isla de los Bribones y los Caballeros, una vez ms Volvemos a la isla de los Caballeros y los Bribones para ver cmo podemos resolver los cuatro problemas con los que se encontr el empadronador utilizando la lgica de las proposiciones. Para ello hay que tener en cuenta un hecho muy importante: Si A es un nativo de la isla y notamos por p a la declaracin "A es un caballero", entonces si A afirma k, se tiene que pk es verdadera ya que si p es verdadera entonces k es verdadera, pues un caballero siempre dice la verdad, y si p es falsa entonces A es un bribn, que siempre miente, por lo que k es falsa. Observemos tambin que, en las condiciones anteriores, p es la afirmacin "A es un bribn". Hechas estas aclaraciones, estamos ya en disposicin de resolver los problemas, a saber, determinar el carcter de caballero o bribn de los componentes de un matrimonio segn las afirmaciones del marido. Problema: Recordemos que aqu la respuesta del marido fue: "Ambos somos bribones". Sean p la afirmacin "El marido es un caballero" y q la afirmacin "La esposa es un caballero". El marido afirma, en trminos de proposiciones, k=p q, por lo tanto, sabemos que la proposicin pp q es verdadera.. Se trata de encontrar el carcter de verdad o falsedad de p y q que determine la veracidad de dicha proposicin, estudimoslo mediante su tabla de verdad. p q p q p q V V V F F F F V F V F F F V pp q F F V F

F V V F F V

La tabla muestra que slo hay una posibilidad de que la proposicin sea cierta (fila 3) y es que p sea falsa y q sea verdadera, es decir, el marido es bribn y la esposa caballero. Problema: En la segunda entrevista el marido afirmaba que por lo menos uno de los dos era bribn, esto es, p q. As pues, sabemos que la proposicin ppq es verdadera, y obteniendo su tabla de verdad: p q p q p q V V V F F F F V F V F V V V pp q F V F F

F V V F F V

Se tiene que el nico caso en que la proposicin es verdadera es si p es verdadera y q es falsa. El marido es caballero y la esposa es bribn.

Problema:La respuesta del marido en este caso fue "Si soy caballero, entonces mi esposa lo es", pq. Luego, tratamos de averiguar cundo es cierta p pq, su tabla de verdad es: p q pq V V V F F V F F V F V V ppq V F F F

Como queda de manifiesto, p y q han de ser verdaderas (marido y esposa ambos caballeros) para que la proposicin sea verdadera. Problema: Por ltimo, la respuesta que recibi el empadronador fue que ambos eran de la misma clase, pq, y la proposicin p(pq) es verdadera. Su tabla de verdad es: p q pq p(pq) V V V F F V F F V F F V V F V F

Hay dos posibilidades de que la proposicin sea verdadera (filas primera y tercera), en ambos casos q ha de ser cierta y p puede serlo o no: el carcter del esposo es indeterminado y la esposa es caballero.

4. Paradojas
Los trminos ms frecuentemente usados en la descripcin de una paradoja lgica son autorreferencia, contradiccin, y crculo vicioso. Hay formas de autorreferencia y contradiccin que sin ser paradojas propiamente se aproximan bastante a un estado paradgico, un buenos ejemplos de este tipo seran: POR FAVOR, NO LEA ESTA FRASE PROHIBIDO PROHIBIR Para hacer lo que dicen, no se puede hacer lo que dicen. Esta cuasi paradoja carece del tercer trmino, la circularidad viciosa: aunque la contradiccin da vueltas en crculo no lo a hace una y otra vez. Tal situacin la presenta tambin la siguiente historia:

"Un cocodrilo arrebat un beb de los brazos de su madre y ofreci devolvrselo si poda contestar correctamente la pregunta: "Me comer a tu nio?" La madre fue suficientemente inteligente para contestar: "S". Entonces, si el cocodrilo se coma al nio, demostrando que la madre haba respondido correctamente a su pregunta, estara contradiciendo su oferta de devolvrselo si responda correctamente. Con todo este dilema, el cocodrilo se distrajo y la madre aprovech para recuperar a su hijo. Mientras, el cocodrilo lamentaba su mala suerte porque la madre no haba contestado "No" a su pregunta." Una paradoja completa y muy famosa es la expuesta por Bertrand Russel en 1918: "Un hombre de Sevilla es afeitado por el barbero de Sevilla si, y slo si, el hombre no se afeita a s mismo. Se afeita a s mismo el barbero de Sevilla?" Como vemos el problema es que "si lo hace, no lo hace; y si no lo hace, lo hace". Es clara ahora la circularidad viciosa de las paradojas completas. El primer ejemplo de paradoja completa y, en muchos aspectos el mejor, es la paradoja del mentiroso. Eublides, filsofo de Megara del siglo VI a. C. Y sucesor de Euclides , la invent. En esta paradoja Epimnides el cretense dice: "Todos los cretenses son mentirosos". Si dice la verdad, est mintiendo, y si miente est diciendo la verdad. Admite una forma ms simple: "Estoy mintiendo", que ya era conocida por los antiguos como el pseudomenon. Una frmula medieval de la misma era: Scrates: "Lo que Platn va a decir es falso". Platn: "Lo que acaba Scrates es cierto". Alfred Tarski informa: Hay un libro de cien pginas con una sola frase por pgina. En la pgina 1 dice: "La frase impresa en la pgina 2 de este libro es falsa". En la pgina 2 dice: "La frase impresa en la pgina 3 es verdad". Y as hasta la pgina 99. Sin embargo, en la pgina 100, la ltima del libro, se lee: "La frase impresa en la pgina 1 de este libro es falsa". El matemtico ingls P.E.B. Jourdain sugiri lo siguiente en 1913: En una cara de una tarjeta blanca imprimir: "La afirmacin en la otra cara de esta tarjeta es verdadera". En la cara opuesta de la misma tarjeta imprimir: " La afirmacin en la otra cara de esta tarjeta es falsa".