modus ponens
/ˈməʊdʊsˈpəʊnenz/noun
1- the rule of logic which states that if a conditional statement ('if p then q') is accepted, and the antecedent (p) holds, then the consequent (q) may be inferred肯定前件的假言推理, 取拒式。
1.1
- an argument using this rule取拒式论证。
词源
Latin, literally 'mood that affirms'.