Questão de Raciocínio Lógico · FCC ALAP 2019 (nº 14)

Para resolver questões de raciocínio lógico com implicações, transformamos as informações em sentenças condicionais (se P, então Q) e usamos a contrapositiva (se não Q, então não P) para tirar conclusões válidas.

Vamos analisar as premissas:

1. Todo trapezista é também malabarista. (T -> M)
2. Se um artista é contorcionista e não é equilibrista, então ele não é malabarista. ((C E ¬E) -> ¬M)

Nosso objetivo é concluir algo sobre um artista que é trapezista (T).

Da premissa 2, podemos usar a contrapositiva. A contrapositiva de "Se P, então Q" é "Se não Q, então não P".
Aplicando à premissa 2:
¬(¬M) -> ¬(C E ¬E)
M -> (¬C OU E)
Ou seja, se um artista é malabarista, então ele não é contorcionista OU é equilibrista.

Agora, podemos encadear as premissas:
Sabemos que T -> M (se é trapezista, então é malabarista).
E sabemos que M -> (¬C OU E) (se é malabarista, então não é contorcionista OU é equilibrista).

Portanto, por transitividade, se T -> M e M -> (¬C OU E), então T -> (¬C OU E).
Isso significa que, se um artista é trapezista, então ele não é contorcionista OU ele é equilibrista.

(A) Incorreta: A conclusão é "é equilibrista ou contorcionista" (E OU C), que é diferente da nossa conclusão (E OU ¬C).
(B) Incorreta: Sabemos que T -> M, mas não podemos concluir "e não é equilibrista". Um trapezista pode ser equilibrista.
(C) Incorreta: A conclusão "não é contorcionista nem equilibrista" (¬C E ¬E) é mais restritiva que a nossa (¬C OU E). Se ele for equilibrista, por exemplo, essa alternativa seria falsa, mas a nossa conclusão ainda poderia ser verdadeira.
(D) Incorreta: Esta alternativa contradiz diretamente a premissa 1 (todo trapezista é malabarista). Se é trapezista, é malabarista, não o contrário.
(E) Correta: A conclusão "é equilibrista ou não é contorcionista" (E OU ¬C) é exatamente o que derivamos logicamente das premissas. Essa é a única conclusão necessariamente verdadeira.
Armadilha do distrator mais tentador (A): A alternativa (A) "é equilibrista ou contorcionista" (E OU C) é muito parecida com a correta (E OU ¬C), diferindo apenas no "não" antes de "contorcionista". Essa é uma armadilha comum em lógica, onde a troca de uma negação pode parecer sutil, mas altera completamente o significado e a validade da conclusão. É crucial prestar atenção aos detalhes das negações.