Contraposition
Contraposition
The recommended use of this word is that according to which the contrapositive of
S(s) ?x P(x) is ~P(x) ?x ~S(x).
This is, however, not quite strictly in accordance with traditional terminology; see Logic, formal, 4. — A.C.