Simple Proof Using Venn Diagrams
Consider the Venn diagram on the right. It appears clear that if something is in A, it must be in B, as well. We can rephrase all A is (in) B as
It is also clear that anything that is not within B can not be within A, either. This statement,
is the contrapositive. Therefore we can say that
Practically speaking, this may make life much easier when trying to prove something. For example, if we want to prove that every girl in the United States (A) is blonde (B), we can either try to directly prove by checking all girls in the United States to see if they are all blonde. Alternatively, we can try to prove by checking all non-blonde girls to see if they are all outside the US. This means that if we find at least one non-blonde girl within the US, we will have disproved, and equivalently .
To conclude, for any statement where A implies B, then not B always implies not A. Proving or disproving either one of these statements automatically proves or disproves the other. They are fully equivalent.
Read more about this topic: Contraposition
Famous quotes containing the words simple, proof and/or diagrams:
“Although military, economic and political strength certainly favors the more powerful side, the matter of simple justice is a counterbalancing factor.”
—Jimmy Carter (James Earl Carter, Jr.)
“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)
“Professors could silence me then; they had figures, diagrams, maps, books.... I was learning that books and diagrams can be evil things if they deaden the mind of man and make him blind or cynical before subjection of any kind.”
—Agnes Smedley (1890–1950)