“Si el rey de argentina es calvo, entonces hay un rey de Argentina. Si el rey de Argentina no es calvo, entonces hay un rey de Argentina. No hay un rey de Argentina. Por lo tanto, el rey de Argentina es calvo si y sólo si el rey de Argentina no es calvo.”

Llevaba desde el día 21 de Diciembre intentando demostrar que esto es cierto. Sólo me he sentado tres tardes a intentarlo de forma explícita, pero mentalmente no hacía más que tratar de averiguar la solución. Esta mañana, cuando ya le había escrito al profesor de Lógica para pasarme por su despacho a por ayuda, he decidido darme una última oportunidad, más que nada por la pereza de tener que ir hasta  Getafe… ¡y lo he conseguido! No sé si mi derivación es totalmente correcta o no, pero por lo menos se acerca mucho a estarlo. Y lo he conseguido yo solita, con los apuntes de seis clases de lógica proposicional y muchas dudas sin resolver.

Pero al final he derivado que  (p˄q) -˃ p, (p ˄¬q)  -˃ p, ¬p ˫ (p˄q) ˂-˃ (p ˄¬q), para que luego en el examen saque un cinco (y gracias….) si no me merezco un sobresaliente por esto, ¡que baje Dios y lo vea!