241
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − +
no edit summary
'''Modus tolens''', "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]].
==Common English==
==Common English==