⩝t ∃x ∃y (♥xy)
Sea el caso donde a =
tú y b = yo:
⩝t (♥ba)
Nota: ♥ es
un relator diádico que significa amar con locura
El anterior argumento se podría leer:
“Para cualquier instante de tiempo t, hay alguien que ama con locura a otro
alguien. Dado el caso que el primer sujeto soy yo y el segundo tú, la conclusión
es que en cualquier instante de tiempo t estaré en una relación diádica contigo
que significa amar con locura, es decir, SIEMPRE TE AMARÉ.”
Si un enamorado le escribe en un tweet a su amada ⩝t (♥ba), puede ser que la amada se
emocione, aunque también puede ser que no se entere del significado de la
fórmula de lógica de primer orden. Sin embargo, de lo que no cabe ninguna duda,
es de que el origen de la posible emoción de la amada no estará en el alto
grado de conciencia y expresión de su amor que el enamorado ha conseguido a
través de la lógica. El origen de la emoción de la amada estará en el propio amor
del enamorado, y la lógica no habrá sido más que un medio original de
transmitirlo.
