modus ponens,modus ponens,modus ponens是什么意思,modus ponens怎么读,modus ponens的用法
创始人
2025-02-08 15:00:09
0
modus ponens

  • 释义

    取式,演绎推理;

  • 英英释义

    Modus ponens

    • 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.

    以上来源于:Wikipedia


    权威例句

    Knowledge Base ( 3 )
    Natural Deduction
    Proof by Example
    Inference in first-order logic FOL to PL Existential instantiation ( EI ) EI versus UI
    If the car is green, then it has four-wheel drive. The car has either four-wheel drive or power steering, but not both. What can you...
    Material Covered in Lecture #3
    Abtrennungsregel
    Other forms of syllogism:
    A Counterexample to Modus Ponens
    Fuzzy Modus Ponens: A New Model Suitable for Applications in Knowledge-Based Systems

    相关内容

    热门资讯

    za,za,za是什么意思,z... za英 [zɑ:] 美 [zɑ] ...
    Z-axis,Z-axis,Z... Z-axis英 [ˈzedˌæksis] 美 [ˈziˌæksɪs] ...
    Z bend,Z bend,Z... Z bend英 [zed bend] 美 [ziː bɛnd] ...
    zabaglione,zaba... zabaglione英 [ˌzɑ:bəl'jəʊni:] 美 [ˌzɑbəl'joʊni] ...
    Zacco,Zacco,Zac... Zacco ...
    Zachariah,Zacha... Zachariah[ˌzækəˈraiə] ...
    Zacharias,Zacha... Zacharias英 [ˌzækəˈraiəs] 美 [ˌzækəˈraɪəs] ...
    zach,zach,zach是... zach[zæk] ...
    zacaton,zacaton... zacaton英 ['sɑ:kɑ:'təʊn] 美 [sɑkɑ'toʊn] ...
    Zacher,Zacher,Z... Zacher ...
    zachary,zachary... zachary[ˈzækəri] ...
    zaffer,zaffer,z... zaffer英 ['zæfə] 美 ['zæfə] ...
    zack,zack,zack是... zack英 [zæk] 美 [zæk] ...
    zaddik,zaddik,z... zaddik英 [tsɑ:'di:k] 美 ['tsɑdɪk] ...
    zag,zag,zag是什么意... zag英 [zæg] 美 [zæg] ...
    zagging,zagging... zagging[zæɡɪŋ] ...
    zaffre,zaffre,z... zaffre英 ['zɑ:fr] 美 ['zɑfr] ...
    zaftig,zaftig,z... zaftig英 ['zɑ:ftɪg] 美 ['zɑftɪg] ...