El bullicioso bosque de Curry
El sociólogo de pájaros residente en el bosque planteó al inspectorCraig su problema.
"En este bosque", dijo el profesor, "ciertos pájaros cantan endeterminados 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 podido hallar son cuatro leyesque me dan una información parcial, pero no veo cómo puedo determinara partir de ellas qué pájaros cantan en que días. Tiene que haber unasola ley general que unifique estas cuatro. ¿Podrá ustedayudarme?".
"Haré lo que pueda", dijo Craig. "¿Cuáles son las cuatro leyes?".
"Bien, tenemos aquí un pájaro muy especial P. No se su especie peroeso no interesa. Lo importante es que dados dos pá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í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 Pxy cantan ambos un día dado,entonces y canta ese día.
Ley 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?
