(ESAF - Analista 2000) Dizer que a afirmação "Todos os economistas são médicos" é falsa, do ponto de vista lógico, equivale a dizer que a seguinte afirmação é verdadeira:

Alternativa B

Para resolver esta questão, precisamos entender como funciona a negação de proposições lógicas no contexto da lógica clássica (silogística). O enunciado pede a equivalência lógica de afirmar que uma proposição universal é falsa.

Fundamentos Lógicos

A frase inicial é uma Proposição Universal Afirmativa, representada pela forma "Todo S é P".

• Sujeito (S): Economistas
• Predicado (P): Médicos
• Forma: S \subseteq P (O conjunto dos economistas está totalmente incluído no conjunto dos médicos).

Quando dizemos que "Todos os economistas são médicos" é falso, estamos afirmando que não existe essa inclusão total. Ou seja, não é verdade que o conjunto dos economistas esteja inteiramente dentro do conjunto dos médicos.

Isso implica obrigatoriamente que existe pelo menos um elemento no conjunto dos sujeitos que foge ao predicado.

Análise das Opções

A negação lógica de uma proposição universal ("Todo") é sempre uma particular negativa ("Algum... não..."). Vamos analisar cada alternativa:

• A) Nenhum economista é médico: Isso é uma proposição Universal Negativa. Embora torne a original falsa, ela é mais forte do que o necessário. Poderia ser falso que "todos são", mas verdadeiro que "alguns são". Portanto, não é a equivalência lógica exata.
• B) Pelo menos um economista não é médico: Esta é a definição correta da negação. Se não é verdade que todos são, então é verdade que existe pelo menos um que não é. Matematicamente: \neg(\forall x, S(x) \rightarrow M(x)) \iff \exists x, S(x) \land \neg M(x).
• C) Nenhum médico é economista: Assim como a letra A, é uma generalização excessiva que não decorre necessariamente da falsidade da premissa original.
• D) Pelo menos um médico não é economista: Isso foca nos médicos (predicado), enquanto a falsidade da premissa depende da existência de economistas que não se encaixam na categoria. Um contraexemplo: Se existisse apenas 1 economista que fosse médico, a frase "Todos os economistas são médicos" seria verdadeira. Mas poderíamos ter 1 milhão de médicos e apenas 1 economista médico, fazendo com que "pelo menos um médico não é economista" fosse verdadeiro, mesmo que a frase original também fosse.
• E) Todos os não-médicos são não-economistas: Esta é a conversa da proposição original. Ela é logicamente equivalente à afirmação "Todos os economistas são médicos". Se a original é falsa, esta também é falsa.

Conclusão

A única afirmação que garante logicamente que "Todos os economistas são médicos" seja falsa é a existência de exceções. Portanto, devemos concluir que existe pelo menos um caso onde o sujeito não possui a propriedade do predicado.

A resposta correta é a Alternativa B.