Contraposition

Learn about this topic in these articles:

syllogistic

…type of inference is called contraposition and is produced by the fact that some propositions imply the proposition that results from the original proposition when both of its term variables are negated and their order reversed.