Direct proof
Encyclopedia : D : DI : DIR : Direct proof
In mathematics and logic, a direct proof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually existing lemmas and theorems, without making any further assumptions. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first order predicate logic, employing the quantifiers for all and there exists. The most common proof rule used is modus ponens, the second most common modus tollens. Transposition and disjunctive syllogism are also very useful.
In contrast, an indirect proof begins with certain hypothetical scenarios and then proceed to eliminate the uncertainties in each of these scenarios until an inescapable conclusion is forced.
In order to directly prove a conditional statement of the form "If p, then q", it is only necessary to consider situations where the statement p is true.
Example
What follows is a simple, direct proof that the sum of two even integers is always even.
Consider two even integers [x] and [y]. Since they are even, they can be written as [x=2a] and [y=2b] respectively for smaller integers [a] and [b]. Then the sum [x+y = 2a + 2b = 2(a+b)]. From this it is clear that 2 is a factor of [x+y], so the sum of two even integers is always even.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.