thumb|200px|Diagramas de Venn que corresponden respectivamente a las relaciones topológicas de unión, inclusión y disyunción entre dos conjuntos Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático. Estos diagramas muestran colecciones (conjuntos) de cosas (elementos) por medio de líneas cerradas. La línea cerrada exterior abarca a todos los elementos bajo consideración, el conjunto universal U.
Los diagramas de Venn fueron ideados hacia 1880 por John Venn.
Introducción Con los diagramas de Venn es posible representar las relaciones de intersección, inclusión y disyunción sin cambiar la posición relativa de los conjuntos
Intersección Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas por sus líneas límite se superponen, siendo los elementos del conjunto que pertenecen simultáneamente a ambos conjuntos conocidos como, la intersección del conjunto. Luetich, "Ser o ser no, ése es el dilema", Actas – Suplemento 1, 1 (1) 1, Rosario, Academia Luventicus, 2001 A = {1; 2; 3; 4; 6; 12}B = {1; 3; 5; 15}U = {1; 2; 3; 4; 5; 6; 12; 15}frameless|x110px|Diagrama de Venn - intersección con elementosA = {x | x es divisor natural de 12}B = {x | x es divisor natural de 15}U = {x | x es natural menor o igual que 15}frameless|x110px|Diagrama de Venn - intersección sin elementos Intersección = 1, 3
Inclusión Si todos los elementos de un conjunto son parte de los elementos de otro, se dice que el primero es un subconjunto del segundo o que está incluido en el segundo. En los diagramas de Venn, todas las regiones de superposición posibles deben ser representadas. Y, cuando hay regiones que no contienen elementos (regiones vacías), la situación se indica anulándolas (con un color de fondo distinto).Edward N. Zalta – Uri Nodelman – Colin Allen (editores), artículo: "Diagrams", Stanford Encyclopedia of Philosophy, Stanford, Metaphysics Research Lab – Center for the Study of Language and Information – Stanford University, 2001–2013 A = {1; 2; 3; 4; 6; 12}B = {1; 2; 3; 6}U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}frameless|x110px|Diagrama de Venn - inclusión con elementosA = {x | x es divisor natural de 12}B = {x | x es divisor natural de 6}U = {x | x es natural menor o igual que 12}frameless|x110px|Diagrama de Venn - inclusión sin elementos
Disyunción Cuando los conjuntos no tienen elementos comunes, la región de superposición queda vacía. Y es tal A = {2; 4; 6; 8}B = {1; 3; 5; 7; 9}U = {1; 2; 3; 4; 5; 6; 7; 8; 9}frameless|x110px|Diagrama de Venn - inclusión con elementosA = {x | x es par y de una cifra}B = {x | x es impar y de una cifra}U = {x | x es natural menor que 10}frameless|x110px|Diagrama de Venn - inclusión sin elementos alguno para su misma disyunción
A la izquierda de los diagramas, las definiciones de los conjuntos por enumeración y por comprensión.
Orígenes e historia thumb|Vitral del comedor del Caius College (Cambridge) en homenaje a John Venn y su creación
Los diagramas de Venn tienen el nombre de su creador, John Venn, matemático y filósofo británico.Margaret E. Baron, "A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn", The Mathematical Gazette, Vol. 53 No. 384, Leicester, The Mathematical Association, 1969 Estudiante y más tarde profesor del Caius College de la Universidad de Cambridge, Venn desarrolló toda su producción intelectual en ese ámbito.Anónimo, "Obituary Notices of Fellows Deceased: Rudolph Messel, Frederick Thomas Trouton, John Venn, John Young Buchanan, Oliver Heaviside, Andrew Gray", Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 110 No. 756, Londres, The Royal Society, 1926
Los diagramas que hoy conocemos fueron presentados en julio de 1880 en el trabajo titulado De la representación mecánica y diagramática de proposiciones y razonamientos,John Venn, "On the Diagrammatic and Mechanical Representation of Propositions and Reasonings", The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 10 (58) 1–18, Escocia, Taylor & Francis, 1880 que tuvo gran repercusión en el mundo de la lógica formal. Los diagramas de Venn tienen varios antecedentes. La primera representación gráfica de deducciones lógicas —y, en particular, de silogismos— se atribuye comúnmente a Gottfried Leibniz. Variantes de la misma fueron empleadas luego por George Boole y Augustus De Morgan, pero fue el gran matemático suizo Leonhard Euler quien primero introdujo una notación clara y sencilla. El siguiente diagrama muestra de otro modo la relación de inclusión del ejemplo dado en la introducción. frameless|x100px|Diagrama de Euler - inclusióndiagrama de Euler Los diagramas de Euler se distinguen de los de Venn en dos aspectos: en ellos no aparecen las regiones vacías y el conjunto universal no se representa. Si bien fue Venn quien introdujo la expresión «universo del discurso», él nunca representó al universal en sus trabajos. Por eso la idea de conjunto universal se atribuye habitualmente a Charles Dodgson, más conocido como Lewis Carroll, el lógico y autor de cuentos para niños que popularizó el concepto de conjunto complementario. El conjunto universal fue cuestionado por Bertrand Russell, quien mostró que con tal concepto la teoría de conjuntos resultaba inconsistente (véase paradoja de Russell). Sin embargo, dicha definición fue rescatada y aun justificada en una reciente extensión de los diagramas de Venn que distingue al universal del Todo (universo del discurso)."Camino del ser y diagrama total" , Actas – Editoriales, Rosario, Academia Luventicus, 2013 Por las dos razones recién mencionadas, los diagramas de Venn llegaron a convertirse en el nuevo estándar para la formalización de operaciones lógicas y los sistemas de representación anteriores cayeron en desuso.
Tiempo después de la aparición del primer artículo, Venn desarrolló su nuevo sistema en el libro Lógica simbólica, publicado en 1881 y cuyo propósito era interpretar y revisar los trabajos de Boole en el campo de la lógica formal. Este libro sirvió sobre todo para presentar ejemplos del uso de los diagramas.John Venn, Symbolic Logic, Londres, Macmillan, 1881 Otro libro de Venn que ayudó a divulgar el nuevo sistema de representación fue el titulado Los principios de la lógica empírica o inductiva, publicado en 1889.Clarence Irving Lewis, A survey of symbolic logic, Berkeley, University of California Press, 1918
La primera constancia escrita del uso de la expresión «diagrama de Venn» es muy tardía (1918) y se encuentra en el libro A Survey of Symbolic Logic de Clarence Irving Lewis.John Venn, The Principles Of Empirical Or Inductive Logic, Londres, Macmillan, 1907
Diagramas de Venn de enunciados Como se mostró en la introducción, los diagramas de Venn pueden ser definidos por comunicaciones de sus elementos o por indicación de una característica común que los identifica unívocamente. De ahí que haya dos tipos de diagramas de Venn: los que muestran elementos reunidos por líneas cerradas y los que simplemente muestran enunciados o conceptos. Estos últimos son más interesantes porque permiten operar de manera abstracta y llegar a conclusiones más generales.Juan José Luetich, "Ser y pertenecer", Actas – Suplemento 1, 1 (2) 1, Rosario, Academia Luventicus, 2008
Los siguientes diagramas del segundo tipo muestran los resultados de cuatro operaciones básicas con conjuntos usando el código del semáforo de dos colores.Javier R. Movellan, "Tutorial on axiomatic ser theory" , Tutorial on axiomatic ser theory, Kolmogorov Project, 2003 frameless|x110px|Venn operaciones 2frameless|x110px|Venn operaciones 1frameless|x110px|Venn operaciones 3frameless|x110px|Venn operaciones 4¬AA ∧ BA ∨ B = ¬((¬A) ∧ (¬B))A – B = A ∧ (¬B) Como se desprende de las igualdades, con las dos primeras operaciones (negación y conjunción), es posible hacer las otras dos (disyunción y sustracción).
El código de dos colores puede ser interpretado en el sistema binario de numeración: rojo = 0; verde = 1. A los resultados de las operaciones se los puede entonces digitalizar. Y a los términos que participan de las operaciones, también. De este modo, las operaciones con conjuntos se convierten en operaciones con números.A. Calini – E. Jurisich – S. Shields, "Set Theory and Logic", Set Theory and Logic, College of Charleston, 2008
Diagramas de Venn y cantidad de definiciones Los siguientes diagramas muestran la cantidad de regiones en que queda dividido el conjunto universal con una, dos y tres definiciones. frameless|x150px|Diagrama de Venn - 1 conjuntoframeless|x150px|Diagrama de Venn - 2 conjuntosframeless|x150px|Diagrama de Venn - 3 conjuntos1 conjunto (1 color)2 conjuntos (3 colores)3 conjuntos (7 colores) Entre los colores se cuenta el gris, que en todos los casos corresponde a los elementos que no caen en ninguna definición.
Diagrama de un conjunto Tiene solamente 2 regiones: la de los elementos que responden a la definición A y la de los que se oponen a ella.
Diagrama de dos conjuntos Tiene 4 regiones. Considérese el siguiente ejemplo: el conjunto A es el de los animales bípedos y el conjunto B es el de los animales que pueden volar. El área donde las dos regiones se superponen contiene por lo tanto a todos los animales que, al mismo tiempo, son bípedos y pueden volar. En resumen: A (regiones amarilla y verde): animales bípedos, B (regiones azul y verde): animales que pueden volar, A y B (región verde): animales bípedos que pueden volar, A y no B (región amarilla): animales bípedos que no pueden volar, no A y B (región azul): animales no bípedos (que no tienen dos patas) que pueden volar, no A y no B (región gris): animales no bípedos que no pueden volar, A o B (regiones amarilla, azul y verde): animales bípedos o que pueden volar. Los pingüinos, que tienen dos patas y no pueden volar, están en la región amarilla; los mosquitos, que tienen seis patas y pueden volar, están en la región azul; los loros, que tienen dos patas y pueden volar, están en la región verde; las ballenas, que no tienen patas ni pueden volar, están en la región gris.
Diagrama de tres conjuntos Tienen 8 regiones. Los diagramas de tres conjuntos fueron los más usados por Venn en toda su obra. Un ejemplo de aplicación podría ser el siguiente: dado un grupo de personas, A es el conjunto de las de sexo masculino, B el conjunto de las mayores de 18 años y C el conjunto de las que trabajan. De este modo, la región verde sería la de las personas de sexo masculino, mayores de 18 años, que no trabajan.Juan José Luetich, "Operaciones con tres conjuntos" , Luventicus – Universidad, Rosario, Academia Luventicus, 2003
Diagramas de más de tres conjuntos La dificultad de representar más de tres conjuntos mediante diagramas de Venn es evidente. Venn sentía afición por los diagramas de más de tres conjuntos, a los que definía como "figuras simétricas, elegantes en sí mismas". A lo largo de su vida, diseñó varias representaciones usando elipses, y dejó indicaciones para la construcción de diagramas con cualquier cantidad de curvas, partiendo del diagrama de tres círculos.Frank Ruskey – Mark Weston, A Survey of Venn Diagrams , "What is a Venn Diagram?", The Electronic Journal of Combinatorics, combinatorics.org, 2005
Diagramas de Edwards