Durante uma reunião de planejamento em uma empresa, três proposições foram apresentadas para avaliação dos gestores:

P: Se os lucros aumentarem, então haverá distribuição de bônus.

Q: Se não houver distribuição de bônus, então os lucros não aumentaram.

R: Houve distribuição de bônus.

Com base nessas proposições, é possível concluir logicamente que: