...

P=>~Q

"Já lá vão dez anos, passaram dez anos, há dez anos, dez anos e nada se resolveu, dez anos, dez anos, dez anos..." Declarou, escreveu, disse , repetiu, frisou Leopoldo.
Foi então que Matilde piscou os olhos três vezes, e por um qualquer capricho do tempo os dez anos deixaram de existir, logo perderam o sentido, engolidos por um vórtice no mar da memória. Sem referenciais no presente e no futuro, que comprovassem a sua autenticidade, a memória dos dez anos extinguiu-se. E, no pensamento de Matilde o autor da frase batida dissolveu-se na proposição binária p=> ~q, mais a concomitante tabela de verdade.