Questão FC509415
De acordo com as afirmações abaixo: - Todo ambientalista é formado. - Alguns formados são supervisores. - Nenhum supervisor é ambientalista. É correto afirmar que:
Lógica de Proposições
IBFC · 2021
De acordo com as afirmações abaixo:
- Todo ambientalista é formado.
- Alguns formados são supervisores.
- Nenhum supervisor é ambientalista.
É correto afirmar que:
- Todo formado é ambientalista
- Pode haver ambientalista não formado
- Existe ambientalista que é supervisor
- Pode haver supervisor que não é formado
- Existe supervisor formado e ambientalista
Mostrar resposta e comentário
Gabarito
D
Comentário do professor
Partindo das premissas: Todo ambientalista é formado, Alguns formados são supervisores e Nenhum supervisor é ambientalista.
Em termos de conjuntos: o conjunto dos ambientalistas está contido no dos formados, existe interseção entre formados e supervisores, e os supervisores são disjuntos dos ambientalistas.
Como já há pelo menos um elemento em formados ∩ supervisores, esse elemento não pode ser ambientalista por causa da disjunção.
Nada nas premissas exige que todos os supervisores pertençam ao conjunto dos formados. Logo, é logicamente possível que existam supervisores fora do conjunto dos formados.
Portanto, a afirmação "Pode haver supervisor que não é formado" é válida.
Conteúdo do catálogo FC Concursos · Atualizado em