modus tollendo ponens or disjunctive syllogism?

[mikeshulman]

The "introduction to constructive logic" on the landing page says that Line 6 is "modus tollendo ponens". But the Wikipedia page on modus tollendo ponens says that from $\neg(A\wedge B)$ and $A$ it infers $\neg B$, whereas it seems to me that what's going on in this example is from $C \vee D$ and $\neg D$ we infer $C$, which is the disjunctive syllogism instead.

[mikeshulman]

Oh wait -- I didn't notice that there's a difference between "modus ponendo tollens" and "modus tollendo ponens". Apparently the latter is another name for the disjunctive syllogism. So in that case, what's wrong is that the introductory text links to the page on modus ponendo tollens rather than modus tollendo ponens.