 German |
 English |
|
|---|---|---|
| disjunktiver Syllogismus {m}; Modus tollendo ponens {m}; /MTP/ (Art der logischen Folgerung) {m} [math.] [phil.] | disjunctive syllogism; disjunction elimination; or-elimination; modus tollendo ponens /MTP/ (rule of inference) |