英语词典

-

首页 > 英语词典 > 字母单词表 > m开头的单词 > modus ponens

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

同义词

deductive reasoning

m开头的单词

mystery shopper mystery story myoglobin isoenzyme of creatine kinase mystery novel myosin light chain kinase myotonic dystrophy myocardial infarction mycoplasma pneumonia mycosis fungoides myeloid stem cell mycobacterium tuberculosis Mycophenolate Mofetil

词汇所属分类

字母词汇表更多

l开头的单词

LZ Lytton lyttae lytta Lytle lytic

n开头的单词

NZ nyx nyu nyt nystatin nystagmus

s开头的单词

S~ szechwan sz syzygy syzygium syzygies

分类词汇表更多

化妆品行业

whitening toner sunblock shampoo perfume mousse

MBA联考

zoo zone zero zeal yuan youthful

短语

zero in on yearn for write up write off work up work out

人名姓氏表更多

男

zack zachary Zachariah young York Yates

女

Zola Zoe Zenobia Zenia Zena Zandra

男/女

Yong wynn winter willie Whitney wally

新东方柯林斯词典

托福考试练习

雅思预测

2024年雅思考试重点题汇总[听力|阅读|写作|口语] [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3地点类 2024年2月雅思考试听力|阅读|写作|口语重点题汇总 2020年9月雅思口语新题part1：shopping 2021年1月雅思口语新题part2:你认为可以教别人的技能 [雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3事件类 2020年9月雅思口语新题part1：Activity 2021年1月雅思口语新题part2:你以前看过的现场体育赛事 [雅思考前必刷]2024年1月雅思阅读考前必刷题 2019年5-8月雅思口语part1话题范文：Music