226539 materialEducativo

Modus ponens

I like 0
Visits 4
Comments 0
Save to
Actions
- Send link

About this resource...

Modus ponens

Wikipedia articleDbpedia source

In propositional logic, modus ponens () (MP), also known as modus ponendo ponens (Latin for "mode that by affirming affirms") or implication elimination, is a deductive argument form and rule of inference. It can be summarized as "P implies Q and P is true, therefore Q must be true." Modus ponens is closely related to another valid form of argument, modus tollens. Both have apparently similar but invalid forms such as affirming the consequent, denying the antecedent, and evidence of absence. Constructive dilemma is the disjunctive version of modus ponens. Hypothetical syllogism is closely related to modus ponens and sometimes thought of as "double modus ponens." The history of modus ponens goes back to antiquity. The first to explicitly describe the argument form modus ponens was Theophrastus. It, along with modus tollens, is one of the standard patterns of inference that can be applied to derive chains of conclusions that lead to the desired goal.

English Wikipedia http://en.wikipedia.org/wiki/Modus_ponens

Spanish wikipedia http://es.wikipedia.org/wiki/Modus_ponendo_ponens

Wiki page external link http://mathworld.wolfram.com/ModusPonens.html