Elementary Set Theory – Why Venn Diagrams Don’t Count as Formal Proofs

elementary-set-theoryproof-writing

Just curious. If the purpose of a proof is to inform and persuade, why don't Venn diagrams count? Is it just convention or is there a more, umm, formal reason haha. Thanks!

Best Answer

I don't know exactly what you have written, but I would venture to say that anything you "prove" with Venn diagrams probably has an extremely direct translation into set theory, which would certainly be an acceptable form of proof.

The strongest reason to not let you just use a Venn diagram alone is that your teacher probably wants you to verbalize your explanation. This is a key part of mathematics. Drawing a picture can really help illustrate the idea involved, but it does not always explain the connection to the logic you are working within.

There is also a huge drawback to proving things by Venn diagram: your visual preconceptions may fool you into making a mistake. This cannot happen (or happens to a much smaller degree) when you work in the language of set theory.

Related Question