A

Gabarito: b) A negação lógica de uma afirmação universal do tipo 'Todo professor é licenciado' é uma afirmação existencial que contradiz a universalidade da primeira. Ou seja, para negar que todos os professores sejam licenciados, basta afirmar que existe pelo menos um professor que não é licenciado.

Vamos analisar as alternativas:

- a) 'Nenhum licenciado é professor' é uma afirmação universal negativa que não corresponde à negação correta da frase original, pois inverte a relação entre professor e licenciado.

- b) 'Algum professor não é licenciado' é exatamente a negação correta, pois afirma que existe pelo menos um professor que não tem a característica de ser licenciado.

- c) 'Não existe licenciado que não seja professor' não nega a frase original, e sim faz uma afirmação diferente sobre licenciado e professor.

- d) 'Nenhum professor é licenciado' é uma negação muito forte, que nega totalmente a afirmação original, mas a negação lógica correta é mais fraca, bastando que exista um contraexemplo.

- e) 'Algum professor é licenciado' é uma afirmação que não nega a original, pois pode ser verdadeira mesmo que nem todos sejam licenciados.

Portanto, a alternativa correta é a letra b.