contrapositive: translation
The contrapositive of a conditional ‘if p then q ’ is the conditional ‘if not-q then not-p ’. The two forms are equivalent. The contrapositive of a generalization ‘all As are B’ is the equivalent ‘all non-Bs are non-A’. This equivalence is exploited in Hempel's paradox.