Mathematical reductio ad absurdum commonly used method-毕业论文翻译.docVIP

Mathematical reductio ad absurdum commonly used method 1 Introduction Mathematical proof of Proposition direct evidence and indirect sub-license and French. In the indirect license law, the most common is the reductio ad absurdum. Although usually we have contact with the relevant knowledge, but more fragmented, its concepts, application steps, and so there is no systematic use of knowledge, and because of the diversity of mathematical propositions, complexity, which proposition is suitable to use reductio ad absurdum is difficult to give precise The answer, this article on the concept of reductio ad absurdum, classification, and what appropriate steps, proceeding from the reductio ad absurdum proof of the issue are summarized. 2 Definition of reductio ad absurdum What is a reductio ad absurdum? French mathematician Adama told it has done a brilliant summary: This card method is that: If the assumption that the theorem certainly deny its conclusions, it will lead to contradictions. Can be seen that the contradictions arising in the use of reasoning to prove some of the conclusions in mathematics, and this is reductio ad absurdum. Reductio ad absurdum is a negation of the original conclusions of starting assumptions, obtained through the correct reasoning (with the axiom, theorem, problem-based, etc.) to contradictory conclusions, due to reasoning and the evidence cited is correct, and therefore can only conclude that the reasons for the contradiction between the is no assumption that the original conclusion was wrong, and thus be the establishment of the original conclusion. By reductio ad absurdum is not a subject from the front to determine the authenticity, but rather to prove its anti-thesis to be false or modified permit its equivalent propositions is true. Click to view full reposted elsewhere in the paper for free download Note: This site all copyright for the gold membership information, only Gold members can view it. Free Paper Download Center