Proof By Contrapositive
In logic, the contrapositive of a conditional statement of the form "if A then B" is formed by negating both terms and reversing the direction of inference. Thus, the contrapositive of the statement "if A, then B" is "if not B, then not A." A statement and its contrapositive are logically equivalent: if the statement is true, then its contrapositive is true, and vice versa.
In logic, proof by contrapositive is a form of proof that establishes the truth or validity of a proposition by demonstrating the truth or validity of the converse of its negated parts.
In other words, to prove by contraposition that, prove that .
Any proof by contrapositive can also be trivially formulated in terms of a Proof by contradiction: To prove the proposition, we consider the opposite, . Since we have a proof that, we have which arrives at the contradiction we want. So proof by contrapositive is in some sense "at least as hard to formulate" as proof by contradiction.
Read more about Proof By Contrapositive: Example
Famous quotes containing the word proof:
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)