É 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.
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:
- Entender o que significa uma afirmação universal (“todas as baleias vivem na água”).
- Aplicar a ideia de contraposição (se “baleia ⇒ vive na água”, então “não vive na água ⇒ não é baleia”).
- 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:
• Seja P(x): “x é baleia”
• Seja Q(x): “x vive na água”
A afirmação “todas as baleias vivem na água” vira:
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:
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) “Bois 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.