Considere verdadeiras as seguintes proposições P e Q:

P: Se Lícia chorar, então Nélia vai embora.

Q: Se Carolina sorrir, então Nélia não vai embora.

Se Nélia foi embora, então é necessariamente verdade que: