Talk:Venn diagram

From formulasearchengine
Jump to navigation Jump to search

Template:Former TAFI Template:WikiProjectBannerShell

2002/03 discussion

I drew these using jave.de and I'm aching for the same kind of graphical draw tool as found over at twiki, the twikidraw...I've raised the idea at the village pump... just finding a java person that knows enough about xml to write to the expat library in php...that's all ;) dennisdaniels


I just came looking for the answer to this question - are there sets of sets that cannot be represented by a 2D venn diagram? If so, how about if you extend the diagram to more than 2 dimensions? If somebody knows the answer, it should be included in the article, I think. -- Khendon 10:08 Sep 30, 2002 (UTC)


What's the difference between a Venn diagram and an Euler diagram? The article doesn't even hint at that. Both of the diagrams shown are Venn diagrams, as I have alwasy understood the term. Are they also both Euler diagrams? Michael Hardy 23:57 4 Jul 2003 (UTC)

They're pretty much the same, except for the name. Mathematicians felt sorry for John Venn, so they named it after him. It's in the article and external link. Poor Yorick 00:04 5 Jul 2003 (UTC)

The page could use some mathematical markup. Like: A is a proper subset of B is written as: A (a rotated U) B, someone know how to make those symbols? BL 19:04, 7 Sep 2003 (UTC)

Anthony Edwards link

I don't think it links to the right Mr. Edwards. T0pem0 11:30, 14 Apr 2004 (UTC)


I am in a Probability Theory class.. and today was like the 3rd day of class. We were talking about Venn Diagrams, and I swear I heard the professor say
"Those are venn diagrams and I encourage you to use them when you think about sex"

So I'm sitting in class, trying to figure out how Venn Diagrams can be applied to sex before I come to the realization that he said "SETS", not sex. Oh well, so much for math being frightfully interesting.


Merge from euler diagram

I'm fairly sure these are one and the same, as discussed above. I think Euler diagram should redirect to here and a note made on name variation. There may be some content in Euler diagram worht keeping. --Salix alba (talk) 18:52, 18 January 2006 (UTC)

It looks like Venn diagrams are subsets of Euler diagrams, not the other way around, so it'd have to be merged into Euler diagram, which would be a bad idea because Euler diagrams aren't as well-known. --AySz88^-^ 03:14, 19 January 2006 (UTC)

Yes there does seem to be some confusion. At [Stanford Encyclopedia of Philosophy] they mention Venn's Primary diagrams, which are what we are calling Venn diagrams. It would be good to make the destinction clear. I've a feeling some people do refer to Euler diagrams as Venn diagrams and we should make this clear. --Salix alba (talk) 17:17, 19 January 2006 (UTC)

Johnston Diagrams

The pictures given for these are all said to be Edwards-Venn diagrams on their respective pages, and the page on A. W. F. Edwards has the picture of the six-set one with the caption "Six-set Edwards-Venn diagram". Are they the same thing, or the wrong graphic? --Nucleusboy 23:50, 31 January 2006 (UTC) Check the article now especially the review of cogwheels, that should clarify your question. --Salix alba (talk) 03:00, 1 February 2006 (UTC)

Similar diagrams

I don't think the Euler, Johnstone etc. should be on the page as it stands, since they are not Venn diagrams - at most they should be wikilinked from a See Also section or similar. — SteveRwanda 12:49, 24 March 2006 (UTC)

Difference between Venn and Euler diagrams

Contrary to what Poor Yorick writes above, the key difference between Venn and Euler diagrams is this - Venn diagrams explicitly represent the universe of possibilities by enclosing all the circles in a rectangle. This was Venn's key innovation. While it may seem trivial to us, it took mankind 2300 or so years (since Aristotle first wrote about logic) to do this, and it has had a far-reaching consequence: For the first time the complement of a set could be readily represented. Indeed, the graphic at the top of the page does not enclose the three circles in a universe box, and so is NOT a Venn diagram. Someone with better graphic skills than I should fix this diagram to make it a Venn diagram. Peter McBurney, 2006-05-28.

Intersection or Union

I think there may be a mistake in the following sentence :

The combined area of sets A and B is called the union of sets A and B. The union, in this case, contains all things which either have two legs, fly's, or both.The overlaping circles implies that the union of the two sets is not empty - that, in fact, there are creatures that are in both of the orange and blue circles.

In set theory, the union of A and B is every element that belongs to A or that belongs to B, but the overlaping circles defines elements that belong to A and to B, that its intersection.

Isn't it ?

Zejames 21:06, 23 May 2006 (UTC)

Tools for drawing Venn diagrams

It would appear as if the drawing feature in MS Office (MS Powerpoint) only creates correct Venn diagrams for up to 3 sets. Maybe this is an important distinction among other tools listed?

Sven diagrams?

Some people erroneously call them Sven diagrams, this term appears to have originated in certain parts of Montreal. Surely this is a joke? Either way, I'm not sure it's much of an issue, as most people learn about them in math class from teachers who know the correct term, so I can't imagine it's a widespread error. That sentence ought to be deleted if it remains unsourced. OneVeryBadMan 15:05, 19 July 2006 (UTC)

Classroom use ?

Not sure about the appropriateness of this section, though I like the attempt to address a more general audience - I find this article a little too math text book-y. More importantly though: I've never seen the "three column" approach instead of overlapping circles (and I can't picture how it would work - how do you represnt a u b u c? Or more than three sets?). And the "compare and contrast two items" [my emphasis] piece doesn't make sense to me. Is there a citation for this? Is it common to a particular educational approach? Is it just the general new approach to teaching that I'm too old to remember :-) ? --SiobhanHansa 01:10, 16 August 2006 (UTC)

I am not sure about the relevance of the Indian classrooms point, I could say that in New Zealand they teach them using powerpoint slides, but really what is the relevance. Nzv8fan 08:25, 3 June 2007 (UTC)
I've gone ahead and removed that sentance. It wasn't relevent, and it was just akward. Kopophex (talk) 12:22, 7 January 2008 (UTC)

Diagram Venn.jpg

I created a diagram Venn.jpg; I've contemplated the use of using a rectangle instead of a circle; I like circles. Because it may be a circle, and not a rectangle, would not make it any other diagram than a Venn diagram, however. And I doubt the diagram itself couldn't also be comprised of ellipses, and still be a Venn diagram. Which is my point. They're ellipses. It's not a historic representation of what John Venn himself drew; it is a Venn diagram. But it got deleted. Charles R. Kiss, Sept. 15, 2006

Diagram Venn_diagram_showing_Greek,_Latin_and_Cyrillic_letters.svg

The diagram shown is a little misleading since K and Y occur in Greek, Latin and Russian. The Russian letters depicted seem to have slightly different typography but they are the same character/symbol in each case and are written by hand identically. 84.154.138.142 (talk) 21:36, 19 September 2013 (UTC)

Too technical tag

I removed the tag. the article has undergone considerable revision since the tag was removed. if you feel that the tag still belongs, feel free to put it back but please make some specific suggestions about what could be improved. thanks. Lunch 04:53, 24 September 2006 (UTC)

I don't think it needs a tag. I like it.Dave (talk) 02:47, 26 December 2009 (UTC)

All monkeys are primates.

This Venn diagram from The Fallacy Files is given to illustrate the proposition "All monkeys are primates", where S is the subject (Monkeys) and P is the predicate (Primates).

http://img219.imageshack.us/img219/6671/picture1be5.png

What I don't understand is why there is this high-lighted red area where S and P do not overlap? Doesn't this imply that there are monkeys which are not primates? Isn't this A-type proposition better represented with a Euler diagram, having S inside (as a subset of) P? Or does red represent emptiness?

What am I missing?

In that case I think the the red indicates emptyness, i.e. the disallowed elements. Yes you could use an Euler diagram which indicates the concept better. The ven diagram is useful as it explicity shows whats not allowed. --Salix alba (talk) 17:06, 30 September 2006 (UTC)

Error ?

Shouldn't the sentence "Mosquitos have six legs, and fly, so the point for mosquitos would be in the part of the blue circle which does not overlap with the orange one." paragraph 2 read ". . . the part of the blue circle which overlaps with the orange one . . ." —Preceding unsigned comment added by 58.111.208.201 (talk) 10:47, 8 October 2007 (UTC)

No. The area where the blue and orange circles overlap contains those living creatures that can fly and have two legs. Mosquitoes can fly but do not have two legs, so they are outside the orange circle.  --Lambiam 13:56, 8 October 2007 (UTC)

A cartesian variation on Edwards diagrams

Edwards-diagrams are nice but not easy to draw. This on can be drawn on a grid, (with gray code in one collumn). See: http://home.versateladsl.be/vt649464/VenGray5.pdf Feel free to use it. Perhaps it exists already somewhere, I don't know.--Bleuprint (talk) 05:27, 8 February 2008 (UTC)

Images at the top are misleading

Just looking at the top 3 pictures, one could be forgiven for thinking that we are talking about subtractive colours. Can we please have normal circles? Also what happened to the dots inside the circles representing elements of the sets? I can't believe there is no example of that in the article. These solid discs bring no added value and are actually misleading/confusing. Thanks. 83.67.217.254 (talk) 21:04, 1 March 2008 (UTC)

Disagree. Quite a large amount of added value: clarity, simplicity, readability, ease of use. Too much detail would remove these and the complexity would not be worth the perplexity.Dave (talk) 02:46, 26 December 2009 (UTC)

flaws in the method

Venn diagrams are certainly not the right way to show anything the nomenclature can be very very misleading. for example a and b have an intersection if you call it a intersection b then when i say "a" does it also include elements in a and a intersection b i would rather call a, b and a.b as 3 separate outcomes. —Preceding unsigned comment added by 192.18.192.21 (talk) 10:30, 19 November 2008 (UTC)

Take for example a Set S with A B and C as possible subsets in it so if you call A intersection B as A.B then A itself should be called S.A because A is itself an intersection with the original set S. and A intersection B should be called "a intersection b intersection notC intersection S".likewise if there is another D, then as per "venn's massive wisdom" which I never did comprehend, "A intersection B" is actually termed as "S intersection A intersection B not D". Is my understanding of his nomenclature incorrect?

Yes. Well, allow us the luxury of abbreviation. For eaxample, on your own computer you do not list the entire address of a file. Most scripts allow a default directory and then plug in the full address without us having to clutter up our English with it. This article is and ought to be in English.Dave (talk) 02:41, 26 December 2009 (UTC)

pseudo-Venn diagrams

Aside from Wikipedia, the top Google text & image hits for "Venn diagram" are predominantly incorrect (e.g. [1] [2] [3] [4] [5] [6]. There seems to be a proliferation of k-12 teaching aids that create interlocking circles to compare/contrast concepts, and call this a Venn diagram. I'm pretty strongly opposed to hijacking a well defined term & publishing incorrect examples with such high profile. Is anyone familiar with the term for the concept that is represented? Ripe (talk) 01:07, 18 February 2009 (UTC)

I looked at whales and fish and I have to second the motion. However, we aren't doing that. Perhaps you could keep a vigilant eye out.Dave (talk) 02:37, 26 December 2009 (UTC)

Image:Venn diagram cmyk.svg

I think that the first image on the page - Venn diagram cmyk.svg - could be misleading to someone who hasn't heard of a Venn diagram. It makes it look like Venn diagrams are all about colour mixing. Colour mixing is just an application of Venn diagrams. The colours of a Venn diagram aren't usually so directly related to the meaning it is trying to get across. Perhaps this can be corrected by better text but I would suggest choosing a better image. Yaris678 (talk) 14:56, 17 March 2009 (UTC)

Sorry yaris old boy but folks I would like to throw my weight in favor of the color diagram. It seems most illustrative at a glance. My only objection would be that color-blind persons cannot read it and there are a significant minority of them. However I have made my recommendation of what to do about it below.Dave (talk) 02:33, 26 December 2009 (UTC)

Suggestions for improvement from User talk:Dagme

(Transferred by RupertMillard from main article namespace:)

This article is fundamentally incorrect. It has been changed to include some accurate statements since I pointed out and corrected errors a few years ago, but it still contains serious errors in the form of incorrect statements, inaccurate illustrations, and inconsistencies between what is correct and what is mistaken.

My previous editing was almost immediately undone. I will not submit another editorial effort.

I suggest instead that this article be locked and that an expert be solicited to contribute a completely new and correct article. I recommend Frank Ruskey for this. He already has published an extensive survey of Venn Diagrams on the internet.

Venn Diagrams are NOT similar to the earlier types of diagrams, commonly referred to as Euler Diagrams. They are a revolutionary departure from the earlier diagrams and are incomparably more powerful.

The difference between the earlier diagrams and Venn Diagrams is that the latter show all possible intersections. Those that are empty are shaded or colored distinctively. This contrasts with the earlier diagrams which indicate that an intersection is empty by including no region to which it corresponds. This was correctly pointed out in the latest version of the article, but contradicted elsewhere in the article.

Mathematicians and mathematical writing nearly always make the same mistake as this article, while philosophers and philosophical writing usually give a correct and accurate account.

A correct account can be found in almost any modern introductory philosophy text on logic and critical thinking. (A wrong account can be found in most introductory texts on set theory or logic written by mathematicians.)

Here are some articles on Venn Diagrams. the page at

http://www.combinatorics.org/Surveys/ds5/VennWhatEJC.html

is a general definition

the following comment is key: "Note that some authors refer to diagrams with fewer than 2^n regions as Venn diagrams, but they are more properly termed Euler diagrams, after the mathematician Leonard Euler."

In a Venn diagram all intersections are shown as non empty but are indicated as empty by shading, while in Euler diagrams, emptiness of an intersection is indicated by disjoint interiors (which would disqualify a diagram from being a Venn diagram).

More discussion of Venn Diagrams and the distinction between them and Euler Diagrams can be found in the following sources.

The lower part of the page at

http://www.combinatorics.org/Surveys/ds5/VennOtherEJC.html#euler

shows the comparison correctly. In this article, the notation "AB" means "A intersect B".

This is further explained in the following:

http://www.cut-the-knot.org/LewisCarroll/VennDiagrams.shtml

and

http://www.cut-the-knot.org/LewisCarroll/devlin.shtml

which show how the Venn Diagram is used to solve a syllogism.

The following is by one of the people most to blame for the confusion about what Venn Diagrams really are --- William Dunham. This version of the webpage incorporates the challenge from Frank Ruskey, the author of the Survey of which the pages at the first two urls above are parts. It also includes Dunham's response to the challenge to his misinformation, showing only a cavalier disregard for the educational damage he has inflicted on millions. I definitely recommend reading this to see an example of how the misunderstanding of Venn Diagrams became so widespread.

http://www.cut-the-knot.org/LewisCarroll/dunham.shtml

Powerful?

Not sure what you mean by powerful in your post above. Showing the intersection between sets can be done in other ways and Euler had it too,

Take the case as below:

we have a Set S and sets A and B and C lie wholly in set S:

1. A and B intersect. You would preferably label them as S.A, S.B and S.A.B and S.C You would never call S.A.B as S.A.B.not(C), neither S.A as S.A.not(B).not(C) and so on ... why? because the context clearly makes it obvious there is no intersection with C Hence if the diagram is not given and you are told the relative areas of S.A, S.A.B , S.B , it suffices

2. A and B and C intersect you would call them S.A.B.C and S.A.B or would you call them S.A.B.C and S.A.B.not(C), and would S.A.B imply that S.A.B.C is a subset of S.A.B? It need not be because of the inherent logic above. If i do not write another more specific item, what do you get?

That as I see is the fundamental difference between Euler and Venn and their diagrams. —Preceding unsigned comment added by 202.56.215.22 (talk) 09:53, 21 April 2009 (UTC)


I agree, without a diagram, Venn's representation has no meaning. Hark at all those teachers who think so. —Preceding unsigned comment added by 122.167.200.75 (talk) 10:16, 30 May 2009 (UTC)


The notation of A intersection B intersection Not(C) is flawed. The diagram simply helps add to the confusion. Most of the time the data is not presented as a diagram but as raw data with elements/attributes that tie it to a set. In that case there is no way one can say "this is not from that set as the set is never defined". Try a regex with A&&B, by saying A&&B!!C you are not going to get anything but A&&B!!C, which is more specific than the generic A&&B case. Note there could be a D/E/F and so on hence the methodology is flawed. -Alok 05:55, 19 April 2011 (UTC)

New picture proposal

A simple three-criteria Venn Diagram. Things that meet only one criteria are placed in one of the outer sections (A, B, or C). Things that meet two are placed in one of the middle areas (AB, AC, BC). Things that meet all three are placed in ABC.

I created the image ABC Venn Diagram.svg, which you can see on the right, and I feel that it better illustrates the article than the picture currently there. First of all, it's colorless, so there are no worries about confusion about what a Venn diagram is, something that other people on this talk page were worried about.

What are your opinions? Do you think my image would be more appropriate? Is it too simple?

If it's not too simple, and we are going to implement it, then how would we do so? I think we should replace the image at the top of the article with it, and give it a caption along the lines of that which accompanies the image on the right. What do you think? - − Elecbullet (talk) 03:00, 28 September 2009 (UTC)

In Venn diagrams the circle A is on the left, and the circle B is on the right side. Everything else would be confusing. When a third circle C is added - usually below them - that shouldn't change the position of the two circles already used. Lipedia (talk) 02:16, 20 December 2009 (UTC)
Actually the drawing is not technically correct. For example, the left-intersecting AB should be AB~C (A & B & ~C) where ~C signifies "NOT C". And the diagram needs ~A~B~C on the outside/exterior region. (From a graphics-art standpoint I would prefer that you tone down the thickness of the circles). See the drawings, both historical and modern, at Euler diagram. Bill Wvbailey (talk) 14:45, 20 December 2009 (UTC)
I think the drawing is technically correct. You are normally given data without a diagram and one would interpret data or assign data to a set based on given data in a format similar to the above diagram. The "nots" are too many to have given data. -Alok 05:56, 19 April 2011 (UTC)
I don't fully agree to that. It's obvious, that diagrams like File:Intersectionsets.png are wrong, because they simply call an area which is in fact . But when the letters are used without the signs, I think its nothing wrong about this way. I've also done this way in File:Syllogism-Set-Diagrams.jpg. Lipedia (talk) 15:39, 20 December 2009 (UTC)
p.s.: How would the last sentence read in good grammar? Lipedia (talk) 15:43, 20 December 2009 (UTC)
Historically there have been serious issues with "syllogisms" and the misuse and abuse of Euler diagrams, as spelled out in Euler diagram; for this reason they were abandoned by serious logicians after Venn. For example the concatenation of two symbols A and B i.e. " AB " has no meaning with respect to either set theory or logic unless you define what the concatenation means operationally, and it is easily confused with a tacit conjunction or logical AND; in particular " AB " in Boolean algebra means "A*B", where * means "arithemtic multiply", or it can mean "A AND B" in both math and engineering usage, where AND is the logical AND, etc, etc.
Agree to the above, and it is logical to assume there is no "not" because the case is more specific. 192.18.192.21 (talk) 05:54, 19 April 2011 (UTC)
In a deeper sense, the problem has to do with specifying a domain of discourse, i.e. the "universe" or "box" that explictly or implictly surrounds/contains the three circles. Your domain/universe of discourse is three "sets" A, B, and C, not just two (i.e. A and B). So when confronted with a region labelled " AB " we have to ask ourselves -- what has happened to set C? In the three-set domain of discourse, region A ∩ B implies the union of two regions (A ∩ B ∩ ~C) U (A ∩ B ∩ C) = A ∩ B ∩ (~C U C) = A ∩ B. In other words, A ∩ B actually comprises two regions, not one. This is exactly what happens when we are considering Boolean-like variables, i.e. (A & B) = ((A & B) & (~C V C)) = ((A & B & ~C) V (A & B & C)).
To conclude, the drawing as it stands is misleading. We want our exposition to be as precise and accurate as it can possibly be, even at the expense of a "simplicity" that causes confusion or flatout misunderstanding.
I think this drawing is more accurate because of the reasons mentioned above. It clearly demarcates what belongs to what set.-Alok 05:58, 19 April 2011 (UTC)
p.s.: "But when the letters are used without the signs, I think there is nothing wrong with this method of labelling."
Bill Wvbailey (talk) 23:07, 20 December 2009 (UTC)
Hello there. I appreciate the nice diagram in this section. And, I appreciate all the statements of what area is what in the notation of symbolic logic. May I also assert, speaking as a technical writer, if you put this diagram or that notation in, the average reader will have no idea under the sun of what we are talking about, and most of the college graduates in any other discipline but logic will not either. So, no one will bother with it, and it will be of use to no one, as the few who would understand it would not need it. The color diagram is nice. It should stay. It is not suitable for color blind persons. Here is what I recommend. Redo the diagram in this section so that the circles match the ones in the color diagram. Then present this one as an explanation of the color one just below it. This is for the diagram. I do not yet have any ideas on the notational descriptions.Dave (talk) 01:52, 26 December 2009 (UTC)
Dave, here is how the drawing's regions should be labelled to be technically correct. This is cc'd from Euler diagram (for more, see that article):
File:Couturat 1914 and Venn assignments1.jpg
On the right is a photo of page 74 from Couturat 1914 wherein he labels the 8 regions of the Venn diagram. The modern name for these "regions" is minterms. These are shown on the left with the variables x, y and z per Venn's drawing. The symbolism is as follows: logical AND ( & ) is represented by arithmetic multiplication, and the logical NOT ( ~ )is represented by " ' " after the variable, e.g. the region x'y'z is read as "NOT x AND NOT y AND z" i.e. ~x & ~y & z.
Bill Wvbailey (talk) 17:11, 26 December 2009 (UTC)
I had an idea. Maybe if we used a Venn diagram with TWO parts instead of three it would be simpler to understand. How's that sound? I could quickly turn my three-part Venn Diagram into a two-part one, then upload it separately. Later though. I have to write a thank-you note for a UConn sweatshirt. − Elecbullet (talk) 04:06, 6 January 2010 (UTC)
...And if I'm going to do that, what changes should I make? − Elecbullet (talk) 04:08, 6 January 2010 (UTC)
For a two-variable drawing the center region would be AB, the left would be AB' and the right would be A'B and the outer region would be A'B' (the symbols having the same meanings as above). Actually, a progressive display of drawings would be useful: a single circle A with background (universe of discourse) A', single circle B with background (universe of discourse) B', the A,B pair of circles drawn overlapping in the conventional manner. Then shade the regions to indicate an included region (some folks shade to include, some folks shade to exclude). For N topics of discourse i.e. N = 2 for { A, B } there are 2^(2^N) possible shading patterns, so even for the simplest case we have 4 drawings { null, A, A', A+A'= U }, and for { A, B } we have 16 possible drawings ( null, AB, A'B, AB', A'B', AB+A'B, AB+AB', AB+A'B', A'B+AB', A'B+A'B', AB'+A'B', AB+A'B+AB', AB+A'B+A'B', AB+AB'+A'B', A'B+AB'+A'B', AB+A'B+AB'+A'B' = U } i.e. { 1 null, the 4 minterms, 6 pairs of minterms, 4 triples of minterms, 1 universe }, (note this number pattern 1, 4, 6, 4, 1 derives from Pascal's triangle). Clearly the number explodes after N=2 (N=3 yields 256 possible patterns, N=4 yields 65,536 possible patterns).
After I wrote the above paragraph I looked at Karnaugh map and observed that the writers do exactly what I described above -- they display all 16 maps for 2 variables, and observe that they actually invoke a Venn diagram and label the regions. As the Euler diagram article suggests, really a Karnaugh map is just a redrawing of a Venn diagram, i.e. they are for all practical purposes identical. So the Venn drawings would be repetitive . . . one of the problems of Wikipedia is exactly this, that the articles don't tie together in a coherent manner i.e. in historical order: Syllogism, Euler diagram, Venn diagram, Truth table, Veitch diagram, Karnaugh map, Quine-McCluskey algorithm, etc. I suppose repetition is okay. (Download Venn 1881 from google books, if you can't find it I'll get the link for you; it may be of some use here). Bill Wvbailey (talk) 16:15, 6 January 2010 (UTC)

You are wrong in mixing up a Karnaugh map with a Venn Diagram. The Karnuagh map makes certain assumptions:
1. A has 2 states 0 and 1
2. it tries to imply 0 is A'
When one makes K maps, we tend to write 0 and 1 and not A and A', if it was tri-state you would tend to write 0 , 1, and 2 perhaps and group accordingly. The notion of A'.B simply means A is 0 and B is 1. It does not in any way apply any intersection, union and so on. Do not try and confuse A'B as an intersection of not A and B. Treat it as high and low levels etc. Formal grouping was not the agenda of Venn Diagrams. 122.178.238.114 (talk) 05:20, 16 February 2014 (UTC)
So if we have a LED that goes on when A is on, we do not need to wire it to the not B and not C cases. we simply wire it to A. We have to explicitly do the B and C case when the "state" is A.B'.C' The diagram is a contradiction to the wiki's own statement: The intersection of A and B is written "A ∩ B". Formally:
x ∈ A ∩ B if and only if
x ∈ A and
x ∈ B.

...Here I was thinking Venn diagrams were simple. Uhm. Sorry, I don't understand exactly what you want, I'm just a 14-year-old-kid with no college degrees or anything. What do you mean "an included region"? − Elecbullet (talk) 00:35, 9 January 2010 (UTC)


I agree with this representation, given a diagram it is right The word intersection also can have a meaning only when there is a diagram. For example, let me spell the question A intersection B intersection C = 4

Now, this does not tell me if there is a D,E,F etc that exists in the diagram? correct? So without a diagram is it not valid to assume that A intersection B intersection C is the same as A intersection B intersection C not (everything else??) In other words, the above description is valid if only a diagram is given. If there is any exam paper which asks one to make a judgement based on only the given data without a diagram, it is valid to assume that there are 3 regions A,B,C and we are referring to the intersection of all 3 regions. likewise A intersection B is only the region common to A and B given we are giving A intersection B intersection C a different tag, (else you could question the validity of what is "A" in the 1st place. The diagram is perfectly right in that sense. It is just like saying "i do not know if A intersection B not C implies D , E, F does not exist without a diagram". I mean if the logic works this way, it works that way too (the not case too) Either ways without a diagram the question is flawed.-Alok 05:56, 19 April 2011 (UTC)

Also note that the wiki calls intersection as follows:
The intersection of A and B is written "A ∩ B". Formally:
x ∈ A ∩ B if and only if
x ∈ A and
x ∈ B.
so if 1 says x ∈ A ∩ B includes (superset of) x ∈ A ∩ B ∩ C; it means there is an x ∈ A and x ∈ B and x ∈ C then the "only if" is not satisfied in the way intersection is defined.
So if one says x ∈ A ∩ B , the not C,D,E,F is already implied, so to denote x ∈ A ∩ B ∩ ~C and x ∈ A ∩ B ∩ C in a separate manner would be futile,infact making it unclear.
One would simply call the 1st case x ∈ A ∩ B and the second as x ∈ A ∩ B ∩ C -Alok 05:56, 19 April 2011 (UTC)

Validity

This article seems to neglect validity which is why venn diagrams were invented according to dictionaries. I am also searching for sources about what the border space around which a venn diagram is placed, represents in limitations. I expect it is the range of valid quantifiers for the all the complete sets in the domain of discourse. Venn1110.svg Zulu Papa 5 ☆ (talk) 22:31, 6 November 2009 (UTC)

That sounds very impressive. I recommend we put nothing at all in at that level. It needs to be watered down for the good reader, who can't drink such a heady wine. That would be a good project for you, write a paragraph or two explaining all that in English. We don't dazzle with our technical brilliance, we explain things to people who need explanations. At least, that is how I see it. The technical journals do the dazzling, or the young professors looking for an educated wife at a party. Top quark, lower quark, validity, domain of discourse, quack, quack.Dave (talk) 02:19, 26 December 2009 (UTC)

Proposal to blend Venn diagram with Euler diagram

The following appears on and is cc'd from the Talk:Set theory page at subsection "Venn diagram":


(begin copy)

Isn't it a bit ridiculous that we have separate articles for Venn diagram and Euler diagram, anyway? Perhaps the two should be merged, under the more common name Venn diagram, or perhaps Venn and Euler diagrams. A merged article could define Euler diagrams, introduce Venn diagram as a synonym, and say that Venn's original definition was more restrictive and how. Hans Adler 23:34, 17 November 2009 (UTC)

I'd keep them separate. (But I agree that some explanation of differences and usages would be appropriate ...). My sense of the (true) Venn diagram is that it is now a backwater of mainly historical importance, but it is an important one on the way to the development of the Karnaugh map which is still a seriously-useful tool. On the other hand the "Euler diagram" is still useful for teaching purposes -- a visualization aid for solving thought-problems (see my explanatory examples at Talk:Law of excluded middle). I'll now verify and demonstrate this assertion about (true) Venn diagrams:
I pulled open one of my switching-theory books -- Hill and Peterson 1968, 1974 Introduction to Switching Theory and Logical Design, John Wiley & Sons NY, ISBN 0-71-39882-9. This is an engineer's book. In chapter "Boolean Algebra" they present sections 4.5ff "Set Theory as an Example of Boolean Algebra" and in it they present the (true) Venn diagram with shading and all. They actually use Venn diagrams to solve example switching-circuit problems, but end up with this statement:
"For more than three variables, the bsic illustrative form of the Venn diagram is inadequate. Extensions are possible, however, the most convenient of which is the Karnaugh map, to be discussed in Chapter 6." (p. 64)
In Chapter 6, section 6.4 "Karnaugh Map Representation of Boolean Functions" they begin with:
"The Karnaugh map1 [1Karnaugh 1953] is one of the most powerful tools in the repertory of the logic designer. ... A Karnaugh map may be regarded either as a pictorial form of a truth table or as an extension of the Venn diagram." pp. 103-104
And that is the end of the Venn diagram in this book of 596 pages. I consulted three more engineering texts. Two of them -- (i) McClusky 1965 Introduction to the Theory of Switching Circuits, McGraw-Hill Book Company, NY, no ISBN; and (ii) Wickes 1968 Logic Design with Integrated Circuits, John Wiley and Sons, Inc, NY, no ISBN -- present (true) Venn diagrams the same way as did Hill and Peterson, that is as a feature of Boolean algebra, and perhaps as Wicks calls them "Minimization Aids". As an engineer I never use Venn diagrams, I always use Karnaugh maps (and have 1000's if not 10,000's of times so far). But, to explain simple set-theoretic concepts to myself I do use "Euler diagrams" (both with and without a box around them, which until 2 days ago I thought were Venn diagrams).
To sum up, I'd keep the articles split mainly because of their historical significance. Otherwise we could use similar reasoning to fold Euler diagram into Venn diagram and both into Karnaugh map and then Karnaugh map into Hypercube. I think alot of this fussing has to do with didactic and historical precision, which as a historian is something I am very sensitive to. Bill Wvbailey (talk) 15:52, 18 November 2009 (UTC)

Interestingly, there is a Wikipedia article on Karnaugh maps at http://en.wikipedia.org/wiki/Karnaugh_map The Stanford Encyclopedia of Philosophy does not have a stand alone article on Karnaugh maps but discusses them under some other headings. Dagme (talk) 18:40, 18 November 2009 (UTC)

"Isn't it a bit ridiculous that we have separate articles for Venn diagram and Euler diagram, anyway? Perhaps the two should be merged" Yes, this is a good point and a good suggestion. It is what was done in the Stanford Encyclopedia of Philosophy. Since Wikipedia has a feature that redirects searches, both "Venn Diagram" and "Euler Diagram" could be redirected to a single article. The historical development could also be addressed there. The name of the article could be "Euler and Venn Diagrams". It could also be "Set Theoretic Diagrams", but with the latter, the more advanced topics in the Stanford article should also be included. Since we are already having more than enough difficulty with Euler and Venn Diagrams, I suggest the former. Dagme (talk) 18:40, 18 November 2009 (UTC)

(end copy)


RE blending the articles: I stand on my recommendation not to. I think that ultimately, as time goes on, a single article will have to be split into two because of its size. Per my quote from Venn at Talk:Set theory under "Venn diagrams" he encountered 34 references that used versions of Euler diagrams. And then he observes a few (for him more recent sources) that shade the diagrams. The fact is: with respect to Euler diagrams Venn is a legitimate 2nd source. My point being that there is a ton of information that hasn't been sifted through yet (because just now these volumes are becoming available because of googlebooks -- that's where you can find Venn, Jevons, etc etc).
RE a more unified treatment of the evolution from Euler diagrams to Venn diagrams to Veitch charts to Karnaugh maps: A mystery ensues, there's a huge gap. I now have cc's of the two main papers that define the notion of "Karnaugh map" -- Veitch 1952 and Karnaugh 1953. Karnaugh references Veitch (3rd reference). Veitch references Claude Shannon 1938, and Shannon references the same Couturat 1914 that I referenced at Talk:Set theory under section "Venn diagrams". I also have Shannon's 1938 "A Symbolic Analysis of Relay and Switching Circuits" (and a non-printable cc of his 1940 Master's thesis, the same thing). Nowhere in any of these (I OCR'd them and did a word search) is the Venn diagram mentioned except in Couturat who expresses his lack of enthusiasm: "This diagrammatic method has, however, serious inconveniences as a method for solving logical problems." (p. 75).
So where did the ideas of Veitch and Karnaugh come from?? Maybe someone knows of a secondary reference that can serve as a guide. I know that by 1921 Emil Post (cf Post's paper in van Heijenoort 1967:264ff) had firmed up the notion of "truth table". We also know that by the 1940's all sorts of authors were incorporating truth tables into their treatments, e.g. Reichenbach 1947 "Elements of Symbolic Logic" and Tarski 1941, 1946 "Introduction to Logic" both reprinted by Dover -- I see Post referenced in both but there is no Venn in either. And yet by the late 1950's some authors (e.g. Kemeney et. al. 1958) were using so-called "Venn diagrams" (sometimes Euler diagrams, sometimes Venn diagrams) in their texts to teach "set theory" with respect to "Relations between sets and statements". This "set-theory-versus-logical-analysis" dichotomy strikes me as odd and needs to be accounted for, if we are to "unify" the history. Bill Wvbailey (talk) 20:40, 18 November 2009 (UTC)
If it needs any seconding I second the motion to kill the merger. Though related they are logically two topics under two names and neither would comprise a very short article.Dave (talk) 02:10, 26 December 2009 (UTC)

Non-Venn diagram with 14 versus 13 regions

I reverted the edit -- the number 13 can go back if its author is willing to add a bit of wording, to wit: To be correct and thorough we need to say the diagram has 14 regions -- 13 colored and one more non-colored region exterior to all the colored regions. This article doesn't make it clear that there are always 2^N regions for N sets; the "missing" region is the exterior (e.g. the region/minterm ~A & ~B & ~C & ~D for a 4-set diagram). Bill Wvbailey (talk) 21:56, 28 October 2010 (UTC)

Agree: Here, and elsewhere, purported Venn diagrams for three sets frequently omit the enclosing box (or circle). Such diagrams fail to show elements (if any) that are members of none of the three sets. Thus, they cannot be considered to meet the definition of Venn diagrams. There is always a universe (a set to enclose the set of given sets), and Venn diagrams must show it explicitly. (My opinion.) David Spector (talk) 21:14, 30 January 2012 (UTC)

Changes

It appears that major changes to this article have been made in the last few months, constituting a dramatic improvement. I have not had time to look thoroughly through the article and to analyze the changes, but it appears that most of my earlier objections have been or are being addressed. So a big "Thanks" to the contributors who are working so hard to clear up the mess.

Here are a few additional suggestions. The reference to Cyndi Joyce Aguzar at the beginning of the "Overview" section should either be given a target or removed. The sentence in which that reference occurs could be improved by making it more like the very fist sentence in the introductory section --- definitional rather than incidentally descriptive in character. It is important to stress that ALL possible intersections are shown and that those which are empty are indicated by shading, in contrast to Euler Diagrams, which indicated empty intersections as absent regions. In connection with this, I mention again that I don't think it is possible to understand Venn Diagrams without first understanding Euler Diagrams. Therefore, I want to again bring up the idea of merging the articles on these two topics.

Finally, I think that the diagrams used to show the union, intersection, and symmetric difference are misleading and would be better cited in connection with Euler Diagrams. A basic aspect of a Venn Diagram is that it illustrates a proposition. For example, the diagram in the article which is supposed to show the intersection, when viewed as a Venn Diagram, actually asserts, by means of shading the intersection, that the intersection is empty. Dagme (talk) 21:33, 25 February 2011 (UTC)

Edwards and other post-Venn diagrams

I have now seen some edits go back and forth on a link to this paper: http://mathsci.sharif.edu/mahmoodian/Papers/Generalized-Venn-Diagram1987.pdf

The paper makes it look like this group came up with Edwards' diagram by 1987. Edwards' cogwheels was published in 2004, right? Had he published the idea before these 1987 authors? Can the validity of the pdf be established?

Fanyavizuri (talk) 22:12, 10 April 2011 (UTC)

Indeed, there is a rather critical review of Edward's book Cogwheels of Mind by Peter Hamburger in Mathematical Intelligencer [7]. I will quote just one sentence: Edwards knows that Grunbaum showed in 1975 [8] the possibility of constructing Venn diagrams with any number of convex curves, and he recognizes that this was a "remarkable advance," but he gratuitously disparages others' figures in comparison to his own, and he misrepresents the history. --Kompik (talk) 18:52, 6 July 2011 (UTC)

Venn diagrams and truth tables

My viewpoint is that Venn diagrams can be viewed more-or-less as truth tables. (Each region corresponds to one line of truth table. Perhaps this picture [8] illustrates well what I have in mind.) I think something like this could be mentioned in the article. (Although it should be sourced by literature and I did not find anything by a quick search on google books. Perhaps I did not come up with an appropriate search query.) --Kompik (talk) 12:25, 6 July 2011 (UTC)

Ok, so after little more searching I found two references for this:
The rows correspond to the different basic regions of the Venn diagram, eight in the case of a three-variable law like (3.5), and the corresponding input-tuples of zeroes and ones are entered consistently at the outset.
Elements of logic via numbers and sets By D. L. Johnson, Page 62 [9]
Using membership tables, we can establish the equality of two sets by comparing their respective columns in the table. Table 3.3 demonstrates this for the Distributive Law of union over intersection. We see here how each of the eight rows corresponds with exactly one of the eight regions in the Venn diagram of Fig. 3.8.
Grimaldi R. Discrete and combinatorial mathematics (5ed., AW, 2004), Page 143
--Kompik (talk) 6 July 2011

Stanford Article

If you read sections 2.1 and 2.2 of the Stanford article at

http://plato.stanford.edu/entries/diagrams/

you will see pretty much what this Wikipedia article should be.

Dagme (talk) 06:30, 14 July 2011 (UTC)

Recently discovered simple symmetrical 11-venn diagram "Newroz"

A recent study (July 2012) conducted by faculty of the computer science department at the University of Victoria has unearthed the very first simple symmetrical 11-venn diagram, which was named "Newroz" by its discoverers. It isn't included in the article and right now, "Newroz" redirects to an unrealted page. Its quite a discovery and I think it should be included in the article- I'm just not the mathematical sort of person to do it.

Original report: [10], more material: [11]

Musicmaster890 (talk) 02:26, 17 October 2012 (UTC)

"Newroz" should continue to redirect to the Persian new year celebration, which is the main meaning of the word (the only meaning of the word until three months ago)... AnonMoos (talk) 05:42, 17 October 2012 (UTC)
That's certainly reasonable. I won't pretend to understand any of the nuances of the Persian culture of language, but the article title for the new year celebration is spelled differently ("Nowruz"), so perhaps there should be a "'Newroz' redirects here" link its header. Alternatively, there is a disambiguation related to the page. Musicmaster890 (talk) 12:06, 17 October 2012 (UTC)

New Section: Popular Misconceptions

I was watching Seth Meyers debut on the Late Show and was stunned by his sketch "Venn Diagrams". In the sketch, he showed two circles with titles then the circles merged toward each other until they overlapped and intersected and the intersection area was labeled with a new title. It was intended to be funny, and a few of the items were. Some critics claimed the sketch went on too long and wasn't funny.

The real problem was the sketch's blatant mis-portrayal of Venn Diagrams. Instead of showing the intersection, most of the humor was derived from finding a common category that both titled circles fit into. In one example, the two circles were labeled “Russia” and the “The NBA”. The animation moved them to overlap and the intersection area was revealed to be “Places that are more gay friendly than Arizona”, clearly showing a category to which both Russia and the NBA could belong. The segment included nearly a dozen examples, most of which continued the error, showing a category to which the items had common membership, instead of the intersection. One notable correct example was "Men that wear fedoras" and "Men that are cool" intersecting to reveal "Indiana Jones".

When I scanned the internet to find others like me that we stunned by the error, I found nothing. I thought Venn Diagrams were something very clearly understood even by people with only limited interest or ability in mathematics, but apparently I was wrong. After reading the Talk: Venn Diagram section, I think there's a case for a section on the Wikipedia page for Popular Misconceptions. The often ignored requirement for a Universe box could be mentioned etc.

What do you think? — Preceding unsigned comment added by Dankdyer (talkcontribs) 08:00, 27 February 2014 (UTC)