El bullicioso bosque de Curry
El sociólogo de pájaros residente en el bosque planteó al inspector Craig su problema.
"En este bosque", dijo el profesor, "ciertos pá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 podido hallar son cuatro leyes que me dan una información parcial, pero no veo cómo puedo determinar a partir de ellas qué pájaros cantan en que dÃas. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podrá usted ayudarme?".
"Haré lo que pueda", dijo Craig. "¿Cuáles son las cuatro 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 los dÃas en que Pxy canta y sólo en esos dÃas
¿Podrá el inspector Craig descubrir cual es esa gran ley?
