Questão de Raciocínio Lógico — Lógica de Argumentação - Diagramas e Operadores Lógicos — CESPE / CEBRASPE 2025
- Código
- ce224456
- Banca
- CESPE / CEBRASPE
- Órgão
- TRF - 6ª REGIÃO
- Ano
- 2025
- Nível
- Superior
- CCerto
- EErrado
GabaritoE — Errado
Gabarito: ERRADO. O argumento apresentado é inválido, pois comete a falácia da negação do antecedente. A estrutura "Todo F é B; João não é F; logo, João não é B" não garante a conclusão, já que João pode ser B por outra razão. O item classifica o argumento como "válido, apesar de fraco", o que é contraditório: validade é uma propriedade lógica binária (válido ou inválido), independente de força ou fraqueza.
O argumento pode ser formalizado:
Premissa 1: ∀x (F(x) → B(x))
Premissa 2: ¬F(João)
Conclusão: ¬B(João)
Essa forma é logicamente inválida. Corresponde ao erro clássico de confundir condição suficiente com condição necessária. Ser funcionário do setor é condição suficiente para vir de branco, mas não necessária. Portanto, a conclusão não decorre das premissas.
Caso | Atribuição (F(João), B(João)) | Resultado |
|---|---|---|
1 | F(João) = V, B(João) = V | Premissas verdadeiras, conclusão falsa → inválido |
2 | F(João) = V, B(João) = F | Premissas verdadeiras, conclusão verdadeira → válido? |
3 | F(João) = F, B(João) = V | Premissa 2 falsa → não testa validade |
4 | F(João) = F, B(João) = F | Premissa 2 falsa → não testa validade |
A banca tenta confundir validade com "força" do argumento. Um argumento dedutivo é válido quando a conclusão é consequência necessária das premissas; não há gradação. O termo "fraco" aplica-se a argumentos indutivos, não a dedutivos. Aqui, a invalidez é evidente.
Gabarito oficial: ERRADO (E).
Link permanente: /questoes/ce224456