Demostracion lógica. Russell y el Papa

Para los amantes  de la lógica, una  curiosidad extraída del  libro
de Raymond M. Smullyan “¿Cómo se llama este
libro?”.
Un filósofo se asombró cuando Russell le dijo que una
proposición falsa implica cualquier proposición. Le dijo:
“¿Quieres decir que del enunciado de que dos más dos
es igual a cinco puedes concluir que tú eres el Papa?”.
Russell respondió: “Sí”.
El filósofo preguntó: “¿Puedes demostrar esto?”.
Russell respondió: “Ciertamente”, e inventó en el acto
la demostración siguiente:

.

.

.Por consiguiente  yo soy el Papa.

No copiad la demostracion de Russell y poned una vuestra.

( la de Russell la pondré en unos dias)