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 axioms, existing lemmas and theorems, without making any further assumptions.[1] In order to directly prove a conditional statement of the form "If p, then q", it suffices to consider the situations in which the statement p is true. Logical deduction is employed to reason from assumptions to conclusion. The type of logic employed is almost invariably first-order logic, employing the quantifiers for all and there exists. Common proof rules used are modus ponens and universal instantiation.[2]
In contrast, an indirect proof may begin with certain hypothetical scenarios and then proceed to eliminate the uncertainties in each of these scenarios until an inescapable conclusion is forced. For example, instead of showing directly p ⇒ q, one proves its contrapositive ~q ⇒ ~p (one assumes ~q and shows that it leads to ~p). Since p ⇒ q and ~q ⇒ ~p are equivalent by the principle of transposition (see law of excluded middle), p ⇒ q is indirectly proved. Proof methods that are not direct include proof by contradiction, including proof by infinite descent. Direct proof methods include proof by exhaustion and proof by induction.
^Cupillari, Antonella. The Nuts and Bolts of Proofs. Academic Press, 2001. Page 3.
^C. Gupta, S. Singh, S. Kumar Advanced Discrete Structure. I.K. International Publishing House Pvt. Ltd., 2010. Page 127.
In mathematics and logic, a directproof is a way of showing the truth or falsehood of a given statement by a straightforward combination of established...
The book Proofs from THE BOOK, published in 2003, is devoted to presenting 32 proofs its editors find particularly pleasing. In directproof, the conclusion...
of Euclidean division. The generalization of this proof to any degree is given below in § Directproof. The polynomial remainder theorem follows from the...
Death Proof is a 2007 American action slasher film written and directed by Quentin Tarantino. It stars Kurt Russell as a stuntman who murders young women...
in question holds. This is a method of directproof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i...
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects,...
in the foundations of statistical mechanics. There is a straightforward proof of this theorem. As an introduction, recall that if two events are statistically...
occurs when a person is believed to be dead, despite the absence of directproof of the person's death, such as the finding of remains (e.g., a corpse...
its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its...
In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition...
its original proof Mathematical induction and a proofProof that 0.999... equals 1 Proof that 22/7 exceeds π Proof that e is irrational Proof that π is irrational...
Stromatoporoidea, especially in the Silurian period. Although there is no directproof, it is inferred that these Palaeozoic corals possessed stinging cells...
conjugation. Zassenhaus proved this lemma specifically to give the most directproof of the Schreier refinement theorem. The 'butterfly' becomes apparent...
the solution may be done as in § Existence (constructive proof) or § Existence (directproof). However, the latter construction may be simplified by using...
may be used to produce a program in a more formal manner. For example, proofs of properties or refinement from the specification to a program may be undertaken...
relation can occur in various degrees of strength. These degrees range from directproof of the truth of a hypothesis to weak evidence that is merely consistent...
gives a lower bound of 1/3b2 for the difference |√2 − a/b|, yielding a directproof of irrationality in its constructively stronger form, not relying on...
Proof of Life is a 2000 American action thriller film directed and produced by Taylor Hackford, and starring Meg Ryan and Russell Crowe. The title refers...
focused proofs are a family of analytic proofs that arise through goal-directedproof-search, and are a topic of study in structural proof theory and...