Is Venn diagram sufficient to prove statements for two or three sets?












7














We know the general figure of Venn diagrams for two or three distinct sets.



There are many formulas related to two or three sets.



For example, one of Distributive Law is



$$A cup (B cap C) = (A cup B) cap (A cup C).$$



We can visualize it by using Venn Diagram, and guess that it is true.



And also, we can prove it to show that each side is contained in the other side.



It is my question. For rigorous proof, I know we should only use mathematical logic and theorem. Nonetheless, I want to check that Venn Diagram proof is also available for some easier cases.



Can Venn Diagram be one method of proof?



Can we prove that all proof by using Venn Diagram method for two or three sets is true?



If we prove that, then all statements for two or three sets can be strictly proved by using Venn Diagram.










share|cite|improve this question


















  • 1




    Indeed, the Venn diagram is one method of proof.
    – Wuestenfux
    2 days ago






  • 1




    Related question: under what circumstances is a Venn diagram for more than three sets drawable?
    – timtfj
    yesterday
















7














We know the general figure of Venn diagrams for two or three distinct sets.



There are many formulas related to two or three sets.



For example, one of Distributive Law is



$$A cup (B cap C) = (A cup B) cap (A cup C).$$



We can visualize it by using Venn Diagram, and guess that it is true.



And also, we can prove it to show that each side is contained in the other side.



It is my question. For rigorous proof, I know we should only use mathematical logic and theorem. Nonetheless, I want to check that Venn Diagram proof is also available for some easier cases.



Can Venn Diagram be one method of proof?



Can we prove that all proof by using Venn Diagram method for two or three sets is true?



If we prove that, then all statements for two or three sets can be strictly proved by using Venn Diagram.










share|cite|improve this question


















  • 1




    Indeed, the Venn diagram is one method of proof.
    – Wuestenfux
    2 days ago






  • 1




    Related question: under what circumstances is a Venn diagram for more than three sets drawable?
    – timtfj
    yesterday














7












7








7


1





We know the general figure of Venn diagrams for two or three distinct sets.



There are many formulas related to two or three sets.



For example, one of Distributive Law is



$$A cup (B cap C) = (A cup B) cap (A cup C).$$



We can visualize it by using Venn Diagram, and guess that it is true.



And also, we can prove it to show that each side is contained in the other side.



It is my question. For rigorous proof, I know we should only use mathematical logic and theorem. Nonetheless, I want to check that Venn Diagram proof is also available for some easier cases.



Can Venn Diagram be one method of proof?



Can we prove that all proof by using Venn Diagram method for two or three sets is true?



If we prove that, then all statements for two or three sets can be strictly proved by using Venn Diagram.










share|cite|improve this question













We know the general figure of Venn diagrams for two or three distinct sets.



There are many formulas related to two or three sets.



For example, one of Distributive Law is



$$A cup (B cap C) = (A cup B) cap (A cup C).$$



We can visualize it by using Venn Diagram, and guess that it is true.



And also, we can prove it to show that each side is contained in the other side.



It is my question. For rigorous proof, I know we should only use mathematical logic and theorem. Nonetheless, I want to check that Venn Diagram proof is also available for some easier cases.



Can Venn Diagram be one method of proof?



Can we prove that all proof by using Venn Diagram method for two or three sets is true?



If we prove that, then all statements for two or three sets can be strictly proved by using Venn Diagram.







elementary-set-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 2 days ago









Doyun Nam

3439




3439








  • 1




    Indeed, the Venn diagram is one method of proof.
    – Wuestenfux
    2 days ago






  • 1




    Related question: under what circumstances is a Venn diagram for more than three sets drawable?
    – timtfj
    yesterday














  • 1




    Indeed, the Venn diagram is one method of proof.
    – Wuestenfux
    2 days ago






  • 1




    Related question: under what circumstances is a Venn diagram for more than three sets drawable?
    – timtfj
    yesterday








1




1




Indeed, the Venn diagram is one method of proof.
– Wuestenfux
2 days ago




Indeed, the Venn diagram is one method of proof.
– Wuestenfux
2 days ago




1




1




Related question: under what circumstances is a Venn diagram for more than three sets drawable?
– timtfj
yesterday




Related question: under what circumstances is a Venn diagram for more than three sets drawable?
– timtfj
yesterday










5 Answers
5






active

oldest

votes


















10














Venn diagrams are not a formal proof, nor a substitute for it, just an illustrative tool that can be useful as a guiding tool for your narrative/proof.



If writing a formal proof for this law, you will need to show



$$A cup (B cap C) subseteq (A cup B) cap (A cup C) ;;; text{and} ;;; (A cup B) cap (A cup C) subseteq A cup (B cap C)$$



and then use the fact that if $X subseteq Y$ and $Y subseteq X$, then $X = Y$.



If you don't need formality, then in the appropriate context it can be used, I suppose. And, up to your ability to produce said diagrams, you could use a Venn diagram of $n$ circles, depending on what you're proving, but it gets messy quick so I wouldn't recommend it for more than $3$ sets.



In short, it depends on the level of formality that is expected of you. There's no denying that Venn diagrams in contexts like these are super, super helpful in illustrating concepts, and can be taken as a sort of heuristic proof, but they are not a substitute for formal proofs.





I say this in light of the assumption that you are probably encountering this in a class of some sort like a number of questions here. Classes in set theory, generally, will expect formality, not Venn diagrams, for example. In research, publications, journals, etc., things are much, much murkier depending on the context.






share|cite|improve this answer





















  • Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
    – NoLongerBreathedIn
    8 hours ago



















5














I think that this is a case of "consider the audience".



If the proof is intended for research-level mathematics, I can't imagine a scenario where a Venn diagram would be necessary because any statement that can be sensibly encoded in a Venn diagram is probably elementary enough to not require a proof.



If the proof is from a student studying a topic, then this depends on the teacher's expectations. If they are teaching you formal proof techniques, then a Venn diagram would probably not be sufficient because the student would be missing the point of the exercise. This might depend on the level of the course though.



If I were teaching a proof writing course to math majors, I would not consider a Venn diagram to be sufficient. If I were teaching an intro to discrete math for CS or science majors, then I would accept a Venn diagram if it was accompanied by a sentence or two explaining why it shows what the author is claiming it shows.






share|cite|improve this answer





























    2














    That the two sets are equal is equivalent to showing that an arbitrary element $x$ is a member of the left hand side if and only if it is a member of the right hand side. Now that will depend only on which of the statements $xin A$, $xin B$, $xin C$ hold. Therefore it suffices to check eight cases. This corresponds to looking at the eight regions of a Venn diagram for three sets. So, yes, a proof by Venn diagram is valid in this case.






    share|cite|improve this answer





























      2














      I think the second part of the question amounts to "can we formally define a set of equivalences between features of a Venn diagram, and symbols and operators of set theory, such that every Venn diagram proof is equivalent to a formal proof using the operators and symbols?"



      It seems to me that this might be possible in a very restricted way, but will run into difficulties because of things like needing to distinguish between open and closed sets, $subset$ and $subseteq$, so on. So we'd have to be very careful about which relations can be included in the system, and would probably find rather quickly that there weren't enough of them for our purposes.



      I think it could probably be made to work for a defined class of simple identities that met certain preconditions—but that the preconditions would be so restrictive that we wouldn't find a "formal Venn diagram method" particularly useful.



      Example of the problem



      What does this diagram tell us about $A$, $B$ and $x$?



      A set, a subset and an element of the subset.



      We probably want this:





      • $x$ is represented as a point inside the boundary of the area representing $A$; this is defined to mean $xin A$.

      • Similarly, $xin B$.

      • The boundary of the area representing $A$ is wholly inside that of the area representing $B$: this is defined to mean $Asubset B$.


      Already some limitations are apparent:




      • We've defined the boundary of $A$ being inside that of $B$ to mean $Asubset B$. That's fine, but how will we represent $Asubseteq B$?

      • There's an area on the drawing which represents $B-A$. Is it meant to contain any elements? If not, how do we avoid being misled by it?

      • What about points on the boundary between $A$ and $B$? Which set do they belong to? (Equivalently, is $A$ open or closed?)


      Ultimately, the issue is this: the diagram is a region of $2$-dimensional space, of which areas on the diagram are subsets. However, we can't necessarily give these subsets the same properties as the sets they represent. In particular, we can't necessarily avoid giving them extra, unwanted properties—such as all subsets being represented by proper subsets.






      share|cite|improve this answer























      • My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
        – Mark S.
        yesterday










      • I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
        – David K
        yesterday










      • @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
        – timtfj
        12 hours ago










      • @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
        – timtfj
        12 hours ago






      • 1




        @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
        – timtfj
        11 hours ago



















      1














      I would say that Venn diagrams are not good for formal proofs, but great if you have to say whether a formula is a tautology or not - just check for any counter-example and if you find one, then the formula is not a law.






      share|cite|improve this answer





















        Your Answer





        StackExchange.ifUsing("editor", function () {
        return StackExchange.using("mathjaxEditing", function () {
        StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
        StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
        });
        });
        }, "mathjax-editing");

        StackExchange.ready(function() {
        var channelOptions = {
        tags: "".split(" "),
        id: "69"
        };
        initTagRenderer("".split(" "), "".split(" "), channelOptions);

        StackExchange.using("externalEditor", function() {
        // Have to fire editor after snippets, if snippets enabled
        if (StackExchange.settings.snippets.snippetsEnabled) {
        StackExchange.using("snippets", function() {
        createEditor();
        });
        }
        else {
        createEditor();
        }
        });

        function createEditor() {
        StackExchange.prepareEditor({
        heartbeatType: 'answer',
        autoActivateHeartbeat: false,
        convertImagesToLinks: true,
        noModals: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader: {
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        },
        noCode: true, onDemand: true,
        discardSelector: ".discard-answer"
        ,immediatelyShowMarkdownHelp:true
        });


        }
        });














        draft saved

        draft discarded


















        StackExchange.ready(
        function () {
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3053746%2fis-venn-diagram-sufficient-to-prove-statements-for-two-or-three-sets%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        5 Answers
        5






        active

        oldest

        votes








        5 Answers
        5






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        10














        Venn diagrams are not a formal proof, nor a substitute for it, just an illustrative tool that can be useful as a guiding tool for your narrative/proof.



        If writing a formal proof for this law, you will need to show



        $$A cup (B cap C) subseteq (A cup B) cap (A cup C) ;;; text{and} ;;; (A cup B) cap (A cup C) subseteq A cup (B cap C)$$



        and then use the fact that if $X subseteq Y$ and $Y subseteq X$, then $X = Y$.



        If you don't need formality, then in the appropriate context it can be used, I suppose. And, up to your ability to produce said diagrams, you could use a Venn diagram of $n$ circles, depending on what you're proving, but it gets messy quick so I wouldn't recommend it for more than $3$ sets.



        In short, it depends on the level of formality that is expected of you. There's no denying that Venn diagrams in contexts like these are super, super helpful in illustrating concepts, and can be taken as a sort of heuristic proof, but they are not a substitute for formal proofs.





        I say this in light of the assumption that you are probably encountering this in a class of some sort like a number of questions here. Classes in set theory, generally, will expect formality, not Venn diagrams, for example. In research, publications, journals, etc., things are much, much murkier depending on the context.






        share|cite|improve this answer





















        • Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
          – NoLongerBreathedIn
          8 hours ago
















        10














        Venn diagrams are not a formal proof, nor a substitute for it, just an illustrative tool that can be useful as a guiding tool for your narrative/proof.



        If writing a formal proof for this law, you will need to show



        $$A cup (B cap C) subseteq (A cup B) cap (A cup C) ;;; text{and} ;;; (A cup B) cap (A cup C) subseteq A cup (B cap C)$$



        and then use the fact that if $X subseteq Y$ and $Y subseteq X$, then $X = Y$.



        If you don't need formality, then in the appropriate context it can be used, I suppose. And, up to your ability to produce said diagrams, you could use a Venn diagram of $n$ circles, depending on what you're proving, but it gets messy quick so I wouldn't recommend it for more than $3$ sets.



        In short, it depends on the level of formality that is expected of you. There's no denying that Venn diagrams in contexts like these are super, super helpful in illustrating concepts, and can be taken as a sort of heuristic proof, but they are not a substitute for formal proofs.





        I say this in light of the assumption that you are probably encountering this in a class of some sort like a number of questions here. Classes in set theory, generally, will expect formality, not Venn diagrams, for example. In research, publications, journals, etc., things are much, much murkier depending on the context.






        share|cite|improve this answer





















        • Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
          – NoLongerBreathedIn
          8 hours ago














        10












        10








        10






        Venn diagrams are not a formal proof, nor a substitute for it, just an illustrative tool that can be useful as a guiding tool for your narrative/proof.



        If writing a formal proof for this law, you will need to show



        $$A cup (B cap C) subseteq (A cup B) cap (A cup C) ;;; text{and} ;;; (A cup B) cap (A cup C) subseteq A cup (B cap C)$$



        and then use the fact that if $X subseteq Y$ and $Y subseteq X$, then $X = Y$.



        If you don't need formality, then in the appropriate context it can be used, I suppose. And, up to your ability to produce said diagrams, you could use a Venn diagram of $n$ circles, depending on what you're proving, but it gets messy quick so I wouldn't recommend it for more than $3$ sets.



        In short, it depends on the level of formality that is expected of you. There's no denying that Venn diagrams in contexts like these are super, super helpful in illustrating concepts, and can be taken as a sort of heuristic proof, but they are not a substitute for formal proofs.





        I say this in light of the assumption that you are probably encountering this in a class of some sort like a number of questions here. Classes in set theory, generally, will expect formality, not Venn diagrams, for example. In research, publications, journals, etc., things are much, much murkier depending on the context.






        share|cite|improve this answer












        Venn diagrams are not a formal proof, nor a substitute for it, just an illustrative tool that can be useful as a guiding tool for your narrative/proof.



        If writing a formal proof for this law, you will need to show



        $$A cup (B cap C) subseteq (A cup B) cap (A cup C) ;;; text{and} ;;; (A cup B) cap (A cup C) subseteq A cup (B cap C)$$



        and then use the fact that if $X subseteq Y$ and $Y subseteq X$, then $X = Y$.



        If you don't need formality, then in the appropriate context it can be used, I suppose. And, up to your ability to produce said diagrams, you could use a Venn diagram of $n$ circles, depending on what you're proving, but it gets messy quick so I wouldn't recommend it for more than $3$ sets.



        In short, it depends on the level of formality that is expected of you. There's no denying that Venn diagrams in contexts like these are super, super helpful in illustrating concepts, and can be taken as a sort of heuristic proof, but they are not a substitute for formal proofs.





        I say this in light of the assumption that you are probably encountering this in a class of some sort like a number of questions here. Classes in set theory, generally, will expect formality, not Venn diagrams, for example. In research, publications, journals, etc., things are much, much murkier depending on the context.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        Eevee Trainer

        4,090530




        4,090530












        • Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
          – NoLongerBreathedIn
          8 hours ago


















        • Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
          – NoLongerBreathedIn
          8 hours ago
















        Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
        – NoLongerBreathedIn
        8 hours ago




        Technically, you don't want circles; there are no Venn diagrams of more than three sets with circles.
        – NoLongerBreathedIn
        8 hours ago











        5














        I think that this is a case of "consider the audience".



        If the proof is intended for research-level mathematics, I can't imagine a scenario where a Venn diagram would be necessary because any statement that can be sensibly encoded in a Venn diagram is probably elementary enough to not require a proof.



        If the proof is from a student studying a topic, then this depends on the teacher's expectations. If they are teaching you formal proof techniques, then a Venn diagram would probably not be sufficient because the student would be missing the point of the exercise. This might depend on the level of the course though.



        If I were teaching a proof writing course to math majors, I would not consider a Venn diagram to be sufficient. If I were teaching an intro to discrete math for CS or science majors, then I would accept a Venn diagram if it was accompanied by a sentence or two explaining why it shows what the author is claiming it shows.






        share|cite|improve this answer


























          5














          I think that this is a case of "consider the audience".



          If the proof is intended for research-level mathematics, I can't imagine a scenario where a Venn diagram would be necessary because any statement that can be sensibly encoded in a Venn diagram is probably elementary enough to not require a proof.



          If the proof is from a student studying a topic, then this depends on the teacher's expectations. If they are teaching you formal proof techniques, then a Venn diagram would probably not be sufficient because the student would be missing the point of the exercise. This might depend on the level of the course though.



          If I were teaching a proof writing course to math majors, I would not consider a Venn diagram to be sufficient. If I were teaching an intro to discrete math for CS or science majors, then I would accept a Venn diagram if it was accompanied by a sentence or two explaining why it shows what the author is claiming it shows.






          share|cite|improve this answer
























            5












            5








            5






            I think that this is a case of "consider the audience".



            If the proof is intended for research-level mathematics, I can't imagine a scenario where a Venn diagram would be necessary because any statement that can be sensibly encoded in a Venn diagram is probably elementary enough to not require a proof.



            If the proof is from a student studying a topic, then this depends on the teacher's expectations. If they are teaching you formal proof techniques, then a Venn diagram would probably not be sufficient because the student would be missing the point of the exercise. This might depend on the level of the course though.



            If I were teaching a proof writing course to math majors, I would not consider a Venn diagram to be sufficient. If I were teaching an intro to discrete math for CS or science majors, then I would accept a Venn diagram if it was accompanied by a sentence or two explaining why it shows what the author is claiming it shows.






            share|cite|improve this answer












            I think that this is a case of "consider the audience".



            If the proof is intended for research-level mathematics, I can't imagine a scenario where a Venn diagram would be necessary because any statement that can be sensibly encoded in a Venn diagram is probably elementary enough to not require a proof.



            If the proof is from a student studying a topic, then this depends on the teacher's expectations. If they are teaching you formal proof techniques, then a Venn diagram would probably not be sufficient because the student would be missing the point of the exercise. This might depend on the level of the course though.



            If I were teaching a proof writing course to math majors, I would not consider a Venn diagram to be sufficient. If I were teaching an intro to discrete math for CS or science majors, then I would accept a Venn diagram if it was accompanied by a sentence or two explaining why it shows what the author is claiming it shows.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered yesterday









            Sean English

            3,274719




            3,274719























                2














                That the two sets are equal is equivalent to showing that an arbitrary element $x$ is a member of the left hand side if and only if it is a member of the right hand side. Now that will depend only on which of the statements $xin A$, $xin B$, $xin C$ hold. Therefore it suffices to check eight cases. This corresponds to looking at the eight regions of a Venn diagram for three sets. So, yes, a proof by Venn diagram is valid in this case.






                share|cite|improve this answer


























                  2














                  That the two sets are equal is equivalent to showing that an arbitrary element $x$ is a member of the left hand side if and only if it is a member of the right hand side. Now that will depend only on which of the statements $xin A$, $xin B$, $xin C$ hold. Therefore it suffices to check eight cases. This corresponds to looking at the eight regions of a Venn diagram for three sets. So, yes, a proof by Venn diagram is valid in this case.






                  share|cite|improve this answer
























                    2












                    2








                    2






                    That the two sets are equal is equivalent to showing that an arbitrary element $x$ is a member of the left hand side if and only if it is a member of the right hand side. Now that will depend only on which of the statements $xin A$, $xin B$, $xin C$ hold. Therefore it suffices to check eight cases. This corresponds to looking at the eight regions of a Venn diagram for three sets. So, yes, a proof by Venn diagram is valid in this case.






                    share|cite|improve this answer












                    That the two sets are equal is equivalent to showing that an arbitrary element $x$ is a member of the left hand side if and only if it is a member of the right hand side. Now that will depend only on which of the statements $xin A$, $xin B$, $xin C$ hold. Therefore it suffices to check eight cases. This corresponds to looking at the eight regions of a Venn diagram for three sets. So, yes, a proof by Venn diagram is valid in this case.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered yesterday









                    Carsten S

                    6,88311334




                    6,88311334























                        2














                        I think the second part of the question amounts to "can we formally define a set of equivalences between features of a Venn diagram, and symbols and operators of set theory, such that every Venn diagram proof is equivalent to a formal proof using the operators and symbols?"



                        It seems to me that this might be possible in a very restricted way, but will run into difficulties because of things like needing to distinguish between open and closed sets, $subset$ and $subseteq$, so on. So we'd have to be very careful about which relations can be included in the system, and would probably find rather quickly that there weren't enough of them for our purposes.



                        I think it could probably be made to work for a defined class of simple identities that met certain preconditions—but that the preconditions would be so restrictive that we wouldn't find a "formal Venn diagram method" particularly useful.



                        Example of the problem



                        What does this diagram tell us about $A$, $B$ and $x$?



                        A set, a subset and an element of the subset.



                        We probably want this:





                        • $x$ is represented as a point inside the boundary of the area representing $A$; this is defined to mean $xin A$.

                        • Similarly, $xin B$.

                        • The boundary of the area representing $A$ is wholly inside that of the area representing $B$: this is defined to mean $Asubset B$.


                        Already some limitations are apparent:




                        • We've defined the boundary of $A$ being inside that of $B$ to mean $Asubset B$. That's fine, but how will we represent $Asubseteq B$?

                        • There's an area on the drawing which represents $B-A$. Is it meant to contain any elements? If not, how do we avoid being misled by it?

                        • What about points on the boundary between $A$ and $B$? Which set do they belong to? (Equivalently, is $A$ open or closed?)


                        Ultimately, the issue is this: the diagram is a region of $2$-dimensional space, of which areas on the diagram are subsets. However, we can't necessarily give these subsets the same properties as the sets they represent. In particular, we can't necessarily avoid giving them extra, unwanted properties—such as all subsets being represented by proper subsets.






                        share|cite|improve this answer























                        • My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                          – Mark S.
                          yesterday










                        • I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                          – David K
                          yesterday










                        • @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                          – timtfj
                          12 hours ago










                        • @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                          – timtfj
                          12 hours ago






                        • 1




                          @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                          – timtfj
                          11 hours ago
















                        2














                        I think the second part of the question amounts to "can we formally define a set of equivalences between features of a Venn diagram, and symbols and operators of set theory, such that every Venn diagram proof is equivalent to a formal proof using the operators and symbols?"



                        It seems to me that this might be possible in a very restricted way, but will run into difficulties because of things like needing to distinguish between open and closed sets, $subset$ and $subseteq$, so on. So we'd have to be very careful about which relations can be included in the system, and would probably find rather quickly that there weren't enough of them for our purposes.



                        I think it could probably be made to work for a defined class of simple identities that met certain preconditions—but that the preconditions would be so restrictive that we wouldn't find a "formal Venn diagram method" particularly useful.



                        Example of the problem



                        What does this diagram tell us about $A$, $B$ and $x$?



                        A set, a subset and an element of the subset.



                        We probably want this:





                        • $x$ is represented as a point inside the boundary of the area representing $A$; this is defined to mean $xin A$.

                        • Similarly, $xin B$.

                        • The boundary of the area representing $A$ is wholly inside that of the area representing $B$: this is defined to mean $Asubset B$.


                        Already some limitations are apparent:




                        • We've defined the boundary of $A$ being inside that of $B$ to mean $Asubset B$. That's fine, but how will we represent $Asubseteq B$?

                        • There's an area on the drawing which represents $B-A$. Is it meant to contain any elements? If not, how do we avoid being misled by it?

                        • What about points on the boundary between $A$ and $B$? Which set do they belong to? (Equivalently, is $A$ open or closed?)


                        Ultimately, the issue is this: the diagram is a region of $2$-dimensional space, of which areas on the diagram are subsets. However, we can't necessarily give these subsets the same properties as the sets they represent. In particular, we can't necessarily avoid giving them extra, unwanted properties—such as all subsets being represented by proper subsets.






                        share|cite|improve this answer























                        • My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                          – Mark S.
                          yesterday










                        • I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                          – David K
                          yesterday










                        • @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                          – timtfj
                          12 hours ago










                        • @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                          – timtfj
                          12 hours ago






                        • 1




                          @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                          – timtfj
                          11 hours ago














                        2












                        2








                        2






                        I think the second part of the question amounts to "can we formally define a set of equivalences between features of a Venn diagram, and symbols and operators of set theory, such that every Venn diagram proof is equivalent to a formal proof using the operators and symbols?"



                        It seems to me that this might be possible in a very restricted way, but will run into difficulties because of things like needing to distinguish between open and closed sets, $subset$ and $subseteq$, so on. So we'd have to be very careful about which relations can be included in the system, and would probably find rather quickly that there weren't enough of them for our purposes.



                        I think it could probably be made to work for a defined class of simple identities that met certain preconditions—but that the preconditions would be so restrictive that we wouldn't find a "formal Venn diagram method" particularly useful.



                        Example of the problem



                        What does this diagram tell us about $A$, $B$ and $x$?



                        A set, a subset and an element of the subset.



                        We probably want this:





                        • $x$ is represented as a point inside the boundary of the area representing $A$; this is defined to mean $xin A$.

                        • Similarly, $xin B$.

                        • The boundary of the area representing $A$ is wholly inside that of the area representing $B$: this is defined to mean $Asubset B$.


                        Already some limitations are apparent:




                        • We've defined the boundary of $A$ being inside that of $B$ to mean $Asubset B$. That's fine, but how will we represent $Asubseteq B$?

                        • There's an area on the drawing which represents $B-A$. Is it meant to contain any elements? If not, how do we avoid being misled by it?

                        • What about points on the boundary between $A$ and $B$? Which set do they belong to? (Equivalently, is $A$ open or closed?)


                        Ultimately, the issue is this: the diagram is a region of $2$-dimensional space, of which areas on the diagram are subsets. However, we can't necessarily give these subsets the same properties as the sets they represent. In particular, we can't necessarily avoid giving them extra, unwanted properties—such as all subsets being represented by proper subsets.






                        share|cite|improve this answer














                        I think the second part of the question amounts to "can we formally define a set of equivalences between features of a Venn diagram, and symbols and operators of set theory, such that every Venn diagram proof is equivalent to a formal proof using the operators and symbols?"



                        It seems to me that this might be possible in a very restricted way, but will run into difficulties because of things like needing to distinguish between open and closed sets, $subset$ and $subseteq$, so on. So we'd have to be very careful about which relations can be included in the system, and would probably find rather quickly that there weren't enough of them for our purposes.



                        I think it could probably be made to work for a defined class of simple identities that met certain preconditions—but that the preconditions would be so restrictive that we wouldn't find a "formal Venn diagram method" particularly useful.



                        Example of the problem



                        What does this diagram tell us about $A$, $B$ and $x$?



                        A set, a subset and an element of the subset.



                        We probably want this:





                        • $x$ is represented as a point inside the boundary of the area representing $A$; this is defined to mean $xin A$.

                        • Similarly, $xin B$.

                        • The boundary of the area representing $A$ is wholly inside that of the area representing $B$: this is defined to mean $Asubset B$.


                        Already some limitations are apparent:




                        • We've defined the boundary of $A$ being inside that of $B$ to mean $Asubset B$. That's fine, but how will we represent $Asubseteq B$?

                        • There's an area on the drawing which represents $B-A$. Is it meant to contain any elements? If not, how do we avoid being misled by it?

                        • What about points on the boundary between $A$ and $B$? Which set do they belong to? (Equivalently, is $A$ open or closed?)


                        Ultimately, the issue is this: the diagram is a region of $2$-dimensional space, of which areas on the diagram are subsets. However, we can't necessarily give these subsets the same properties as the sets they represent. In particular, we can't necessarily avoid giving them extra, unwanted properties—such as all subsets being represented by proper subsets.







                        share|cite|improve this answer














                        share|cite|improve this answer



                        share|cite|improve this answer








                        edited yesterday

























                        answered yesterday









                        timtfj

                        984317




                        984317












                        • My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                          – Mark S.
                          yesterday










                        • I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                          – David K
                          yesterday










                        • @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                          – timtfj
                          12 hours ago










                        • @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                          – timtfj
                          12 hours ago






                        • 1




                          @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                          – timtfj
                          11 hours ago


















                        • My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                          – Mark S.
                          yesterday










                        • I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                          – David K
                          yesterday










                        • @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                          – timtfj
                          12 hours ago










                        • @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                          – timtfj
                          12 hours ago






                        • 1




                          @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                          – timtfj
                          11 hours ago
















                        My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                        – Mark S.
                        yesterday




                        My gut says this could be worked on and turned basically into something equivalent to truth tables. It's reminiscent of Lewis Carroll's symbolic logic (before modern logic was standardized).
                        – Mark S.
                        yesterday












                        I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                        – David K
                        yesterday




                        I think the general rule would be that a region in the figure may or may not represent any elements of the sets (unless an element such as $x$ is explicitly shown) and that elements never occur on the boundaries between regions. You can still go wrong by forgetting these rules, but then you can go wrong even using the most formal methods if you forget the rules.
                        – David K
                        yesterday












                        @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                        – timtfj
                        12 hours ago




                        @MarkS.when I saw the question I immediately thought of Karnaugh maps, which I had a lot of dealings with at university (in connection with digital circuit design). They're used mainly as a graphical way of simplifying Boolean expressions, which makes them pretty close to set theory. ("Mainly" since they're also used to find "overlapping" expressions, which is important in preventing momentary erroneous outputs when an input changes.)
                        – timtfj
                        12 hours ago












                        @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                        – timtfj
                        12 hours ago




                        @DavidK The no points on a boundary rule would actually allow open and closed sets, wouldn't it—it makes the drawn boundaries into symbolic ones in a "cut" that can be as wide as we like. There's nothing to say that the representation of $[0,1)$ has to be right next to the representation of $ [1,2]$
                        – timtfj
                        12 hours ago




                        1




                        1




                        @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                        – timtfj
                        11 hours ago




                        @DavidK I've also a sneaking suspicion that iin the process of proving the system worked, we'd already have done most of the proofs anyone would want to use it for. (And a suspicion that someone in the 19th century probably had a go!)
                        – timtfj
                        11 hours ago











                        1














                        I would say that Venn diagrams are not good for formal proofs, but great if you have to say whether a formula is a tautology or not - just check for any counter-example and if you find one, then the formula is not a law.






                        share|cite|improve this answer


























                          1














                          I would say that Venn diagrams are not good for formal proofs, but great if you have to say whether a formula is a tautology or not - just check for any counter-example and if you find one, then the formula is not a law.






                          share|cite|improve this answer
























                            1












                            1








                            1






                            I would say that Venn diagrams are not good for formal proofs, but great if you have to say whether a formula is a tautology or not - just check for any counter-example and if you find one, then the formula is not a law.






                            share|cite|improve this answer












                            I would say that Venn diagrams are not good for formal proofs, but great if you have to say whether a formula is a tautology or not - just check for any counter-example and if you find one, then the formula is not a law.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered yesterday









                            whiskeyo

                            536




                            536






























                                draft saved

                                draft discarded




















































                                Thanks for contributing an answer to Mathematics Stack Exchange!


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                Use MathJax to format equations. MathJax reference.


                                To learn more, see our tips on writing great answers.





                                Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                                Please pay close attention to the following guidance:


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                To learn more, see our tips on writing great answers.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function () {
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3053746%2fis-venn-diagram-sufficient-to-prove-statements-for-two-or-three-sets%23new-answer', 'question_page');
                                }
                                );

                                Post as a guest















                                Required, but never shown





















































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown

































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown







                                Popular posts from this blog

                                Monofisismo

                                Angular Downloading a file using contenturl with Basic Authentication

                                Olmecas