====== 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}}