Sabe-se que alguns programadores são analistas de sistemas. Sabe-se também que todos os...

Gabarito: e)

Vamos analisar as informações:

- Alguns programadores são analistas de sistemas. Isso significa que há uma interseção entre programadores e analistas, mas não que todos os programadores são analistas.
- Todos os programadores são digitadores. Ou seja, o conjunto dos programadores está totalmente dentro do conjunto dos digitadores.

Com isso, sabemos que:

- Como todos os programadores são digitadores, e alguns programadores são analistas, então esses programadores que são analistas também são digitadores (porque todo programador é digitador).

Portanto, podemos concluir que alguns analistas de sistemas são digitadores (pelo menos aqueles que são programadores).

As outras alternativas não são corretas porque:

a) "Todos os digitadores são analistas" não é verdade, pois só sabemos que todos os programadores são digitadores, mas não que todos os digitadores são analistas.

b) "Nenhum digitador é analista" é falso, pois alguns programadores são analistas e todos os programadores são digitadores, logo existe digitador que é analista.

c) "Todos os analistas são digitadores" não podemos afirmar, pois só sabemos que alguns analistas são programadores (e, portanto, digitadores), mas não todos.

d) "Nenhum analista é digitador" é falso pelo mesmo motivo da b).

Então, a única conclusão correta é a alternativa e).