| Dictionary, Encyclopedia and Thesaurus - The Free Dictionary 3,901,227,695 visitors served. |
Dictionary/ thesaurus | Medical dictionary | Legal dictionary | Financial dictionary | Acronyms | Idioms | Encyclopedia | Wikipedia encyclopedia | ? |
Indirect Proof |
Also found in: Dictionary/thesaurus, Wikipedia | 0.01 sec. |
|
|
indirect proof [‚in·də‚rekt ′pr¨f]
(mathematics) A proof of a proposition in which another theorem is first proven from which the given theorem follows. Indirect Proof the proof in logic of a proposition (thesis), based on the refutation (that is, proof of falsity, proof of negation) of certain other propositions that have certain relations with the thesis. In what is referred to as partitive indirect proof the thesis is one of the terms of a disjunction (propositions of the form “A1, or A2, or …, or, An”) that is known to be true (or is assumed to have been previously proved); the proof itself consists of refuting all members AI of this disjunction except the one being proved. Apagogic indirect proof, or adversive proof, consists of refuting the negation of the thesis to be proved (”antithesis”). If one assumes the truth (or demonstrableness) of the principle of the excluded middle (“A or not-A”), then apagogic indirect proof may be considered to be a particular case of the partitive method. Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content. |
|
| Encyclopedia |
| Free Tools: |
For surfers:
Free toolbar & extensions |
Word of the Day |
Help
For webmasters: Free content | Linking | Lookup box | Double-click lookup |
|---|