Bosques curiosos y pájaros aristocráticos

Descripción

El bullicioso bosque de CurryEl sociólogo de pájaros residente en el b osque planteó al inspector Craig su problema. "En este bosque", dijo e l profesor, "ciertos pájaros cantan en determinados días. Me he propue sto averiguar qué pájaros cantan en qué días a través de una ley gener al, pero hasta hoy no he encontrado ese principio unificador. Lo único que he podido hallar son cuatro leyes que me dan una información parc ial, pero no veo cómo puedo determinar a partir de ellas qué pájaros c antan en qué días. Tiene que haber una sola ley general que unifique e stas cuatro. ¿Podrá usted ayudarme?""Haré lo que pueda", dijo Craig. " ¿Cuáles son las cuatro leyes?""Bien, tenemos aquí un pájaro muy especi al P. No sé su especie pero eso no interesa. Lo importante es que dado s dos pájaros cualesquiera x e y -iguales o diferentes- valen las sigu ientes leyes:Ley 1: si y canta un día dado, entonces Pxy canta ese día Ley 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 los días en que Pxy canta y sólo en esos días"¿Podrá el inspector C raig descubrir cual es esa gran ley?(Solución en página 23)