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

en matemtica, 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.
ndice
[ocultar]

1 Introduccin
o

1.1 Interseccin

1.2 Inclusin

1.3 Disyuncin

2 Orgenes e historia

3 Diagramas de Venn de enunciados

4 Diagramas de Venn y cantidad de definiciones

o

4.1 Diagrama de un conjunto

4.2 Diagrama de dos conjuntos

4.3 Diagrama de tres conjuntos

4.4 Diagramas de ms de tres conjuntos

4.4.1 Diagramas de Edwards

4.4.2 Otros diagramas

5 Otras representaciones

5.1 Lneas de Leibniz

5.2 Crculos de Euler

5.3 Mapas de Karnaugh

5.4 Grficos de Peirce

6 Vase tambin

7 Referencias

8 Enlaces externos

Introduccin[editar]
Con los diagramas de Venn es posible representar las relaciones de interseccin, inclusin y
disyuncin sin cambiar la posicin relativa de los conjuntos

Interseccin[editar]
Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas por sus
lneas lmite se superponen. El conjunto de los elementos que pertenecen simultneamente a
otros dos es la interseccin de ambos.1

A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 15}
U = {x | x es natural menor o igual que 16}

Inclusin[editar]
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.1 En los diagramas
de Venn, todas las regiones de superposicin posibles deben ser representadas. Y, cuando
hay regiones que no contienen elementos (regiones vacas), la situacin se indica anulndolas
(con un color de fondo distinto).2

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}

A = {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}

Disyuncin[editar]
Cuando los conjuntos no tienen elementos comunes, la regin de superposicin queda vaca.

A = {2; 4; 6; 8}
B = {1; 3; 5; 7; 9}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}

A = {x | x es par y de una cifra}

B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que 10}

A la izquierda de los diagramas, las definiciones de los conjuntos por enumeracin y por
comprensin.

Orgenes e historia[editar]

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.3 Estudiante y ms tarde profesor del Caius College de la Universidad de Cambridge,
Venn desarroll toda su produccin intelectual en ese mbito. 4
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,5 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 Leonhard Euler quien primero introdujo una notacin clara y sencilla. 2 El siguiente
diagrama muestra de otro modo la relacin de inclusin del ejemplo dado en la introduccin.

diagrama de Euler