Implicação e Contrapositiva: Considere a seguinte afirmação: todos os filhos de Paulo têm mais de 55 quilos. Dessa afirmação, pode-se concluir que:

A afirmação dada é: “todos os filhos de Paulo têm mais de 55 quilos”.

Em lógica, isso pode ser escrito como: $\forall x\,(FilhoDePaulo(x) \rightarrow Peso(x) > 55).$

Uma conclusão logicamente equivalente (pela contrapositiva) é: $\forall x\,(Peso(x) \le 55 \rightarrow \neg FilhoDePaulo(x)).$

Ou seja: se alguém tem peso menor ou igual a 55 kg, então essa pessoa não pode ser filho(a) de Paulo.

Analisando as alternativas:

• (1) “Se Glória pesa mais que 55, então é filha de Paulo.” é o converso da implicação original e não é válido.
• (2) e (3) falam do peso do próprio Paulo, o que não é implicado pela frase (fala-se dos filhos, não do pai).
• (4) “Se o peso de Laura é menos que 55 quilos, então ela não é filha de Paulo.” é um caso particular da contrapositiva (se $Peso<55$, então certamente $Peso\le 55$), logo é uma conclusão válida.
• (5) diz que se Fernando é filho, então pesa menos que 55, o que contradiz a afirmação original.

Alternativa correta: (d).