modus tollendo ponens

listen to the pronunciation of modus tollendo ponens
Немецкий Язык - Английский Язык
modus tollendo ponens /MTP/ (rule of inference)
or-elimination
disjunctive syllogism
disjunction elimination