Alternativa B - Pelo menos um economista não é médico
Análise da Questão
O enunciado solicita a negação lógica de uma proposição universal afirmativa. Para resolver isso, precisamos entender como funcionam as quantificadores na lógica formal.
A afirmação original é: "Todos os economistas são médicos".
Esta é uma proposição do tipo Universal Afirmativa (Todo S é P). Quando dizemos que essa afirmação é falsa, estamos afirmando sua negação.
Regra de Negação para "Todo"
Na lógica, a negação de "Todo X é Y$" não é "Nenhum $X é Y$", mas sim "Algum $X não é Y$" ou "**Pelo menos um $X não é $Y$**".
Isso ocorre porque:
- Se eu digo "Não é verdade que todo economista é médico", basta encontrar apenas um contra-exemplo (um economista que não seja médico) para provar que a primeira frase estava errada.
- Não é necessário que nenhum economista seja médico; basta que haja exceções.
Comparativo das Alternativas
| Proposição | Significado Lógico | Correta? |
|---|
| (A) Nenhum economista é médico | Negação total (Universa Negativa) | ❌ Errada. Exige que 0% sejam médicos. |
| (B) Pelo menos um economista não é médico | Existência de pelo menos um contrário | ✅ Correta. Basta um único caso. |
| (C) Nenhum médico é economista | Troca sujeito e predicado | ❌ Errada. Foca nos médicos. |
| (D) Pelo menos um médico não é economista | Foca nos médicos | ❌ Errada. Foca nos médicos. |
| (E) Todos os não-médicos são não-economistas | Contrapositiva | ❌ Errada. Equivale à original. |
Conclusão
Dizer que a afirmação "Todos os economistas são médicos" é falsa equivale logicamente a afirmar que existe exceção a essa regra. Portanto, a alternativa correta é aquela que indica a existência de pelo menos um caso onde a condição não se aplica.
Alternativa B.