Diagrama de Venn

Diagrama de Venn mostrando la interseccin de dos conjuntos.

Los diagramas de Venn son ilustraciones usadas en la rama de

la Matemtica y Lgica de clases conocida como teora de conjuntos. Estos
diagramas se usan para mostrar grficamente la agrupacin de
cosas elementos en conjuntos, representando cada conjunto mediante un crculo
o un valo. La posicin relativa en el plano de tales crculos muestra la relacin
entre los conjuntos. Por ejemplo, si los crculos de los conjuntos A y B se solapan,
se muestra un rea comn a ambos conjuntos que contiene todos los elementos
contenidos a la vez en A y en B. Si el crculo del conjunto A aparece dentro del
crculo de otro B, es que todos los elementos de A tambin estn contenidos en B.
 Contenido
[ocultar]
1 Orgenes
e Historia
2 Tipos de
diagramas
de Venn
2.1 Diagra
ma de dos
conjuntos
2.2 Diagra
mas de tres
conjuntos
3 Ms de
tres
conjuntos
3.1 Diagra
mas de
Venn de
Edwards
3.2 Otros
diagramas
4 Diagram
as
similares
4.1 Diagra
mas de
Euler
4.2 Diagra
ma de
Johnston
4.3 Mapa
de
Karnaugh
4.4 Diagra
ma de
Peirce
5 Referenc
ias
6 Bibliogra
fa
7 Vase
tambin
8 Enlaces
externos
8.1 Herram
ientas para
hacer
diagramas
de Venn
8.2 Herram
ientas para
hacer
diagramas
de Euler

[editar]Orgenes e Historia

Ventanal en el comedor del Gonville and Caius College, Cambridge, conmemorando la estancia de Venn y su
principal creacin.

Los diagramas de Venn tienen el nombre de su creador, John

Venn, matemtico y filsofo britnico. Estudiante y ms tarde profesor en el Caius
College de la Universidad de Cambridge, desarroll toda su produccin intelectual
entre esas cuatro paredes.
Venn introdujo el sistema de representacin que hoy conocemos en julio
de 1880 con la publicacin de su trabajo titulado De la representacin mecnica
y diagramtica de proposiciones y razonamientos1 2 3 en el Philosophical
Magazine and Journal of Science, provocando un cierto revuelo en el mundo de la
lgica formal. Aunque la primera forma de representacin geomtrica
de silogismos lgicos se atribuye comnmente a Gottfried Leibniz, y fue luego
ampliada por George Boole y Augustus De Morgan, el mtodo de Venn superaba
en claridad y sencillez a los sistemas de representacin anteriores, hasta el punto
de convertirse con el tiempo en un nuevo estndar. Venn fue el primero en
formalizar su uso y en ofrecer un mecanismo de generalizacin para los mismos.
Ms adelante desarroll algo ms su nuevo mtodo en su libro Lgica simblica,
publicado en 1881 con el nimo de interpretar y corregir los trabajos de Boole en
el campo de la lgica formal. Aunque no tuvo demasiado xito en su empeo, su
libro se convirti en una excelente plataforma de ejemplo para el nuevo sistema
de representacin. Sigui usndolo en su siguiente libro sobre lgica (Los
principios de la lgica emprica, publicado en 1889), con lo que los diagramas de
Venn fueron a partir de entonces cada vez ms empleados como representacin
de relaciones lgicas.
La primera referencia escrita al trmino "diagrama de Venn" de la que se tiene
constancia es muy tarda (1918), en el libro A Survey of Symbolic Logic,
de Clarence Irving Lewis.4 5 6
Los diagramas de Venn se emplean hoy da para ensear matemticas
elementales y para reducir la lgica y la Teora de conjuntos al clculo simblico
puro. Se suelen usar tambin en el aula diagramas de Venn de dos o tres
conjuntos como herramienta de sntesis, para ayudar a los estudiantes a
comparar y contrastar dos o tres de elementos; en este uso, se incluyen dentro de
cada elemento las caractersticas exclusivas, y en las intersecciones, las comunes
con los otros.
 [editar]Tipos de diagramas de Venn
[editar]Diagrama de dos conjuntos

Conjuntos A y B.

Considrese el ejemplo a la derecha: supngase que el conjunto A (el crculo

anaranjado) representa, por ejemplo, a todas las criaturas vivas con solo dos
piernas motrices y que el conjunto B (el crculo azul) contiene a todas las criaturas
que pueden volar. El rea donde ambos crculos se superponen (que recibe el
nombre de interseccin entre A y B, o interseccin A - B) contendra por tanto
todas las criaturas que, al mismo tiempo, pueden volar ytienen slo dos piernas
motrices.
Imaginemos ahora que cada tipo distinto de criatura viva est representado con
un punto situado en alguna parte del diagrama. Los humanos y
los pinginosestaran dentro del crculo naranja (el conjunto A) en la parte en la
que no se superpone con el crculo azul (el conjunto B), ya que ambos son bpedos
y no pueden volar. Los mosquitos, que tienen seis piernas motrices y pueden
volar, estaran representados con un punto dentro del crculo azul fuera de la
interseccin A - B. Los loros, que tienen dos piernas motrices y pueden volar,
estaran representados por un punto dentro de la interseccin A - B. Cualquier tipo
de criatura que ni tuviera dos piernas ni pudiera volar (como por ejemplo
las ballenas o las serpientes), estara representado mediante puntos fuera de
ambos crculos.
El diagrama de Venn representado en el ejemplo 1 puede describirse como
la relacin entre el conjunto A y el conjunto B. El rea combinada de ambos
conjuntos recibe el nombre de unin de los conjuntos A y B. La unin en este
caso contiene todos los tipos de criaturas que tienen dos piernas, pueden volar, o
ambas cosas a la vez. El rea donde los conjuntos A y B se solapan se define
como la interseccin de A y B. Contiene todos los tipos de criaturas que
pertenecen a la vez a A y a B, es decir, que tienen dos piernas y pueden volar.

Diagrama de Venn mostrando todas las intersecciones posibles entre tres conjuntosA, B y C.

Un diagrama de Venn de dos conjuntos define 4 reas diferentes (la cuarta es la

exterior), que pueden unirse en 6 posibles combinaciones:
A (dos patas)
B (vuelan)
A y B (dos patas y vuelan)
A y no B (dos patas y no vuelan)
no A y B (ms o menos de dos patas, y vuelan)
no A y no B (ni tienen dos patas ni vuelan)
A veces se incluye un rectngulo alrededor del diagrama de Venn, que recibe el
nombre de universo de discurso (antes se crea en la existencia de un conjunto
universal pero Bertrand Russell descubri que con tal concepto el sistema es
inconsistente vase paradoja de Russell). Se usa para representar el conjunto de
todas las cosas posibles. La definicin del universo, al igual que la de los
conjuntos, depende del diagrama sobre el que se representa. La idea de conjunto
universal, aunque fue apuntada por el propio Venn, se atribuye habitualmente a
Charles Dodgson, ms conocido comoLewis Carroll.
[editar]Diagramas de tres conjuntos
Los diagramas de tres conjuntos fueron los ms corrientes elaborados por Venn en
su presentacin inicial. Las distintas intersecciones de los tres
conjuntos A, B y C definen SIETE reas diferentes, cuyas posibles uniones
suponen 256 combinaciones distintas de los tres conjuntos iniciales.
[editar]Ms de tres conjuntos
La dificultad de representar ms de tres conjuntos mediante diagramas de Venn
(o cualquier otra representacin grfica) es evidente. Venn senta aficin a la
bsqueda de diagramas para ms de tres conjuntos, a los que defina como
"figuras simtricas, elegantes en s mismas". A lo largo de su vida dise varias
de estas representaciones usando elipses, as como indicaciones para la creacin
de diagramas con cualquier cantidad de curvas, partiendo del diagrama de tres
crculos.
[editar]Diagramas de Venn de Edwards
A. W. F. Edwards dise representaciones para diagramas de Venn de ms de tres
conjuntos, proyectando el diagrama sobre una esfera. Se pueden representar
fcilmente tres conjuntos tomando tres hemisferios en ngulos rectos (x=0, y=0
y z=0). Un cuarto conjunto se puede representar tomando una curva similar a la
juntura de una pelota de tenis que suba y baje alrededor del ecuador. Los
conjuntos resultantes pueden proyectarse de nuevo sobre el plano para mostrar
diagramas de engranaje, con cantidades cada vez mayores de dientes. Edwards
ide estos diagramas mientras diseaba la ventana acristalada en memoria de
Venn que hoy adorna el comedor de su colegio.

Diagrama para tres conjuntos. Diagrama para cuatro conjuntos. Diagrama para cinco conjuntos. Diagrama p
[editar]Otros diagramas
Los diagramas de Edwards son topolgicamente equivalentes a los diagramas
diseados por Branko Grnbaum, que se basaban en polgonos intersecados, con
cantidades crecientes de lados.Phillip Smith ide diagramas similares
de n conjuntos usando curvas senoidales en ecuaciones como y=sin(2ix)/2i, 0 i
n-2. Por su parte, Lewis Carroll dise un diagrama de cinco conjuntos.
Vanse tambin: Carta de Smith y Diagrama de Carroll
[editar]Diagramas similares
[editar]Diagramas de Euler

Diagrama de Euler.

Los diagramas de Euler son similares a los de Venn, pero no necesitan todas las
posibles relaciones. Los diagramas de Euler permiten representar inclusin de una
clase en otra. Por ejemplo, en el representado a la derecha un conjunto (el A) est
totalmente incluido en otro (el B), mientras que otro (elC) no tiene ninguna
relacin con los dos anteriores.
Los diagramas de Euler anteceden a los diagramas de Venn,7 pero son distintos.
Fueron introducidos por Euler para ayudar en la comprensin. John Vennintenta
rectificar algunas deficiencias a travs de los Diagramas de Venn.
Supongamos que el conjunto A representa todos los tipos de queso que pueden
encontrarse en el mundo, y el B representa a todos los comestiblesexistentes en
el mundo. Segn el diagrama, se ve claramente que todos los quesos son
comestibles, pero no todos los comestibles son quesos. Si definimos el
conjunto C como el de las cosas hechas de metal, el diagrama nos permite
representar de forma evidente dos afirmaciones adicionales: los comestibles no
estn hechos de metal, y las cosas hechas de metal no son comestibles.
[editar]Diagrama de Johnston

Diagrama de Johnston para la expresinni A ni B son ciertas.

Los diagramas de Johnston se usan para ilustrar afirmaciones lgicas como ni A ni

B son ciertas, y son una forma visual de ilustrar tablas de verdad. Pueden ser
idnticos en apariencia a diagramas de Venn, pero no representan conjuntos de
elementos.
[editar]Mapa de Karnaugh
Artculo principal: Mapa de Karnaugh.
Los Mapas de Karnaugh o Diagramas de Veitch son otra forma de representar de
forma visual expresiones de lgebra booleana.
[editar]Diagrama de Peirce
Los diagramas de Peirce, creados por Charles Peirce, son extensiones de los
diagramas de Venn que incluyen informacin sobre afirmaciones existenciales,
disyuntivas, de probabilidades y otras relaciones.8
[editar]Referencias

Con diagramas de Venn-Euler. Cuatro problemas resueltos.

CUANDO DECIMOS, POR EJEMPLO "CUNTAS PERSONAS NO TOMABAN NI T NI CAF?" DEBE
INTERPRETARSE EL LENGUAJE CORRIENTE EN QUE HABLAMOS LOS ARGENTINOS Y NO UNA DOBLE
NEGACIN LGICA.

1) En el diagrama que colocamos a continuacin, se han volcado

los datos obtenidos en una encuesta, realizada a personas, donde
se les pregunt si tomaban t o caf. Los nmeros que aparecen se
refieren a las cantidades de personas que respondieron a la
pregunta en las diversas formas posibles: solamente t, t y caf,
ninguna de las dos bebidas, etc.

En base a estos datos responderemos a las siguientes preguntas:

Cuntas personas tomaban t? Rta. 6 personas.
1.Cuntas personas tomaban caf? Rta. 9 personas.
2.Cuntas personas tomaban t y caf? Rta. 4 personas.
3.Cuntas personas no tomaban ninguna de las dos bebidas?
Rta. 1 persona.
4.Cuntas personas no tomaban t? Rta. 6 personas.
5.Cuntas personas no tomaban caf? Rta. 3 personas.
6.Cuntas personas tomaban por lo menos una de esas dos
bebidas? Rta. 11 personas.
7.Cuntas personas tomaban slo una de esas dos bebidas?
Rta. 7 personas.
8.Cuntas personas tomaban slo caf? Rta. 5 personas.
 9.Cuntas personas tomaban alguna de esas bebidas? Rta. 11
personas.

2) Durante el mes de abril, una empresa ha fabricado diariamente

productos del tipo A o del tipo B (o ambos), excepto 4 domingos
durante los cuales no ha fabricado nada. Sabiendo que 15 das del
mes ha fabricado A, y 20 das ha fabricado B, a) cuntos das del
mes ha fabricado ambos productos? b) cuntos das del mes ha
fabricado slo productos del tipo A? c) cuntos das del mes ha
fabricado slo productos del tipo B?
El dato de los 4 domingos puede volcarse directamente en el
diagrama. Obviamente existieron das en que se fabricaron ambos
productos, pues de lo contrario abril tendra 39 das. Luego, dado
que abril slo tiene 30 das debieron haber 9 das en que se
fabricaron ambos productos. Por diferencia de este nmero con 15
y con 20 se obtuvieron 6 y 11 respectivamente. Rtas. a) 9 das; b) 6
das; c) 11 das.
3) En el diagrama que colocamos a continuacin, se han volcado
los datos obtenidos en una encuesta, realizada a personas, donde
se les pregunt si tomaban t, caf o chocolate. Los nmeros que
aparecen se refieren a las cantidades de personas que
respondieron a la pregunta en las diversas formas posibles: las
tres bebidas, slo t, t y chocolate pero no caf, etc.

En base a estos datos responderemos a las siguientes preguntas:

1.Cuntas personas fueron encuestadas? Rta. 30 personas.
2.Cuntas personas tomaban por lo menos una de esas tres
bebidas? Rta. 28 personas.
3.Cuntas personas tomaban t? Rta. 13 personas.
4.Cuntas personas tomaban slo dos de esas tres bebidas
bebidas? Rta. 9 personas.
 5.Cuntas personas tomaban exactamente dos de esas tres
bebidas? Rta. 9 personas.
6.Cuntas personas tomaban menos de dos de esas tres
bebidas? Rta. 20 personas.
7.Cuntas personas tomaban exactamente una de esas dos
bebidas? Rta. 18 personas.
8.Cuntas personas tomaban slo chocolate? Rta. 7 personas.
9.Cuntas personas tomaban caf? Rta. 12 personas.
10. Cuntas personas no tomaban t? Rta. 17 personas.
11. Cuntas personas tomaban las tres bebidas? Rta. 1
persona.
12. Cuntas personas no tomaban las tres bebidas? Rta. 29
personas.
13. Cuntas personas no tomaban ninguna de esas tres
bebidas? Rta. 2 personas.
14. Cuntas personas no tomaban ni t ni caf? Rta. 9
personas.
15. Cuntas personas no tomaban caf? Rta. 18 personas.
16. Cuntas personas tomaban t y caf? Rta. 4 personas.
Cuntas personas tomaban t y caf pero no chocolate? Rta.
3 personas.
17. Cuntas personas tomaban chocolate y caf? Rta. 3
personas.
18. Cuntas personas tomaban chocolate y caf pero no t?
Rta. 2 personas.
4) Un grupo de jvenes fue entrevistado acerca de sus preferencias
por ciertos medios de transporte (bicicleta, motocicleta y
automvil). Los datos de la encuesta fueron los siguientes:
I) Motocicleta solamente: 5
II) Motocicleta: 38
III) No gustan del automvil: 9
IV) Motocicleta y bicicleta,
 pero no automvil:3
V) Motocicleta y automvil
pero no bicicleta: 20
VI) No gustan de la bicicleta:
72
VII) Ninguna de las tres cosas:
1
VIII)No gustan de la
motocicleta: 61
1.Cul fue el nmero de personas entrevistadas?
2.A cuntos le gustaba la bicicleta solamente?
3.A cuntos le gustaba el automvil solamente?
4.A cuntos le gustaban las tres cosas?
5.A cuntos le gustaba la bicicleta y el automvil pero no la
motocicleta?

Tratemos de volcar los datos en un diagrama de Venn para

tres conjuntos.

Nos encontraremos con que slo cuatro de ellos (los nmeros

I), IV), V) y VII) se pueden volcar directamente:
Ahora con el dato II) se puede completar la nica zona que
falta en el conjunto MOTO, haciendo la diferencia 38 - (20+5+3)
= 10:

Luego utilizaremos el dato VI), pues si consideramos todas las

zonas, excepto las cuatro correspondientes al
conjunto BICI, debern sumar 72, luego 72 - (20+5+1) = 46:
Despus de ello, podremos usar el dato III), pues si
consideramos todas las zonas, excepto las cuatro
correspondientes al conjunto AUTO, debern sumar 9, luego 9 -
(5+3+1) = 0:

Por ltimo utilizaremos el dato VIII) pues si consideramos

todas las zonas, excepto las cuatro correspondientes al
conjunto MOTO, debern sumar 61, luego 61 - (46+0+1) = 14:

Con lo que estamos en condiciones de responder a todas las

preguntas:
a.A 99 personas.
b.A ninguna.
c.A 46 personas.
d.A 10 personas.
e.a 14 personas.