DIAGRAMA DE VENN

Los diagramas de Venn son esquemas usados en la teora de conjuntos, tema de

inters en matemticas, lgica de clases y razonamiento diagramtico. Estos
diagramas muestran colecciones (conjuntos) de cosas (elementos) por medio de
lneas cerradas. La lnea cerrada exterior abarca a todos los elementos bajo
consideracin, el conjunto universal U.
Los diagramas de Venn fueron ideados hacia 1880 por John Venn.
Orgenes e historia
Interseccin: unir todos los elementos en la unin del crculo.
Interseccin: es copiar los elementos repetidos.

Vitral del comedor del Caius College (Cambridge) en homenaje a John Venn y su
creacin
Los diagramas de Venn tienen el nombre de su creador, John Venn, matemtico y
filsofo britnico. Estudiante y ms tarde profesor del Caius College de
la Universidad de Cambridge, Venn desarroll toda su produccin intelectual en
ese mbito.
Los diagramas que hoy conocemos fueron presentados en julio de 1880 en el
trabajo titulado De la representacin mecnica y diagramtica de proposiciones y
razonamientos que tuvo gran repercusin en el mundo de la lgica formal. Los
diagramas de Venn tienen varios antecedentes. La primera representacin grfica
de deducciones lgicas y, en particular, de silogismos se atribuye
comnmente a Gottfried Leibniz. Variantes de la misma fueron empleadas luego
por George Boole y Augustus De Morgan, pero fue el gran matemtico
suizo Leonard Euler quien primero introdujo una notacin clara y sencilla. El
siguiente diagrama muestra de otro modo la relacin de inclusin del ejemplo dado
en la introduccin.
 diagrama de Euler

Los diagramas de Euler se distinguen de los de Venn en dos aspectos:

En ellos no aparecen las regiones vacas y el conjunto universal no se representa.
Si bien fue Venn quien introdujo la expresin "universo del discurso", l nunca
represent al universal en sus trabajos.3Por eso la idea de conjunto universal se
atribuye habitualmente a Charles Dodgson, ms conocido como Lewis Carroll, el
lgico y autor de cuentos para nios que populariz el concepto de conjunto
complementario. El conjunto universal fue cuestionado por Bertrand Russell, quien
mostr que con tal concepto la teora de conjuntos resultaba inconsistente
(vase paradoja de Russell). Sin embargo, dicha definicin fue rescatada y aun
justificada en una reciente extensin de los diagramas de Venn que distingue al
universal del Todo (universo del discurso). Por las dos razones recin
mencionadas, los diagramas de Venn llegaron a convertirse en el nuevo estndar
para la formalizacin de operaciones lgicas y los sistemas de representacin
anteriores cayeron en desuso.
Tiempo despus de la aparicin del primer artculo, Venn desarroll algo ms su
nuevo sistema en el libro Lgica simblica, publicado en 1881 y cuyo propsito era
interpretar y revisar los trabajos de Boole en el campo de la lgica formal. Este
libro sirvi sobre todo para presentar ejemplos del uso de los diagramas. Otro libro
de Venn que ayud a divulgar el nuevo sistema de representacin fue el
titulado Los principios de la lgica emprica o inductiva, publicado en 1889.
La primera constancia escrita del uso de la expresin "diagrama de Venn" es muy
tarda (1918) y se encuentra en el libro A Survey of Symbolic Logic de Clarence
Irving Lewis.
Diagrama de tres conjuntos
Tienen 8 regiones. Los diagramas de tres conjuntos fueron los ms usados por
Venn en toda su obra. Un ejemplo de aplicacin podra 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 aos y C el conjunto de las que trabajan. De este modo, la regin
verde sera la de las personas de sexo masculino, mayores de 18 aos, que no
trabajan.
Diagramas de ms de tres conjuntos
La dificultad de representar ms de tres conjuntos mediante diagramas de Venn es
evidente. Venn senta aficin por los diagramas de ms de tres conjuntos, a los
que defina como "figuras simtricas, elegantes en s mismas". A lo largo de su
vida, dise varias representaciones usando elipses, y dej indicaciones para la
construccin de diagramas con cualquier cantidad de curvas, partiendo del
diagrama de tres crculos.