Se as proposições P: "Todos os mamíferos têm pelos" e Q: "As baleias são mamíferos", é CORRETO concluir que:

Gabarito

B

Comentário do professor

Partindo das premissas, temos a regra geral: todos os mamíferos têm pelos, que pode ser escrita como \( \forall x\,(M(x)\rightarrow H(x)) \) — se x é mamífero (M), então x tem pelos (H).

Também é afirmado que as baleias são mamíferos, isto é, para qualquer indivíduo y que seja baleia vale \( M(y) \).

Aplicando a regra ao caso das baleias: se uma baleia é mamífero e todos os mamíferos têm pelos, então essa baleia tem pelos. Generalizando, todas as baleias têm pelos, que é exatamente a conclusão da alternativa.