From Wikibooks, open books for an open world
Jump to: navigation, search

Modus Tollens[edit]

1.       Assumption   
2.         Assumption   
3.         1 KE
4.         2, 3 CE
5.         1 KE
6.       2–5 NI
7.     1–6 CI

Now we use T7 to justify the following rule.

Modus Tollens (MT)

Modus Tollens is also sometimes known as 'Denying the Consequent'. Note that the following is not an instance of Modus Tollens, at least as defined above.

The premise lines of Modus Tollens are a conditional and the negation of its consequent. The premise lines of this inference are a conditional and the opposite of its consequent, but not the negation of its consequent. The desired inference here needs to be derived as below.

1.     Premise
2.     Premise
3.     2 DNI
4.     1, 3 CE
5.     4 DNE

Of course, it is possible to prove as a theorem:

Then you can add a new inference rule—or, more likeley, a new form of Modus Tollens—on the basis of this theorem. However, we won't do that here.


Stuff {{Edit|User:JMRyan|stuff}} yeilds: Stuff stuff
Stuff {{Edit2|User:JMRyan|stuff}} yeilds: Stuff edit stuff
{{If|A|B|C}} yeilds: {{ safesubst:p{{ safesubst:#ifA:B|1|2}}|C|}}
{{If||B|C}} yeilds: C
  is equivalent to  


Wikibook Development Stages
Sparse text 0% Developing text 25% Maturing text 50% Developed text 75% Comprehensive text 100%
Red: Solid red.png
Green: Green.png