Se for verdadeiro que todo A é B, é válida a inferência "se não B então não A"?

Sim.

Explicação:
A afirmação "todo A é B" representa a inclusão de conjuntos, A ⊆ B, e logicamente ∀x (A(x) → B(x)).
Pela contrapositiva, essa fórmula é equivalente a ∀x (¬B(x) → ¬A(x)), portanto, se um elemento não pertence a B, ele não pode pertencer a A.

Exemplo:
Considere: todo quadrado é um retângulo (A = quadrados, B = retângulos).
Logo, se uma figura não é retângulo, então não é quadrado.