Libros de Matemáticas, página 95 de 473

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 que pajaros cantan en que dias a traves de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo unico que he podido hallar son cuatro leyes que me dan una informacion parcial, pero no veo como puedo determinar a partir de ellas que pajaros cantan en que dias. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podra usted ayudarme?" "Hare lo que pueda", dijo Craig. "¿Cuales son las cuatro leyes?" "Bien, tenemos aqui un pajaro muy especial P. No se su especie pero eso no interesa. Lo importante es que dados dos pajaros cualesquiera x e y -iguales o diferentes- valen las siguientes leyes: Ley 1: si y canta un dia dado, entonces Pxy canta ese dia Ley 2: si x no canta un dia dado, entonces Pxy canta ese dia Ley 3: si el pajaro x y el pajaro Pxy cantan ambos un dia dado, entonces y canta ese dia Ley 4: para todo pajaro x, existe un pajaro y tal que y canta en los dias en que Pxy canta y solo en esos dias ¿Podra el inspector Craig descubrir cual es esa gran ley? (Solucion en pagina 23)