====== Denying the consequent ======
Alternative name for the [[logic:inferences:modus_tollens|modus tollens]], a valid form of inference.
This should not be confused with the following invalid inferences (formal fallacies):
* [[logic:formal_fallacies:affirming_the_consequent|Affirming the consequent]]
* [[logic:formal_fallacies:denying_the_antecedent|Denying the antecedent]]
For more information, please see [[logic:inferences:modus_tollens|Modus tollens]].
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}