Diagramas de Venn

Mara Manzano
USAL
Febrero 2010
Mara Manzano (USAL) Venn Febrero 2010 1 / 22
Diagramas de Venn
Diagrama Hoja de Trbol
A
B
C
5 2
8
U
6
1
3 4
7
Figura: Hoja de trbol
Mara Manzano (USAL) Venn Febrero 2010 2 / 22
Diagramas de Venn
reas del diagrama
Pertenece a a A, pertenece a a B, pertenece a a C?
rea 1
si, si, si
ABC
rea 2
si, si, no
(AB) C
rea 3
si, no, si
(AC) B
rea 4
no, si, si
(BC) A
rea 5
si, no, no
A(B'C)
rea 6
no, si, no
B(A'C)
rea 7
no, no, si
C(A'B)
rea 8
no, no, no
~ (A'B'C)
Mara Manzano (USAL) Venn Febrero 2010 3 / 22
Diagramas de Venn
Convenciones
1
Sombrearemos en el diagrama las zonas vacas.
2
Usaremos cruces entrelazadas para indicar la existencia de elementos
en una zona.
3
Las zonas de las que carecemos de informacin permanecern sin
sombras ni cruces.
Mara Manzano (USAL) Venn Febrero 2010 4 / 22
Diagramas de Venn
Sintaxis
La representacin diagramtica utiliza cuatro objetos bsicos
1
Rectngulo
2
Curva cerrada
3
Sombreado
4
Cruces
Como objetos auxiliares:
5
Lneas, para unir las cruces
6
Para nombrar las curvas y el rectngulo se usarn letras.
Mara Manzano (USAL) Venn Febrero 2010 5 / 22
Diagramas de Venn
Representar zonas vacas
Para expresar en el diagrama que Q _ P sombrearemos en el diagrama el
rea QP.
Q P
U
Figura: Q _ P
Mara Manzano (USAL) Venn Febrero 2010 6 / 22
Diagramas de Venn
Representar existencia elementos
Para indicar en el diagrama que ~ (PQ) ,= pondremos una pequea
marca en todas aquellas zonas que constituyen ~ (PQ) y uniremos
estas marcas entre s
Q P
U
Figura: ~ (PQ) ,=
Mara Manzano (USAL) Venn Febrero 2010 7 / 22
Diagramas de Venn
Superposicin de diagramas
U
P Q
U
P
U
&
P Q Q
Mara Manzano (USAL) Venn Febrero 2010 8 / 22
Diagramas de Venn
Consistencia e inconsistencia
Inconsistente: sombreados y cruces entrelazadas y un entrelazado completo
todo sombreado. Consistente en el resto de los casos.
P
U
Q P
U
Q P
U
Q
P ,= P _ Q P _~ Q
El resultado nal es el siguiente:
P
U
Q
Diagrama nal
Mara Manzano (USAL) Venn Febrero 2010 9 / 22
Diagramas de Venn
Modelos que satisfacen diagramas
En los cuatro apartados que siguen pondremos algunos modelos del
diagrama de la gura Q _ P.
1
| =1, 2, 3 P = 1, 2 Q = 2
2
| =1, 2, 3 P = Q =
3
| = n [ n es un nmero natural} P = n [ n es un nmero par}
Q = n [ n es mltiplo de cuatro
4
| =x [ x es un pas P = x [ x es un pas mediterrneo
Q = Espaa, Italia
Mara Manzano (USAL) Venn Febrero 2010 10 / 22
Diagramas de Venn
Razonamientos con diagramas I
Hiptesis 1 J R ,=
Hiptesis 2 E J =
Conclusin (J R) ~ E ,=
J
R
U
E
J
R
E
U
J
R
U
E
Hiptesis 1 Hiptesis 2 Conclusin negada
J
R
U
E
Diagrama nal
Diagrama Inconsistente F
Razonamiento Correcto F
Mara Manzano (USAL) Venn Febrero 2010 11 / 22
Diagramas de Venn
Razonamientos con diagramas II
Hiptesis 1 L _ F
Hiptesis 2 L ~ C ,=
Conclusin C ~ F ,=
L
F
U
C
L
F
U
C
L
F
U
C
Hiptesis 1 Hiptesis 2 Conclusin negada
L
F
U
C
Diagrama nal
Diagrama Consistente F
Razonamiento Incorrecto F
Mara Manzano (USAL) Venn Febrero 2010 12 / 22
Diagramas de Venn
Contraejemplo
Puesto que el diagrama nal es consistente, construimos un modelo que
cumpla las especicaciones del mismo.
| = a, b, c F = a, b, c C = a, b L = a, c
Se observa que en este modelo se cumplen las hiptesis, pues:
a, c = L _ F = a, b, c
a, c c = c ,= L ~ C ,= )
Pero la conclusin C ~ F ,= falla, pues:
, b =
Mara Manzano (USAL) Venn Febrero 2010 13 / 22
Diagramas de Venn
Hallar conclusin
Los casos son tres:
1
El diagrama de las hiptesis slo contiene reas sombreadas. En este
caso cualquiera de las subreas sombreadas est sombreada y puede
ser una conclusin.
2
El diagrama de las hiptesis contiene sombreado y cruces:
1 Es inconsistente.
2 Es consistente. En este caso cualquiera de las subreas sombreadas
est sombreada y puede ser una conclusin. Tambin lo es cualquiera
de los entrelazados tomado completo e incluso un nuevo entrelazado
que una los entrelazados existentes (si hay ms de uno).
3
El diagrama de las hiptesis slo contiene cruces entrelazadas. Ser
conclusin cualquiera de los entrelazados tomado completo e incluso
un nuevo entrelazado que una los entrelazados existentes (si hay ms
de uno).
Mara Manzano (USAL) Venn Febrero 2010 14 / 22
Diagramas de Venn
La Isla del Tesoro I
HIPTESIS 1 Todos los piratas enrolados en La Espaola saben de la
existencia de un tesoro.
P _ T
HIPTESIS 2 Nadie que sepa de la existencia de un tesoro obra
desinteresadamente.
T _~ D
CONCLUSIN Hay piratas que obran desinteresadamente, pero no
van enrolados en La Espaola.
D ~ P ,=
Mara Manzano (USAL) Venn Febrero 2010 15 / 22
Diagramas de Venn
La Isla del Tesoro II
P
T
U
D
P
T
U
D
P
T
U
D
Hiptesis 1 Hiptesis 2 Conclusin negada
P
T
U
D
Diagrama nal
Diagrama
Consistente F
Inconsistente
Razonamiento
Correcto
Incorrecto F
Mara Manzano (USAL) Venn Febrero 2010 16 / 22
Diagramas de Venn
La Isla del Tesoro III
Puesto que el diagrama nal es consistente, construimos un modelo que
cumpla las especicaciones del mismo.
| = 1, 2 P = D = T = 1
Se observa que en este modelo se cumplen las hiptesis, pues:
= P _ T =1 1 = T _~ D =1, 2
Pero la conclusin D ~ P ,= falla, pues:
~ P =
Mara Manzano (USAL) Venn Febrero 2010 17 / 22
Diagramas de Venn
Hallar conclusin: Slo sombreado
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
Figura: Slo contiene reas sombreadas
Mara Manzano (USAL) Venn Febrero 2010 18 / 22
Diagramas de Venn
Hallar conclusin: cruces y sombreado
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
Figura: reas sombreadas y cruces entrelazadas
Mara Manzano (USAL) Venn Febrero 2010 19 / 22
Diagramas de Venn
Hallar conclusin: slo cruces
A
B
U
C
A
B
U
C
A
B
U
C
A
B
U
C
Figura: Slo contiene cruces entrelazadas
Mara Manzano (USAL) Venn Febrero 2010 20 / 22
Diagramas de Venn
Lewis Carroll: Hiptesis
HIPTESIS 1 Algunas ostras (O) son silenciosas (S).
OS ,=
HIPTESIS 2 Las criaturas silenciosas no son divertidas (D).
S _~ D
Mediante diagramas de Venn buscamos conclusin al argumento:
O
S
U
D
O
S
U
D
O
S
U
D
Hiptesis 1 Hiptesis 2 Superposicin de hiptesis
Mara Manzano (USAL) Venn Febrero 2010 21 / 22
Diagramas de Venn
Lewis Carroll: conclusin
De entre las diversas conclusiones posibles elegiremos la estndar; esto es,
la que relaciona a los conjuntos O y D.
O
S
U
D
O ~ D ,=
Expresada en espaol dira:
Algunas ostras no son divertidas.
Mara Manzano (USAL) Venn Febrero 2010 22 / 22