Em uma investigação sobre a relação entre três categorias de profissionais em uma grande empresa, foram coletadas as seguintes informações:

• Todo analista de sistemas é funcionário do setor de TI.
• Alguns funcionários do setor de TI são programadores.
• Nenhum programador é analista de sistemas.
• Existem funcionários do setor de TI que não são programadores nem analistas de sistemas.

Com base nessas afirmações, analise as alternativas e assinale a que apresenta uma conclusão necessariamente verdadeira.