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
1. He had had a fight with Smith and bloodied his nose.
他和史密斯打了一架，把后者的鼻子打出了血。
来自柯林斯例句
2. As far as I can recall, Patti was a Smith.
我记得帕蒂是姓史密斯的。
来自柯林斯例句
3. Striker Alan Smith was guilty of two glaring misses.
前锋艾伦·史密斯两次严重失误，将球射偏。
来自柯林斯例句
4. This guy, Jack Smith, does he go by the name of Jackal?
这个叫杰克·史密斯的家伙是不是还有个名字叫杰凯尔？
来自柯林斯例句
5. Glover thinks that Smith did him down, perhaps out of envy.
格洛弗认为史密斯说他坏话，也许是出于嫉妒。
来自柯林斯例句
[ smith 造句 ]
modus ponens
