
	Where results make sense

Topic: Modus ponens

Related Topics

Modus tollens

Denying the antecedent

Natural deduction

Conjunction introduction

Logical conditional

Affirming the consequent

Propositional calculus

Formal logic

Disjunctive syllogism

What the Tortoise Said to Achilles

Conjunction elimination

Logical operator

Hypothetical syllogism

Reductio ad absurdum

Deductive logic

In the News (Sat 14 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Modus ponens - Wikipedia, the free encyclopedia
		The fact that the argument is valid cannot assure us that any of the statements in the argument are true; the validity of modus ponens tells us that the conclusion must be true if all the premises are true.
		A propositional argument using modus ponens is said to be deductive.
		Modus ponens can also be referred to as affirming the antecedent.
	en.wikipedia.org /wiki/Modus_ponens (306 words)

	20th WCP: Modus Ponens, Modus Tollens, and Likeness
		Modus Ponens (MP) and Modus Tollens (MT) are taught as basic rules of inference related to conditional statements in introductory logic courses.
		Modus Ponens (MP) and Modus Tollens (MT) are considered as basic rules of inference, and we teach them in introductory logic courses, related to conditional statements.
		The Alleged Counterexamples to Modus Ponens and Modus Tollens
	www.bu.edu /wcp/Papers/Logi/LogiDagl.htm (3275 words)

	Encyclopedia: Modus ponens
		Affirming the antecedent is a valid argument form which proceeds by affirming the truth of the first part (the if part, commonly called the antecedent) of a conditional, and concluding that the second part (the then part, commonly called the consequent) is true.
		For an amusing dialog that problematizes modus ponens, see Lewis Carroll's "What the Tortoise Said to Achilles." Photograph of Lewis Carroll taken by himself, with assistance Charles Lutwidge Dodgson (January 27, 1832 â€“ January 14, 1898), better known by the pen name Lewis Carroll, was a British author, mathematician, logician, Anglican clergyman and photographer.
		Latin logical phrases Modus tollens (Latin: mode that denies) is the formal name for indirect proof or proof by contrapositive, often abbreviated to MT It is a common, simple argument form: If P, then Q. Q is false.
	www.nationmaster.com /encyclopedia/Modus-ponens (711 words)

	Disjunctive syllogism - Wikipedia, the free encyclopedia
		A disjunctive syllogism, also known as modus tollendo ponens (literally: mode which, by denying, affirms) is a valid, simple argument form:
		Unlike modus ponendo ponens and modus tollendo tollens, with which it should not be confused, modus tollendo ponens is often not made an explicit rule or axiom of logical systems, as the above arguments can be proven with a (slightly devious) combination of reductio ad absurdum and disjunction elimination.
		Modus tollendo ponens should also not be confused with modus ponendo tollens.
	en.wikipedia.org /wiki/Modus_tollendo_ponens (333 words)

	E.G.: "Entitlement closure."
		In fact, modus ponens is not a proposition at all; it's a rule.
		It probably doesn't matter, either, whether you think that one of these "senses of modus ponens" does not properly deserve the name "modus ponens" at all; the important thing is that the three senses are distinguishable and have been given different names.
		But if you think that the epistemic senses of modus ponens which I have suggested are not "really" representative of modus ponens, then denying entitlement closure does not entail that modus ponens is a bad rule.
	eg.typepad.com /eg/2005/03/closure_and_rul.html (1412 words)

	Falsity implies anything
		Modus Ponens is one of the syllogisms which are a form of a deductive reasoning.
		A is the minor premise of the modus ponens.
		not B (B is false) is the minor premise of the modus tollens.
	www.cut-the-knot.com /do_you_know/falsity.shtml (781 words)

	Modus ponens (Site not responding. Last check: 2007-10-20)
		Modus ponens (Latin : mode that affirms) is a valid, simple argument form : :If P, then Q. :Therefore, Q. or in logical operator notation: :
		For an amusing dialog that problematizes modus ponens, see Lewis Carroll 's " What the Tortoise Said to Achilles." See also: modus tollens, affirming the consequent, Denying the antecedent, inference rule.
		Roleplayman's Modus and GSIII Site A site with many sections filled with Modus Information as well as links to other MO sites of interest.
	www.serebella.com /encyclopedia/article-Modus_ponens.html (357 words)

	Modus ponens -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-20)
		Modus ponens ((Any dialect of the language of ancient Rome) Latin: mode that affirms) is a (Click link for more info and facts about valid) valid, simple (Click link for more info and facts about argument form) argument form (often abbreviated to MP):
		It is wise to recall that a valid (A fact or assertion offered as evidence that something is true) argument within which one or more of the premises are not true is called an unsound argument, whereas if all the premises are true, then the argument is sound.
		A (Click link for more info and facts about propositional) propositional argument using modus ponens is said to be deductive.
	www.absoluteastronomy.com /encyclopedia/M/Mo/Modus_ponens.htm (329 words)

	modus ponens and modus tollens -- Encyclopædia Britannica
		More results on "modus ponens and modus tollens" when you join.
		Modus ponens refers to inferences of the form AB; A, therefore B. Modus tollens refers to inferences of the...
		Presents a modus operandi for beginners, along with lists of church records and cemeteries; a catalog of 12,000 European and Anglo-Indian people; British army regiment histories; search resources based on occupation; and contact details for professional researchers.
	www.britannica.com /eb/article-9053169?tocId=9053169 (819 words)

	MODUS PONENS und MODUS TOLLENS
		Modus ponens, según la cual puede afirmarse el consecuente de un condicional si se afirma su antecedente.
		Modus tollens, según la cual puede negarse el antecedente de un condicional si se niega su consecuente.
		modus ponendo ponens, modus tollendo tollens, modus tollendo ponens y
	culturitalia.uibk.ac.at /hispanoteca/Lexikon%20der%20Linguistik/mo/MODUS%20PONENS%20und%20MODUS%20TOLLENS.htm (289 words)

	Modus ponens (Site not responding. Last check: 2007-10-20)
		Modus ponens (Latin : mode that affirms) is a valid, simple argument form :
		A propositional argument using modus ponens is said to bedeductive.
		See also: modus tollens, affirming the consequent, Denying the antecedent, inferencerule.
	www.therfcc.org /modus-ponens-16599.html (153 words)

	Modus ponens (Site not responding. Last check: 2007-10-20)
		'''Modus ponens''' (Latin: mode that affirms) is a valid, simple argument form (often abbreviated to MP): :If P, then Q. :Therefore, Q. or in logical operator notation: :
		The first premise is the "if-then" or conditional claim, namely that P implies Q. The second premise is that P, the antecedent of the conditional claim, is true.
		Here is an example of an argument that fits the form modus ponens: :If democracy is the best system of government, then everyone should vote.
	modus-ponens.area51.ipupdater.com (287 words)

	Ephilosopher :: Logic and Formal Reasoning :: modus ponens or affirming the consequent (Site not responding. Last check: 2007-10-20)
		This is modus ponens, a valid argument form.
		For example, whether or not #3 would count as modus ponens or affirming the consequent would seem to depend on the intentions of whoever is making the inference.
		In fact, because it is a tautology, that seems to militate for it's being classified as a (perhaps degenerate) case of modus ponens, and not affirming the consequent.
	www.ephilosopher.com /phpBB_14-action-viewtopic-topic-66-start-0.html (1989 words)

	Modus ponens - Open Encyclopedia (Site not responding. Last check: 2007-10-20)
		The fact that the argument is valid cannot assure us that any of the statements in the argument are true; the validity of modus ponens tells us that the conclusion must be true if and only if all the premisses are true.
		If the argument is modus ponens and its premisses are true, then it is sound.
		de:Modus ponens it:Modus ponens pl:Modus ponens sv:Modus ponens
	www.open-encyclopedia.com /Modus_ponens (263 words)

	Blogger: Email Post to a Friend
		I will begin with a slightly edited quote from a discussion on modus ponens or affirming the consequent from www.ephilosopher.com.
		It is obvious to everyone that arguments #1(modus ponens) and #2 (affirming the consequent) quoted above are templates wherein A and B stand for any two (not necessarily distinct) WFF.
		With this modification, argument #3 is modus ponens.
	www.blogger.com /email-post.g?blogID=7904734&postID=110741445526013250 (560 words)

	What is Modus Ponens? (Site not responding. Last check: 2007-10-20)
		Latin: mode that affirms Modus Ponens, also known as Implication-Elimination, is an inference rule stating simply that given an implication and the presence of its premise, the consequent can be taken as true.
		In formal terms, Modus Ponens is generally written as: a => B, a ---------- B Of course, the => symbol is the propositional calculus rule 'implies' with the corresponding truth table of:
		An example of a modus ponens argument is: If Mike Fogus is comin' up, then ya betta get this party started.
	modus-ponens.minotaurcomputing.com /blog/modusponens.html (86 words)

	Modus Ponens (Site not responding. Last check: 2007-10-20)
		Modus Ponens is a rule of inference pertaining to the IF/THEN operator.
		Modus Ponens states that if the antecedent of a conditional is true, then the consequent must also be true.
		If the antecedent ("It is raining") is true, then the consequent ("There are clouds in the sky") must also be true, by Modus Ponens.
	lc.brooklyn.cuny.edu /LeftBarFiles/FromAboutLC/Core5Files/Logic/ponens.html (214 words)

	Modus Ponens Encyclopedia Article, Definition, History, Biography (Site not responding. Last check: 2007-10-20)
		Looking For modus ponens - Find modus ponens and more at Lycos Search.
		Find modus ponens - Your relevant result is a click away!
		Look for modus ponens - Find modus ponens at one of the best sites the Internet has to offer!
	www.jobsinart.com /encyclopedia/Modus_ponens (451 words)

	[No title]
		Canonical form In order to use generalized modus ponens, we must use the canonical form of sentences.
		Canonical form sentences require that each sentence in the knowledge base be in either an atomic sentence or an implication with a conjunction of atomic sentences on the left hand side and a single atom on the right.
		Comparing Modus Ponens with Generalized Modus Ponens This is an example using regular modus ponens and generalized modus ponens to achieve the same conclusion.
	sern.ucalgary.ca /courses/cpsc/533/w02/FOL/InferenceAndFOL.doc (1299 words)

	CmSc180 Arguments
		The rule of universal instantiation can be combined with modus ponens to obtain the rule called universal modus ponens:
		When we combine universal instantiation with modus tollens we have universal modus tollens, the heart of proof by contradiction.
		To prove these two rules we apply universal instantiation and the (unquantified) versions of modus ponens and modus tollens.
	www.simpson.edu /~sinapova/cmsc180/LN180_Gersting/L09-PLArg.htm (490 words)

	[No title]
		¡:~oó3"¨#Example of generalized modus ponens¡$$#$ªª ó4#¨Canonical form¡$(¨ Canonical form for modus ponens requires that each sentence in KB be either an atomic sentence or an implication with a conjunction of atomic sentences on the left hand side and a single atom on the right.
		This is how we found an appropriate substitution in the example of generalized modus ponens: UNIFY (person(x) and person(Bob)) = {x/Bob} UNIFY (eatFruit(x,y) and eatFruit(Bob, Mango)) = {x/Bob, y/Mango} Now using the substitution we get healthy(x) = healthy(Bob) ¡`Þ°þ]°ó7&¨(Why generalized modus ponens are helpful¡")(ª ¨IEfficiency: -it takes bigger steps, combining several small inferences into one.
		And it is based upon the Generalized Modus Ponens The algorithm takes sentences currently in the Knowledge Base and generates new conclusions that can be used to infer even more conclusions.
	sern.ucalgary.ca /courses/cpsc/533/w02/FOL/InferenceAndFOL.ppt (600 words)

	Math Forum - Ask Dr. Math (Site not responding. Last check: 2007-10-20)
		When I asked my teacher, he said to use the Modus Ponens rule and I shouldn't have a problem, but I am.
		Date: 07/10/2001 at 17:55:38 From: Doctor Jaffee Subject: Re: Math logic Hi Erin, The Modus Ponens rule says that if you know that a statement, P, is true and that if P is true, then the statement Q is true, you can conclude that Q is true.
		Your conclusion was that the man was 43 years old in 1849, so that must be the statement Q. Now, what is the mathematical relation between the year a person was born, the current year, and the the person's age?
	mathforum.org /library/drmath/view/55694.html (257 words)

	modus ponens - OneLook Dictionary Search
		Tip: Click on the first link on a line below to go directly to a page where "modus ponens" is defined.
		Modus Ponens : Dictionary of Philosophical Terms and Names [home, info]
		Modus ponens : A Glossary of Mathematical Terms [home, info]
	www.onelook.com /cgi-bin/cgiwrap/bware/dofind.cgi?word=modus+ponens (139 words)

	Propositionally Logical Conclusions - Rules - Modus Ponendo Ponens
		The next rule is sometimes also named Modus Ponens (MP).
		And if you use Modus Ponendo Tollens or Modus Tollendo Ponens as deduced rules in your conclusion it is better to have the more exact name and the appropriate longer abbreviation MPP of it.
		Because of the fact that Dresden is in Germany we can deduce that it is a European city.
	www.informatik.htw-dresden.de /~logic/conclusions/rule7.html (168 words)

Try your search on: Qwika (all wikis)