Almanca | İngilizce | |
---|---|---|
General | ||
General | Modus tollendo ponens [m] | disjunction elimination |
Math | ||
Math | Modus tollendo ponens [m] | or-elimination |
Math | Modus tollendo ponens [m] | disjunctive syllogism |
Math | Modus tollendo ponens [m] | modus ponendo tollens (MPT) (rule of inference) |