Em relação a estruturas lógicas e à lógica de argumentação, ...

A negação de “O canguru vermelho é o maior marsupial existente” é “O canguru vermelho não é o maior marsupial existente”. 

Não precisa ser o menor, provar que não é o maior já é suficiente para invalidar esta afirmação.

Portanto, gabarito errado.

O fato dele (Canguru Vermelho) não ser o maior existente não significa que é o menor.

Ele pode estar no "meio termo" (nem maior nem menor).

Essa questão requer que saibamos que o uso de antônimos para negar proposições deve ser evitado.

Temos a seguinte sentença declarativa afirmativa que deve ser negada: p: “O canguru vermelho é o maior marsupial existente.”

A melhor forma de se negar uma sentença declarativa afirmativa é introduzir o "não", negando o verbo.

Ficamos com a seguinte negação: ~p: “O canguru vermelho não é o maior marsupial existente.”

O item da questão tenta negar a proposição original por meio do antônimo "menor".

Veja que o uso desse antônimo é equivocado, pois não abarca todas as possibilidades de negação.

Note que, por exemplo, se o canguru vermelho fosse o segundo maior marsupial existente, a negação “o canguru vermelho não é o maior marsupial existente” contempla essa possibilidade, enquanto a suposta negação “o canguru vermelho é o menor marsupial existente” não contempla.

Gabarito: ERRADO

Não se nega proposição simples com termos antagônicos. (em regra, cespe já considerou inocente como negação de culpado)

A única alteração a ser feita é no verbo. Assim, ó:

O canguru vermelho é o maior marsupial existente.

O canguru vermelho não é o maior marsupial existente.

seria correto: O canguru vermelho não é o maior marsupial existente.