El bullicioso bosque de Curry El soci¢logo de p jaros residente en elbosque plante¢ al inspector Craig su problema. En este bosque, dijoel profesor, ciertos p jaros cantan en determinados d¡as. Me hepropuesto averiguar qu‚ p jaros cantan en qu‚ d¡as a trav‚s de unaley general, pero hasta hoy no he encontrado ese principiounificador. Lo £nico que he podido hallar son cuatro leyes que me danuna informaci¢n parcial, pero no veo c¢mo puedo determinar a partirde ellas qu‚ p jaros cantan en que d¡as. Tiene que haber una sola leygeneral que unifique estas cuatro. ¨Podr usted ayudarme?. Har‚ loque pueda, dijo Craig. ¨Cu les son las cuatro leyes?. Bien, tenemosaqu¡ un p jaro muy especial P. No se su especie pero eso no interesa.Lo importante es que dados dos p jaros cualesquiera x e y iguales odiferentes- valen las siguientes leyes: Ley 1: si y canta un d¡adado, entonces Pxy canta ese d¡a. Ley 2: si x no canta un d¡a dado,entonces Pxy canta ese d¡a. Ley 3: si el p jaro x y el p jaro Pxycantan ambos un d¡a dado, entonces y canta ese d¡a. Ley 4: para todop jaro x, existe un p jaro y tal que y canta en los d¡as en que Pxycanta y s¢lo en esos d¡as ¨Podr el inspector Craig descubrir cual esesa gran ley?
