The law of modus tollens is the inference rule which allows one to conclude from and . The name “modus tollens” refers to the fact that this rule allows one to take away the conclusion of a conditional statement and conclude the negation of the condition. As an example of this rule, we may cite the following:
This rule can be used to justify the popular technique of proof by contradiction. In this technique, one assumes a hypothesis and then derives a conclusion . This is tantamount to showing that . Next one demonstrates . Applying modus tollens, one then concludes .
|Date of creation||2013-03-22 16:56:03|
|Last modified on||2013-03-22 16:56:03|
|Last modified by||rspuzio (6075)|