FGV 2025 · Raciocínio Lógico

Question

Considere as seguintes premissas: • Se apenas um entre João e Maria mora no bairro do Butantã, então o elefante é azul. • Se João não mora do bairro do Butantã, então a galinha é verde. • SeMariamoranobairrodoButantã,entãoocavaloéamarelo. • O elefante não é azul. Logo,

A) nem Maria, nem João, moram no bairro do Butantã.
B) ou a galinha é amarela, ou o cavalo é verde.
C) Maria e João moram no bairro do Butantã.
D) os três animais não possuem a mesma cor.
E) a galinha é verde ou o cavalo é amarelo.

Accepted Answer

Gabarito oficial: E. # Comentário da Questão

Esta questão explora **lógica proposicional** com ênfase em contraposição e dedução. Comecemos pelo que sabemos com certeza: o elefante **não é azul**. Pela primeira premissa, se apenas um entre João e Maria morasse no Butantã, o elefante seria azul. Como o elefante não é azul, a negação dessa consequência força a negação da condição: **não é verdade que apenas um deles mora lá**. Isso significa que ou ambos moram ou nenhum deles mora no Butantã.

Testemos a hipótese "ambos moram": se Maria mora no Butantã (premissa 3), o cavalo é amarelo ✓. Porém, a premissa 2 diz que se João **não** mora lá, a galinha é verde — mas João está morando, então essa premissa não nos obriga a nada. Essa configuração é logicamente consistente e não viola nenhuma premissa.

Testemos "nenhum mora": se João não mora (premissa 2), a galinha é verde ✓. E se Maria não mora, a premissa 3 não se ativa. Essa também é consistente. O ponto crucial é que **em ambos os cenários possíveis, a galinha é verde ou o cavalo é amarelo** — ou os dois simultaneamente na primeira hipótese.

A alternativa **E está correta** porque expressa uma disjunção que se mantém verdadeira nos dois mundos possíveis compatíveis com nossas premissas. As demais erram: A nega informação que pode ser falsa; B e D não têm sustentação lógica; C é apenas um dos cenários possíveis, não necessário. Em lógica formal, buscamos o que **deve ser verdadeiro**, não o que pode ser — e só E satisfaz esse critério.

Raciocínio Lógico — FGV 2025

Mais questões de Raciocínio Lógico

Fonte