Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — FCC 2018
- Código
- fc052241
- Banca
- FCC
- Órgão
- SEGEP-MA
- Ano
- 2018
- AI.
- BII.
- CIII.
- DI e II.
- EII e III.
GabaritoC — III.
Gabarito: letra C. Apenas o item III ("Cláudio não se candidatou ao cargo") é necessariamente verdadeiro. A partir das premissas "Se Cláudio, então Bruno" (C→B) e "Se Bruno, então Alice" (B→A), e do fato de que Bruno não se candidatou (¬B), aplica-se o modus tollens na primeira condicional: se C→B é verdadeiro e ¬B é verdadeiro, então ¬C é verdadeiro (Cláudio não se candidatou). Já sobre Alice, a segunda condicional não permite conclusão, pois a premissa B é falsa e a condicional é verdadeira independentemente do valor de A.
A questão testa o uso de regras de inferência básicas, especialmente o modus tollens (se P→Q e ¬Q, então ¬P). Observe a tabela-verdade dos casos possíveis:
C | B | A | Premissas (C→B, B→A, ¬B) | Consistente? |
|---|---|---|---|---|
V | V | V | V, V, F | Não (¬B Falso) |
V | V | F | V, F, F | Não (¬B Falso) |
F | F | V | V, V, V | Sim |
F | F | F | V, V, V | Sim |
Apenas as linhas com C falso e B falso são consistentes. Em ambas, C é falso (¬C verdadeiro), mas A pode ser verdadeiro ou falso. Logo, apenas III é necessariamente verdadeiro.
A banca tenta fazer você acreditar que, como Bruno não se candidatou, então Alice também não (¬A). Isso é um erro! Na condicional B→A, se B é falso, a condicional é verdadeira tanto para A verdadeiro quanto para A falso. Portanto, nada se conclui sobre Alice.
Sempre que houver uma condicional e a negação da consequente, use modus tollens para negar o antecedente. Quando a premissa é falsa (antecedente falso), a condicional não permite nenhuma conclusão sobre o consequente.
Afirma que "Cláudio candidatou-se ao cargo" (C verdadeiro). Se C fosse verdadeiro, pela primeira condicional (C→B), B seria verdadeiro. Mas temos a premissa ¬B, contradição. Logo, I é falso.
Afirma que "Alice não se candidatou ao cargo" (¬A). Da condicional B→A e do fato ¬B, não é possível concluir ¬A. A condicional com antecedente falso é verdadeira independentemente do consequente. Portanto, II não é necessariamente verdadeiro.
Afirma que "Cláudio não se candidatou ao cargo" (¬C). Pelo modus tollens: C→B e ¬B ⇒ ¬C. É a única conclusão necessária.
Gabarito: letra C — apenas III é verdadeiro.
Link permanente: /questoes/fc052241