Qual é a contrapositiva da afirmação "Todo A é M"?

Se algo não é M, então não é A.

Explicação:
A afirmação universal \(A \subseteq M\) equivale a \(x\in A \Rightarrow x\in M\), a contrapositiva transforma isso em \(x\notin M \Rightarrow x\notin A\), logo negar o consequente implica negar o antecedente.

Exemplo:
Considere C = conjunto de cães, e M = conjunto de mamíferos. Como \(C \subseteq M\), temos \(x\in C \Rightarrow x\in M\). Pela contraposição, se um animal não é mamífero, então ele não pode ser um cão, por exemplo, um peixe não é mamífero, portanto não é um cão.