累计查询 0.00 亿次

modus ponens

  • 一种推理方式，根据假设命题，如果前提被肯定，那么结论也被肯定

网络短语

  • Generalized Modus Ponens
    提式；假言推理法；广义假言推理
  • modus ponens and modus tollens
    肯定前件和否定后件
  • eneralized modus ponens
    一般化假言推理
  • suppression of modus ponens
    肯定式抑制
  • Fuzzy Modus Ponens inference
    模糊取式推理

同义词

deductive inferencedeductive reasoning
演绎推理；肯定前件论式；取式

英英释义

  • In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; often abbreviated to MP or modus ponensCopi and CohenHurleyMoore and Parker) or implication elimination is a valid, simple argument form and rule of inference.Enderton 2001:110 It can be summarized as "P implies Q; P is asserted to be true, so therefore Q must be true.