Considere o pensamento poético:

“Se eu não posso te ter, eu fico imaginando”

Por ser um texto declarativo, podemos fazer a interpretação por meio da lógica das proposições, obtendo a seguinte transcrição para a linguagem simbólica:

P(r,s): ~r → s

Sendo

r: Eu posso te ter.

s: Eu fico imaginando.