 German |
 English |
|
|---|---|---|
| Modus ponendo ponens {m}; Modus ponens {m} /MP/; Abtrennungsregel (Art der logischen Folgerung) [math.] [phil.] | modus ponendo ponens; modus ponens /MP/; rule of detachment (rule of inference) | |
| 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) |