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”