Dadas apenas as proposições “nenhum contador é médico” e “algum médico é biólogo”, do ponto de vista da lógica é válido concluir que: *
a) algum biólogo não é contador.
b) algum biólogo é contador.
c) todo biólogo é médico.
d) algum biólogo é contador e é médico.
e) existe biólogo que não é médico e é contador.

Passo 1

Vamos analisar o enunciado da questão. Temos duas afirmações:
  1. “Nenhum contador é médico.”
  2. “Algum médico é biólogo.”
Estamos trabalhando com lógica proposicional, especificamente com silogismos categóricos. Para resolver, vamos precisar entender as relações entre as categorias: contadores, médicos e biólogos.

Passo 2

Primeiro, vamos traduzir as proposições para uma forma lógica mais clara:
  1. “Nenhum contador é médico.” Isso significa que não existe nenhuma pessoa que seja simultaneamente contador e médico.
  2. “Algum médico é biólogo.” Isso quer dizer que existe pelo menos uma pessoa que é médica e também bióloga.

Passo 3

Agora, vamos analisar as opções de resposta com base nas proposições:
a) “Algum biólogo não é contador.”
b) “Algum biólogo é contador.”
c) “Todo biólogo é médico.”
d) “Algum biólogo é contador e é médico.”
e) “Existe biólogo que não é médico e é contador.”

Passo 4

Observando a primeira proposição, sabemos que nenhum contador é médico. Portanto, se alguém é contador, essa pessoa não pode ser médica.

Passo 5

Da segunda proposição, sabemos que existe pelo menos um médico que é biólogo. Isso nos dá uma relação entre médicos e biólogos, mas não diretamente com contadores.

Passo 6

Vamos analisar a opção a) “Algum biólogo não é contador.”
Sabemos que existe pelo menos um biólogo que é médico. Como nenhum contador pode ser médico (pela primeira proposição), esse biólogo que é médico não pode ser contador. Portanto, existe pelo menos um biólogo que não é contador.

Resposta

A opção a) algum biólogo não é contador é a conclusão válida.

Exercícios relacionados