Alternative name for the modus tollens, a valid form of inference.
This should not be confused with the following invalid inferences (formal fallacies):
For more information, please see Modus tollens.