GABARITO: ALTERNATIVA A.

Primeiro:

Precisamos conhecer os quantificadores lógicos, são eles:

• "Todo é"..., sua negação seria:

Existe algum que não seja... ou, Pelo menos um não é...

Exemplo:

P: todo médico é rico.

A negação de P seria:

Existe algum médico que não seja rico.

ou:

Pelo menos um médico não é rico.

• "Algum é"..., sua negação seria:

Nenhum é...

Exemplo:

P: algum médico é rico.

A negação de P seria:

Nenhum médico é rico.

• "Nenhum é"..., sua negação seria:

Algum é...

Exemplo:

P: nenhum médico é rico.

A negação de P seria:

Algum médico é rico.

Outros exemplos são:

Agora vamos à resolução!

Temos a seguinte sentença:

“Nenhum homem é imortal”.

Temos um quantificador universal negativo "Nenhum", sua negação é feita por meio de um quantificador particular afirmativo, como:

"Pelo menos um ...".

Ou:

"Existe algum ...".

Logo, temos:

“Pelo menos um homem é imortal”.

Ou:

“Existe algum homem que é imortal”.

A letra A trouxe exatamente a segunda situação:

"Existem homens imortais".

Portanto, alternativa A correta.