Te dejo aquí con lo que Raymond Smullyan llama “El principio del trago” en su libro “¿Cómo se llama este libro?”: ¿Existe realmente alguien tal que si él bebe todo el mundo bebe? Sospecho que tu intuición te dice que no… Pero analicemos la pregunta de manera más detenida. Estarás conmigo en que o todo el mundo bebe o no. Supongamos que todo el mundo bebe. Tomemos en este caso a una persona cualquiera, Pedro por ejemplo. Como todo el mundo bebe y Pedro también, es cierto que si Pedro bebe entonces todo el mundo bebe. Vale, ahora imaginémonos que no todo el mundo bebe. Entonces existirá por lo menos una persona (llamémosla Pedro otra vez) que no bebe. Puesto que es falso que Pedro bebe, entonces podemos considerar verdadera la proposición “si Pedro bebe entonces todo el mundo bebe” (Una proposición falsa implica cualquier proposición).
Este “principio del trago” tiene otras variantes. El propio Smullyan nos sugiere la siguiente: Existe una mujer en la tierra tal que si ella se vuelve estéril, entonces toda la especie humana desaparecerá. (Dejo al ciberlector que piense el paralelismo entre esta afirmación y la anterior).
A mí se me ocurren otras como “existe un estudiante en el mundo tal que si él copia en un examen entonces todo el mundo copia en un examen” o “existe una bloguera tal que si ella escribe todos los días entonces todas las blogueras escriben todos los días” o… (las que se te ocurran a ti, espero tus aportaciones).
