modus tollendo ponens

listen to the pronunciation of modus tollendo ponens
Almanca - İngilizce
modus tollendo ponens /MTP/ (rule of inference)
or-elimination
disjunctive syllogism
disjunction elimination