Questão FC372433
Considere verdadeiras as afirmações: − Alguns trabalhadores são estudantes. − Todos os estudantes são esperançosos. A partir dessas afirmações, é correto concluir que
Lógica de Proposições
FCC · 2018
Considere verdadeiras as afirmações:
− Alguns trabalhadores são estudantes.
− Todos os estudantes são esperançosos.
A partir dessas afirmações, é
correto concluir que
- nenhum estudante é trabalhador.
- todo estudante que não é trabalhador é esperançoso.
- todos os trabalhadores são esperançosos.
- os esperançosos que não são estudantes não são trabalhadores.
- qualquer esperançoso é estudante.
Mostrar resposta e comentário
Gabarito
B
Comentário do professor
Das premissas, a segunda afirmação estabelece que todos os estudantes são esperançosos, isto é, em termos de conjuntos, \(S \subseteq E\), onde \(S\) = estudantes e \(E\) = esperançosos.
Logo, qualquer elemento que pertença a \(S\) — seja ele também trabalhador ou não — pertence a \(E\). Assim, a classe dos estudantes que não são trabalhadores é um subconjunto de \(E\) e, portanto, é formada por pessoas esperançosas.
Em resumo: por \(S \subseteq E\), conclui-se diretamente que todo estudante que não é trabalhador é esperançoso, o que confirma a alternativa indicada.
Conteúdo do catálogo FC Concursos · Atualizado em