El bullicioso bosque de CurryEl sociólogo de pájaros residente en el bosque planteó al inspectorCraig su problema. "En este bosque", dijo el profesor, "ciertospájaros cantan en determinados días. Me he propuesto averiguar quépájaros cantan en qué días a través de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo único que he podidohallar son cuatro leyes que me dan una información parcial, pero noveo cómo puedo determinar a partir de ellas qué pájaros cantan en quédías. Tiene que haber una sola ley general que unifique estas cuatro.¿Podrá usted ayudarme?" "Haré lo que pueda", dijo Craig. "¿Cuáles sonlas cuatro leyes?" "Bien, tenemos aquí un pájaro muy especial P. No sé su especie pero eso no interesa. Lo importante es que dados dospájaros cualesquiera x e y -iguales o diferentes- valen las siguientes leyes:Ley 1: si y canta un día dado, entonces Pxy canta ese díaLey 2: si x no canta un día dado, entonces Pxy canta ese díaLey 3: si el pájaro x y el pájaro Pxy cantan ambos un día dado,entonces y canta ese díaLey 4: para todo pájaro x, existe un pájaro y tal que y canta en losdías en que Pxy canta y sólo en esos días"¿Podrá el inspector Craig descubrir cual es esa gran ley?(Solución en página 23)
