Deutsch | Englisch | |
---|---|---|
Math | ||
Math | Modus ponens [m] | modus ponendo ponens |
Math | Modus ponens [m] | modus ponens (MP) |
Math | Modus ponens [m] | rule of detachment (rule of inference) |
Deutsch | Englisch | |
---|---|---|
General | ||
General | Modus tollendo ponens [m] | disjunction elimination |
Math | ||
Math | Modus tollendo ponens [m] | disjunctive syllogism |
Math | Modus ponens (MP/ (Art der logischen Folgerung) [m] | modus ponendo ponens |
Math | Modus ponendo ponens [m] | modus ponendo ponens |
Math | Modus tollendo ponens [m] | modus ponendo tollens (MPT) (rule of inference) |
Math | Modus ponendo ponens [m] | modus ponens (MP) |
Math | Modus tollendo ponens [m] | or-elimination |
Math | Modus ponendo ponens [m] | rule of detachment (rule of inference) |