Changes

Modus tollens (view source)

Revision as of 14:05, August 2, 2008

1 byte added , 14:05, August 2, 2008

m

no edit summary

Line 1: Line 1: −

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

Toffeeman

241

edits