Considerando como verdadeira a proposição “Todo estudante de...

"Todo coelho é verde"

Para encontrar a negação desta proposição, use o seguinte "macete":

imagine que alguém te fez esta afirmação

imagine o que é o MÍNIMO que você precisaria fazer para provar que o autor da frase mentiu para você.

Portanto, admitindo que alguém te fez a afirmação de que "Todo coelho é verde", o que é o mínimo que você precisa fazer para provar que isto é mentira? Você precisa analisar TODOS os coelhos do mundo para verificar que nenhum deles é verde e então dizer que "Nenhum coelho é verde"? Ou basta que você encontre um coelho que não seja verde para demonstrar que a afirmação é mentirosa? Neste caso, basta encontrar um coelho que não seja verde, afinal o autor da frase está afirmando que TODO coelho é verde. Por isto, a negação é dada pela frase:

"Pelo menos um coelho NÃO é verde"

ou então:

"Algum coelho NÃO é verde"

ou então:

"Existe coelho que NÃO é verde"

não enenteid!!!  se todo estudante de engenharia gosta de matematica...como "nenhum estudante de engenharia gosta de matematica" é verdade?

inferir = fazer inferência sobre; concluir, deduzir. 

A questão quer equivalência, o correto é A. QC cadastrou gabarito errado, conferi e a resposta é A. 

Link para gabarito: https://www.qconcursos.com/arquivos/prova/arquivo_gabarito/55331/fcm-2017-if-baiano-assistente-em-administracao-gabarito.pdf

A questão pede a equivalêcia lógica. "Algum" literalmente falando pode significar todo, logo a lógica também considera.

Portanto: Algum estudante de engenharia gosta de matemática 

Ana Carolina, o gabarito e a letra: A