Raciocínio Lógico

Assinale a alternativa que traduz CORRETAMENTE para o Cálculo Quantificacional Clássico a sentença abaixo, sendo que A: x é um animal” e M: x é um mamífero”: Nem todos os animais são mamíferos”