Considere verdadeiras as seguintes proposições:

• Se Geraldo descansou, então Humberto fez a lição de casa.

• Ou Humberto não fez a lição de casa ou Davi saiu para passear.

• Geraldo descansou se, e somente se, Davi não saiu para passear.

A partir da veracidade dessas proposições, conclui-se que é verdadeiro que