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.
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:
- “Nenhum contador é médico.”
- “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:
- “Nenhum contador é médico.” Isso significa que não existe nenhuma pessoa que seja simultaneamente contador e médico.
- “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.”
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.
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.