A partir de "Todos A são B", qual das implicações é logicamente válida: "Se B então A"; "Se não-B então não-A"; ou "Se não-A então não-B"?

Somente "Se não-B então não-A".

Explicação:
A afirmação "Todos A são B" corresponde a \(A\subset B\), ou seja, \(x\in A\Rightarrow x\in B\).
Não se segue a conversão ("Se B então A") nem a inversa ("Se não-A então não-B").
A contrapositiva ("Se não-B então não-A") é logicamente equivalente à afirmativa inicial: \(x\notin B\Rightarrow x\notin A\).

Exemplo:
“Todos os gatos são mamíferos.”
- Se é mamífero então é gato — Falso.
- Se não é gato então não é mamífero — Falso.
- Se não é mamífero então não é gato — Verdadeiro.

Simbolicamente: se \(G\subset M\), então \(x\notin M\Rightarrow x\notin G\).