Proof by contradiction
From The Art and Popular Culture Encyclopedia
|
Related e |
|
Featured: |
In logic, proof by contradiction is a form of proof, and more specifically a form of indirect proof, that establishes the truth or validity of a proposition. It starts by assuming that the opposite proposition is true, and then shows that such an assumption leads to a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, proof by assuming the opposite, and reductio ad impossibilem. It is a particular kind of the more general form of argument known as reductio ad absurdum.
[edit]
See also
- Proof by infinite descent, a form of proof by contradiction
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Proof by contradiction" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
