Direct proof

From Free net encyclopedia

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.