Formalización Primera

Formalización del problema por enunciados.

En primer lugar, tomamos las premisas que nos ofrecen información directa sobre la situación de algún objeto.

-“Al de la habitación del medio le gusta Warren Zeavon” 
                                              

-“El de informática vive en la primera habitación.”

A partir de aquí, aplicamos el método deductivo para conseguir más información, siguiendo el resto de premisas.

-“El de informática vive al lado de la habitación Azul”; Al ser el primero, sólo colinda con una casa, que debe ser la azul

-“La habitación verde está a la izquierda de la habitación blanca·; Deben estar juntas

-“Al que vive en la habitación verde le gusta Van Morrison.”

Puesto que deben estar juntas, no pueden ocupar la posición 1 y 2;  al estar la blanca a la derecha de la verde, está sólo puede estar en la posición 4, ya que, la posición 3 tiene un cantante asignado.

-“El de forestales vive en la habitación roja.”

-“Al de la habitación amarilla le gusta el Rugby”

-“El que está en Google+ vive alado del de rugby”

Ya que el informático ocupa la posición 1,  por eliminación quien estudia forestales ha de estar en la posición 3 y su habitación será roja, por lo que, por eliminación de nuevo, la habitación del informático es amarilla y le gusta el rugby y su único vecino utilizará Google+; ya conocemos el color de todas las habitaciones.

Amarilla-Azul-Rojo-Verde-Blanca

-“Al de aeronáutica le gusta Tom Waits”; No puede estar en la habitación amarilla, ya que, al de esa habitación le gusta el rugby. Ya conocemos el cantante de las habitaciones roja y verde de las cuales conocemos los grupos que prefiere cada uno, 

-“Al que le gusta el tenis, le gusta Anouk”; No puede estar en la habitación amarilla, ya que, al de esa habitación le gusta el rugby. Ya conocemos el cantante de las habitaciones roja y verde de las cuales conocemos los grupos que prefiere cada uno,

Los grupos Anouk y Tom Waits estarán en la habitación Blanca o Azul y se deduce que el grupo que le gusta al informático es Camela

-“Al que le gusta el baloncesto, tiene un vecino que le gusta camela”; La única casa que colinda con él (Azul), será a quien le guste el baloncesto.

-“Al que le gusta el tenis, le gusta Anouk”; La habitación amarilla y azul tienen un deporte asignado, de la Roja y la Verde conocemos el grupo; a la única persona que puede el tenis y Anouk es al de la habitación blanca.

-“Al de industriales le gusta el curling”; Puesto que en la habitación roja está el estudiante de forestales, el de la habitación azul juega al baloncesto y el de la blanca al tenis, el estudiante de industriales estará en la habitación verde y le gusta el curling.

-“Al de aeronáutica le gusta Tom Waits”; Es el último grupo por asignar, así que el de aeronáutica está en la habitación roja y le gusta Tom Waits

Ya sabemos los grupos que le gustan a cada uno.

Camela-Tom Waits-Warren Zeavan-Van Morrison-Anouk

-“El que le gusta la petanca está en twitter”; Se conocen los gustos en cuanto a deportes de las habitaciones excepto de una (Roja), quien usará Twitter.

Ahora conocemos el deporte que practica cada uno.

Rugby-Baloncesto-Petanca-Curling-Tenis

-“Al que le gusta el baloncesto está al lado del que le gusta Linkedin”; Ya que en la habitación roja utilizan Twitter, la amarilla usa Linkedin

-“El de agrícolas está en Facebook”; Ahora sólo queda una habitación por asignar que es del estudiante de agrícolas y utiliza Facebook. Ya conocemos donde vive cada estudiante y que red social utilizan.

Informático-Aeronáutico-Forestal-Industrial-Agrícola

Linkedin-Google+-Twitter-TUENTI-Facebook

Al estudiante de industriales, en la habitación verde, quien escucha Van Morrison y le gusta el curling es quien usa TUENTI.