Considere verdadeira a proposição:

“Se Júlio mora em Nova Friburgo, então Paula é carioca e Joana não gosta de morar no Rio”.

Sendo verdade que Joana gosta de morar no Rio, também será necessariamente verdadeiro que: