Questão de Raciocínio Lógico · FGV CBMAM 2021 (nº 26)

Uma sentença condicional (do tipo "se P, então Q") é falsa apenas quando a primeira parte (o antecedente, P) é verdadeira e a segunda parte (o consequente, Q) é falsa. Em todos os outros casos, a sentença condicional é verdadeira.

A sentença dada é "Se Bruno é amazonense e Ana não é paraense, então Clara é pernambucana".
Sabemos que esta sentença é FALSA.
Para que uma condicional seja falsa, o antecedente deve ser VERDADEIRO e o consequente deve ser FALSO.

1. Antecedente VERDADEIRO: "Bruno é amazonense e Ana não é paraense" é VERDADEIRO.
   Para que uma conjunção ("e") seja verdadeira, ambas as partes devem ser verdadeiras.

   • Portanto, "Bruno é amazonense" é verdadeiro.
   • E "Ana não é paraense" é verdadeiro.

2. Consequente FALSO: "Clara é pernambucana" é FALSO.
   Se "Clara é pernambucana" é falso, então sua negação é verdadeira.

   • Portanto, "Clara não é pernambucana" é verdadeiro.

Resumindo, as conclusões são: Bruno é amazonense, Ana não é paraense, Clara não é pernambucana.

(A) Incorreta: Apresenta "Ana é paraense" (o que contradiz "Ana não é paraense" ser verdadeiro) e "Clara é pernambucana" (o que contradiz "Clara não é pernambucana" ser verdadeiro).
(B) Incorreta: Apresenta "Clara é pernambucana", o que faria o consequente ser verdadeiro; se o antecedente é verdadeiro e o consequente é verdadeiro, a condicional seria verdadeira, e não falsa. A armadilha aqui é não lembrar que a condicional só é falsa com antecedente V e consequente F.
(C) Correta: Esta alternativa corresponde exatamente às conclusões obtidas: Bruno é amazonense (verdadeiro), Ana não é paraense (verdadeiro) e Clara não é pernambucana (verdadeiro, pois "Clara é pernambucana" é falso).
(D) Incorreta: Apresenta "Bruno não é amazonense" (o que contradiz "Bruno é amazonense" ser verdadeiro) e "Ana é paraense" (o que contradiz "Ana não é paraense" ser verdadeiro).
(E) Incorreta: Apresenta "Bruno não é amazonense" (o que contradiz "Bruno é amazonense" ser verdadeiro) e "Ana é paraense" (o que contradiz "Ana não é paraense" ser verdadeiro).