Modus ponens

(Difference between revisions)

Revision as of 23:10, 16 November 2013

Related e

Featured:

Rhombicuboctahedron by Leonardo da Vinci

In propositional logic, modus ponendo ponens (Latin for "the way that affirms by affirming"; often abbreviated to MP or modus ponens or implication elimination is a valid, simple argument form and rule of inference.

 {{Template}}
-In [[logic]], a '''rule of inference''', '''inference rule''', or  '''transformation rule''' is the act of drawing a conclusion based on the [[Logical form|form]] of [[premise]]s interpreted as a function which takes premises, analyses their [[Syntax (logic)|syntax]], and returns a conclusion (or [[multiple-conclusion logic|conclusions]]). For example, the rule of inference [[modus ponens]] takes two premises, one in the form of "If p then q" and another in the form of "p" and returns the conclusion "q". The rule is valid with respect to the semantics of [[classical logic]] (as well as the semantics of many other [[non-classical logic]]s), in the sense that if the premises are true (under an interpretation) then so is the conclusion.
+In [[propositional calculus|propositional logic]], '''''modus ponendo ponens''''' ([[Latin]] for "the way that affirms by affirming"; often abbreviated to '''MP''' or '''''modus ponens''''' or '''implication elimination''' is a [[validity|valid]], simple [[argument form]] and [[rule of inference]].
 ==See also==
-* [[Inference objection]]
+*[[What the Tortoise Said to Achilles]]
-* [[Immediate inference]]
+*[[Condensed detachment]]
-* [[Law of thought]]
-* [[Logical truth]]
 {{GFDL}}