| − | '''Modus tollens''', "the method of denial", is the name of a proof rule in [[logic]]. Also called "denying the consequent" the rule states that where you have a conditional and the negation of the consequent you may then negate the [[antecedent]]. | + | '''Modus tollens''', "the method of denial", is the name of a proof rule in [[logic]]. Also called "denying the consequent" the rule states that where you have a conditional and the negation of the consequent you may then negate the [[antecedent]]. It should not be confused with the superficially similar [[denying the antecedent]], which is [[logical fallacy|fallacious]]. |