disjunktiver syllogismus

listen to the pronunciation of disjunktiver syllogismus
German - English
disjunctive syllogism
disjunction elimination
or-elimination
modus tollendo ponens /MTP/ (rule of inference)