Denying the consequent

Alternative name for the modus tollens, a valid form of inference.

This should not be confused with the following invalid inferences (formal fallacies):

• Affirming the consequent
• Denying the antecedent

For more information, please see Modus tollens.