单词 | modus ponens |
释义 | modus ponens/ˌməʊdəs ˈpəʊnɛnz /noun 1The 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.The statement that q follows by modus ponens from the other two stated as known in the antecedent of the subjunctive principle P; this principle counts on the person to draw the inference to q....
1.1An argument using the rule of modus ponens.Consider, for example, propositional logic: here one can start from self-evident axioms and proceed to deduce theorems by argument forms - modus ponens, for example - that are themselves self-evidently valid in an obvious sense....
OriginLatin, literally 'mood that affirms'. |
随便看 |
英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。