É fato bem conhecido que todas as baleias vivem na água. Considerando-se apenas este fato, pode-se concluir que:
A) peixes não são baleias porque não têm pulmões;
B) baleias não são peixes porque têm pulmões;
C) cavalos não são baleias porque são quadrúpedes;
D) baleias são mamíferos porque os filhotes mamam;
E) bois não são baleias porque não vivem na água.

Passo 1

Beleza, vamos lá! O enunciado diz: “É fato bem conhecido que todas as baleias vivem na água.” A matéria aqui é Lógica de primeira ordem ou Lógica de predicados bem básica, focando em afirmações universais do tipo “Para todo x, se x é baleia então x vive na água”. O que vamos usar:
  1. Entender o que significa uma afirmação universal (“todas as baleias vivem na água”).
  2. Aplicar a ideia de contraposição (se “baleia ⇒ vive na água”, então “não vive na água ⇒ não é baleia”).
  3. Verificar qual alternativa segue só desse fato.

Passo 2

Traduzindo para um esquema lógico simples:
• Seja P(x): “x é baleia”
• Seja Q(x): “x vive na água”
A afirmação “todas as baleias vivem na água” vira:
forall x,;P(x);to;Q(x)
Isso significa: sempre que algo é baleia, essa coisa necessariamente vive na água.

Passo 3

Agora, a contraposição dessa proposição nos dá outra verdade lógica:
forall x,;neg Q(x);to;neg P(x)
Ou seja: se algo não vive na água, então não é baleia. Esse é o ponto-chave para responder.

Passo 4

Vamos checar cada alternativa usando só esse “se não vive na água, não é baleia”:
A) “Peixes não são baleias porque não têm pulmões.”
  • Aqui a justificativa fala de pulmões, que não apareceu no enunciado. Então não rola.
B) “Baleias não são peixes porque têm pulmões.”
  • Também traz pulmões e compara com peixes; não é deduzido do nosso fato.
C) “Cavalos não são baleias porque são quadrúpedes.”
  • Quadrupedalidade não entra na história.
D) “Baleias são mamíferos porque os filhotes mamam.”
  • Falou de amamentação, algo novo que não saiu do enunciado.
E) “Boi­s não são baleias porque não vivem na água.”
  • Exatamente aplica: bois não vivem na água (¬Q), logo não são baleias (¬P).

Resposta

E) bois não são baleias porque não vivem na água.

Exercícios relacionados