Conjuntos

Trabajo Prctico N 2
Conjuntos
1) Escribir simblicamente
a) R es un subconjunto de T d) M no es un subconjunto de S
b) x es un elemento de Y e) z no pertenece a A
c) El conjunto vaco f) R pertenece a A
2) Escribir por extensin los conjuntos :
i) A = { x : x es vocal } iv) D = { x : x
2
- 2 = 0 }
ii) B = {x es dgito del nmero 2324} v) E = { x : x
2
= 9 . x - 3 = 5 }
iii) C = {x : x es una letra de la palabra fallar}
3) a) Escribir por comprensin los siguientes conjuntos :
A = { 1, 2, 4, 8, 16, . . . . } C = { 1, -1 }
B = { 1, 3, 5, 7, 9, . . . . . } D = { 1, 4, 9, 16, 25, 36 }
b) Escribir por extensin los siguientes conjuntos definidos por
comprensin :
A = { x / x e N . 3 s x s 10 } B = { x / x e N . 5 / x}
4) Sean A = { 1, 2, . . . . ., 8, 9 } ; B = { 2, 4, 6, 8 } ;
C = {1, 3, 5, 7, 9 } D = { 3, 4, 5 }; E = { 3, 5 }
Cules conjuntos son iguales a X ? , si se da la siguiente informacin :
i) X y B son disyuntos iii) X c A pero A . C
ii) X c D pero X . B iv) X c C pero X . A
5) Indicar en cada caso si la proposicin es verdadera o falsa :
i) { 1, 4, 3 } = { 3, 4, 1 } ii) { 3, 1, 2 } c { 1, 2, 3 }
iii) 1 . { 1, 2 } iv) { 4 } e { { 4 } }
v) { 4 } c { { 4 } } vi) C c { { 4 } }
7) Cuales de los conjuntos siguientes son finitos ?
i) Los meses del ao iv) El conjunto Q de los nmeros racionales
ii) {1, 2, 3, . . . ., 99, 100} v) El conjunto R de los nmeros reales
iii) El nmero de personas que viven en la tierra.
6) Determine si los conjuntos dados son vacos :
i) X = {x : x
2
= 9 . 2 x = 4 } ii) Y = { x : x = x } iii) Z = { x : x + 8 = 8 }
8) En los siguientes diagramas de Venn, sombree:
i) W - V ii) V
c
W iii) V W
c
iv) V
c
- W
c
V
W
V
W
9) Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con
los anteriores, dibujar su diagrama de Venn y rayar las siguientes
zonas :a) A B b) A B c) (A - C) B
d) (A - C) B e) (A B C) D

10) Sean U= {1, 2, . . . . , 8, 9} ; A ={1, 2, 3, 4} ; B = {2, 4, 6, 8} y C = {3, 4, 5, 6} . Hallar :
i) A
c
ii) A C iii) (A C)
c
iv) A B v) (B - C)
11) Sealar si son verdaderas o falsas las siguientes afirmaciones :
a) A c B A c ( A B ) c) C - A = C A
b) B c A ( A B ) . A d) A = B A B = A
12) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian
nicamente francs ; 200 estudian francs e ingls y 50 estudian otros idiomas
diferentes. Cuntos estudian solo ingls ?
a) Encuentre el nmero de estudiantes que estudian las tres materias.
b)Encuentre el nmero de estudiantes que estudian exactamente una
de las tres materias.
13) De 100 estudiantes, 32 estudian matemticas ; 20 estudian fsica ;
45 estudia biologa ; 15 estudian matemticas y biologa ; 7 estudian
matemticas y fsica ; 10 estudian fsica y biologa y 30 no estudian
ninguna de estas tres materias.
14) Se sabe que en la Universidad el 60% de los profesores juega tenis,
el 50% juega ftbol ; el 70% corre ; el 20% juega tenis y ftbol ; el
30% juega tenis y corre y el 40% juega ftbol y corre. Si alguien
afirma que el 20 % de los profesores corre y juega ftbol y tenis
lo creera ? ; porqu ?
15) Setenta y cinco nios fueron a un parque de diversiones donde subieron a la
rueda de la fortuna, la montaa rusa y al trencito. Se sabe que 20 de ellos subieron
a los tres juegos y que 55 subieron al menos a dos de los tres juegos. Cada juego
cuesta $ 0,50 y el costo total fue de $ 70. Determine el nmero de nios que no
subi a ninguno de los juegos.
16) Considere el lenguaje especificado por la gramtica
G = ( T, N, S
0
, P ) donde
T = { a, b, c }; N = { S
0
, A, B }; S
0
es smbolo inicial
P = { S
0
AB, A ab, A a A b, B c, B B c }
Determine si las siguientes cadenas pertenecen o no al lenguaje dado:
a a b b a a a b b c
a a a b b b c c c a b a b c c
17) Sea : L(G) = { a
n
c b
n
; n > 0 } , encuentre si es posible, una gramtica que pueda
generar el lenguaje dado.
Determinacin de conjuntos
Para denotar conjuntos utilizaremos letras maysculas, y para
especificar los elementos que pertenecen (o no) a los conjuntos
usaremos letras minsculas.
el elemento a pertenece al conjunto A, simblicamente
a e A
si el elemento s no pertenece al conjunto A, escribimos
s e A
Si a e A ; b e A ; c e A ; d e A
y solo a ; b ; c y d pertenecen al conjunto A
Podemos escribir :
A = { a, b, c, d }
Hemos definido el conjunto A por extensin,
nominando entre llaves todos y cada uno de los
elementos que lo componen
Una representacin visual de los
conjuntos es la de diagramas de Venn
A
.a
.b
.c
.d
1-2
3
1 2 3
Pero tambin al mismo conjunto A podramos definirlo por comprensin
A = { x /x es una de las primeras cuatro letras del alfabeto }
Definimos por comprensin un conjunto, enunciando las propiedades (o
caractersticas) que son propias de todos los elementos del conjunto y
solamente de ellos
Ejemplo
A = {x / x e N . x < 4 } por comprensin
A = { 1, 2, 3 } por extensin
B = { -2, -1, 0, 1, 2 } por extensin
B = {x / x e Z . |x | s 2 } por comprensin
Si un conjunto no tiene elementos decimos que est vaco
Simblicamente A = C
Cuando el conjunto es infinito, como el conjunto de los nmeros naturales;
acudiendo a un abuso de notacin puede proponerse una determinacin por
extensin aparente como:
N = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, . . . . . . . . . . . . . }
1-2
3 6
1 2 3
6
Por ejemplo:
el conjunto de los nombres de los jugadores de un equipo de ftbol
Entre los 11 jugadores pueden haber algunos cuyos nombres sean los
mismos. Por ejemplo: 3 se laman Juan; 2 se llaman Alberto; y los 6
jugadores restantes tienen nombres diferentes.
Cada jugador es un elemento,
Sea el conjunto A = { a, a, a, b, c, c }
Conformado por 6 elementos de
los cuales 1 se repite tres veces,
otro dos veces y el tercero
aparece una sola vez
Decimos que : la multiplicidad del elemento a en el conjunto A es 3
la multiplicidad del elemento b en el conjunto A es 1
la multiplicidad del elemento c en el conjunto A es 2
Multiconjuntos
Puede suceder que en un conjunto algunos
elementos no sean diferentes (se repiten), este
es el caso de un multiconjunto
aunque hay elementos que tienen el mismo nombre
1-2
3
1 2 3
Puede suceder que todos los elementos de un conjunto, pertenezcan
tambin a otro conjunto.
Por ejemplo: A = { x/x es alumno de la carrera Lic. en Sistemas }
B = { x/x es alumno de FACENA }
Es obvio que todos los alumnos de la carrera de Licenciatura en Sistemas son
alumnos de la Facultad de Ciencias Exctas y Naturales y Agrimensura
Entonces decimos que:
A est includo en B A c B
Sea A = { 1, 2, 3, 4, 5 } en diagramas de Venn
A
1
2
3
4
5
B
B = { 1, 2, 3, 4 }
entonces
B c A
Todos los elementos de B
pertencen al conjunto A
Record siempre que
entre elemento y conjunto la relacin es de pertenencia
entre conjuntos la relacin es de inclusin
4 5 i-iii
5 iv-vi
1a) Si decimos R es un subconjunto de T
Simblicamente escribimos R
R
T
b) Si decimos x es un elemento de Y
Simblicamente escribimos x e y
Y
. x
c) El conjunto vaco simblicamente es A = C
. a
. b
A
d) Si decimos M no es un subconjunto de S
Simblicamente escribimos M . S
M
S
. a
. b
e) z no pertenece a A
A
. a
. b
f) r pertenece a A
A
. r
. b
Simblicamente escribimos z e A
Simblicamente escribimos r e A
c T
tambin A = { }
bien
M
S
. a
. b
. c
2) i) A = { x : x es vocal } por extensin se escribe :
A = { a, e, i, o, u }
ii) B = { x : x es dgito del nmero 2324 } por extensin se escribe
B = { 2, 2, 3, 4 }
con cardinalidad 2 para el elemento 2,
si lo tomamos como multiconjunto
iii) C = {x : x es una letra de la palabra fallar} por extensin se escribe
C = { f, a, a, l, l, r }
con cardinalidad 2 para los elementos
a y l, si es multiconjunto
iv) D = { x : x
2
- 2 = 0 } se buscan los valores de x que verifican la ecuacin
x
2

= 2 x
2
= entonces: x
1
=
2 2
v
D = { 2 , }
v) E = { x : x
2
= 9 . x - 3 = 5 }
se buscan los valores de x que verifiquen
ambas condiciones
x
2
= x
1
= 3 9 =
3 9 = v
y
x
1-2
= 8
Los valores que verifican una de las
condiciones, no verifican la otra y viceversa
en consecuencia
E = C
2
B = { 2, 3, 4 }
al tomarlo
como conjunto
al tomarlo
como conjunto
C = { f, a, l, r }
3) a) A = { 1, 2, 4, 8, 16, . . . . }
por comprensin, son nmeros naturales que
comienzan en 1 y luego se suceden como el
doble del anterior
cualquiera sea i > 0 entonces:
A = { x / x e N . x = 2
i
, i > 0 }
B = { 1, 3, 5, 7, 9, . . . . . }
por comprensin son nmeros naturales impares
x
1
= 2
0
= 1; x
2
= 2
1
= 2; x
3
= 2
2
= 4; x
4
= 2
3
= 8 . . . . . . . . . . x
n
= 2
n-1

B = { x / x e N . x es impar } B = { x / x e N . x = 2h - 1, h > 1 }
C = {1, -1}
por comprensin son nmeros enteros, opuestos
(de igual valor absoluto)
C = { x / x e Z . |x|= 1 }
D = { 1, 4, 9, 16, 25, 36 }
por comprensin son nmeros que resultan de elevar
al cuadrado cualquier natural menor que 7
D= { x / x e N . x = n
2
, con n e N, n < 7 }
b) A = { x / x e N . 3 s x s 10 }
= A = { 3, 4, 5, 6, 7, 8, 9, 10 }
B = { x / x e N . 5 | x }
= B = { 5, 10, 15, 20, 25, . . . . . . }
4) Representamos en diagrama de Venn
A = { 1, 2, . . . . ., 8, 9 }
3
5
2
7
9
4
6
8
1
D
E
C
B
A
B = { 2, 4, 6, 8 }
C = {1, 3, 5, 7, 9 }
D = { 3, 4, 5 }
E = { 3, 5 }
iv) Si X c C pero X . A
i) Si X y B son disyuntos
en el diagrama se aprecia que
ii) Si X c D pero X . B
entonces X = E
iii) Si X c A pero X . C
entonces
entonces X = C
Esto es imposible, porque en este caso
todos los conjuntos dados estn
includos en el conjunto A
X = C X = E
X = B
5) i) { 1, 4, 3 } = { 3, 4, 1 }
Es verdadero
porque los elementos de los dos conjuntos son los mismos y si
dos conjuntos tienen los mismos elementos, son iguales
ii) { 3, 1, 2 } c { 1, 2, 3 }
Es verdadero
los elementos de los dos conjuntos son los mismos
podemos decir: A = B y B = A entonces A = A
Todo conjunto est incluido
en s mismo
iii) 1 . { 1, 2 }
1 e { 1, 2 } porque es un elemento del conjunto
Al establecerse una relacin de
pertenencia
Negamos que se establezca una relacin de inclusin
Mas precisamente 1 no est incluido en { 1, 2 } , sino que pertenece a { 1, 2 }
Es verdadero
5 iv-vi
5) iv) { 4 } e { { 4 } }
{ 4 } es un elemento del conjunto { { 4 } }
La relacin que se establece
entre elemento y conjunto
es de pertenencia
Es verdadero
vi) C c { { 4 } }
v) { 4 } c { { 4 } }
Es falso
C es un conjunto, no es un elemento
(en este caso)
C est incluido en cualquier conjunto
Es verdadero
Recuerde siempre que:
la pertenencia relaciona elementos con conjuntos
la inclusin relaciona conjuntos entre s
el conjunto vaco est incluido en todos los conjuntos

6) Determine si los conjuntos dados son vacos :
i) X = {x : x
2
= 9 . 2 x = 4 }
El conjunto X est conformado por elementos que verifican las dos
ecuaciones dadas en la definicin por comprensin, pero debe verificar
ambas por que los que vincula las ecuaciones es una conjuncin
9 x 9 x
2
= =
x
1
= 3

x
2
= - 3
2 x = 4 2
2
4
= = x
En ningn caso coinciden x
1
o x
2
con x = 1/2
Entonces: X = C
ii) Y = { x : x = x }
El conjunto Y estar conformado por elementos x que
sean distintos de s mismos . . . .
Esto contradice el primer principio de la lgica clsica
todo objeto es idntico a s mismo (P. de Identidad)
Entonces : Y = C
iii) Z = { x : x + 8 = 8 }
x = 8 8 = 0
Z = { 0 }
Entonces : Z = C
Si un conjunto tiene un nmero determinado de elementos,
decimos que es un conjunto finito
Formalmente, dado un conjunto A (de n elementos)
si es posible establecer una
correspondencia biunvoca (uno a uno)
entre los elementos de A con los
elementos de un conjunto B de
cardinalidad n
A B
x
1
x
2
x
3
x
n
a
b
c
n
B es un conjunto finito de n elementos
Un conjunto es infinito, si no es finito.
Si es posible establecer una relacin biunvoca entre los elementos de un
conjunto C cualquiera, con los elementos de N (conjunto de nmeros naturales)
Tenemos en C un conjunto infinito contable o numerable
o lo que es lo mismo, podemos decir que la cardinalidad
de C es infinita contable
7 i-iii
7 iv-v
7) i) El conjunto de los meses del ao es un conjunto finito de doce
elementos
A = { enero, febrero, marzo, abril, mayo, junio, julio, agosto,
septiembre, octubre, noviembre, diciembre }
Es un conjunto finito
ii) B = {1, 2, 3, . . . ., 99, 100} son los cien primeros nmeros naturales
Es un conjunto finito
iii) C = El conjunto de personas que viven en la tierra
este es un conjunto que a priori suele ser
pensado como infinito, o en el mejor de
los casos infinito contable . . .
la cantidad de elementos que posee (personas
que viven sobre la tierra) nos impacta.
debemos reconocer que, si tomamos un instante determinado, la limitacin para poder
contar los elementos es solo tcnica. En el futuro podramos empadronar a cada una de las
personas que viven sobre la tierra
establecer una relacin biunvoca entre el conjunto C y un conjunto
de nmeros naturales cardinalidad n (n de personas que viven
sobre la tierra)
Es un conjunto finito
7 iv-v
7 iv) Q = { x / x e Q } R : conjunto de los nmeros racionales
Para explicar mejor el problema, analizaremos un intervalo cualquiera
de los racionales, por ejemplo el intervalo [0, 1]
Intentamos establecer una correspondencia biunvoca entre los
racionales de [0, 1] (conjunto A) y algn conjunto B de cardinal n
0
1
A
B
1
2
1/2
3
1/4
4
1/8
5
1/16
6
a 0 le corresponde 1 a 1 le corresponde 2
tomamos el valor medio del intervalo [0, 1]
a 1/2 le corresponde 3
tomamos el valor medio entre 0 y 1/2
a 1/4 le corresponde 4
tomamos el valor medio entre 1/4 y 0
a 1/8 le corresponde 5
tomamos el valor medio entre 1/8 y 0
a 1/16 le corresponde 6
siempre es posible establecer en A un nuevo nmero intermedio entre 0
y la ltima fraccin al que le va a corresponder algn elemento de B
la cardinalidad de B as no puede determinarse
Entonces A es un conjunto infinito
Entre cualquier
par de valores de
Racionales, puede
insertarse
siempre uno mas
En el conjunto de los
Reales habrn tambin
nmeros irracionales. .
Como A c Q resulta que Q es conjunto infinito
R: conjunto de los nmeros reales
R es conjunto infinito
7 v) R = { x / x e R }
Operaciones de Conjuntos Operaciones en Diagramas de Venn
Unin
La unin del conjunto A con el conjunto B queda determinada
con todos los elementos que pertenecen al conjunto A
A = { 1, 2, 3 }
B = { 3, 4, 5 }
A B = { 1, 2, 3, 4, 5 }
Interseccin
La interseccin del conjunto A con el conjunto B queda
determinada con los elementos que pertenecen al conjunto A
A = { 1, 2, 3 }
B = { 3, 4, 5 }
A B = { 3 }
y tambin por los los elementos que pertenecen al conjunto B
y al conjunto B (solo a ambos conjuntos)
9-10
8
8 i
9 a-b
10 i-ii
8 ii
8 iii
8 iv
9 c-d 9 e
10 iii-iv 10 v
Diferencia
La diferencia del conjunto A menos el conjunto B
queda determinada con todos los elementos del
conjunto A que no pertenecen al conjunto B
A = { 1, 2, 3 }
B = { 3, 4, 5 }
A - B = { 1, 2 }
Diferencia
simtrica
La diferencia simtrica del conjunto A con el conjunto B queda
determinada con todos los elementos que pertenecen solamente
al conjunto A
A = { 1, 2, 3 }
B = { 3, 4, 5 }
A A B = { 1, 2, 4, 5 }
al conjunto B (pero no a ambos simultneamente)
9-10
8
8 i
9 a-b
10 i-ii
8 ii
8 iii
8 iv
9 c-d 9 e
10 iii-iv 10 v
Conjunto Universal Universo
Es un conjunto que contiene todos los elementos del universo
en el cual estn contenidos los restantes conjuntos
Por ejemplo: A = { x/x e N pares } B = { x/x e N impares }
U = {x/x e N } Universal = todos los nmeros naturales
Otro ejemplo: A = { alumnos de Lic. en Sistemas}
B = { alumnos de Bioqumica }
U = { alumnos de FACENA }
Si algunos
alumnos estudian
las dos carreras
Si ningn alumno
estudia las dos
carreras
Si todos los alumnos de
Bioqumica tambin
estudian Licenciatura
U A
B
U
U
A A
B
B
9-10
8
8 i
9 a-b
10 i-ii
8 ii
8 iii
8 iv
9 c-d 9 e
10 iii-iv 10 v
El complemento del conjunto A est formado por los elementos
que son del Universal pero que no pertenecen al conjunto A
A = { 1, 2, 3 }
A
1
2
3
4
5
B
B = { 3, 4, 5 }
U = { 1, 2, 3, 4, 5, 6, 7 }
6
7
A = U A = { 1, 2, 3, 4, 5, 6, 7 } { 1, 2, 3 } =
A = { 4, 5, 6, 7 }
A tambin puede escribirse A
c
; -A ;
A
U
Al conjunto universal le quitamos los elementos del conjunto A
9-10
8
8 i
9 a-b
10 i-ii
8 ii
8 iii
8 iv
9 c-d 9 e
10 iii-iv 10 v
8) i) W - V

Se resuelve confeccionando el diagrama de Venn
de los conjuntos V y W
Luego sombreamos con azul el conjunto W
y con verde el conjunto V
El resultado es la regin sombreada en azul
(W) que no fue afectada por la sombra verde
Si se trata de la segunda configuracin de conjuntos V c W
sombreamos con azul el conjunto W
y con verde el conjunto V
El resultado sigue siendo la regin sombreada
en azul (W) (que no fue afectada por la sombra
verde)
U
U
W - V

W V =

W V =

unin -
interseccin
diferencia
dif.simtrica
universal
complemento
8 ii 8 iii 8 iv
8 ii) V
c
W

Se resuelve confeccionando el diagrama de Venn
de los conjuntos V y W
sombreamos con azul el complemento de V (V
c
)
y con verde el conjunto W
Por tratarse de una unin el resultado es la
regin sombreada con cualquiera de los dos
colores e incluso con ambos colores
U
U
lo que no es conjunto V
Si se trata de la segunda configuracin de conjuntos V c W
sombreamos con azul elcomplemento de V (V
c
)
y con verde el conjunto W
Por tratarse de una unin el resultado es la
regin sombreada con cualquiera de los dos
colores e incluso con ambos colores
V
c
W =

V
c
W =

V
c
W = ( V W )
c

V
c
W = U

unin -
interseccin
diferencia
dif.simtrica
universal
complemento
8 iii 8 iv
8 iii) V W
c
Se resuelve confeccionando el diagrama de Venn
de los conjuntos V y W
sombreamos con azul el conjunto V
y con verde el complemento de W (W
c
)
Por tratarse de una interseccin el resultado
es solamente la regin sombreada con los dos
colores
U
U
Si se trata de la segunda configuracin de conjuntos V c W
sombreamos con azul el conjunto V
y con verde el complemento de W (W
c
)
Por tratarse de una interseccin el resultado
es solamente la regin sombreada con los dos
colores que en este caso es vaco
V W
c
=

V W
c
= C

unin -
interseccin
diferencia
dif.simtrica
universal
complemento
8 iv
8 iv) V
c
- W
c Se resuelve confeccionando el diagrama de Venn
de los conjuntos V y W
sombreamos con azul el conjunto V
c

y con verde el complemento de W (W
c
)
Por tratarse de una diferencia el resultado es
la regin sombreada con azul pero no con
verde
Si se trata de la segunda configuracin de conjuntos V c W
sombreamos con azul el conjunto V
c

y con verde el complemento de W (W
c
)
Por tratarse de una diferencia el resultado es
la regin sombreada con azul pero no con
verde
V
c
W
c
=

V
c
W
c
=

unin -
interseccin
diferencia
dif.simtrica
universal
complemento
9) a) A B
Se resuelve confeccionando el diagrama de Venn
de los conjuntos A ; B ; C y D
sombreamos con azul el conjunto A
y con verde el conjunto B
A B es la regin sombreada con cualquiera
de los dos colores e incluso con ambos colores
Se resuelve confeccionando el diagrama de Venn
de los conjuntos A ; B ; C y D
sombreamos con azul el conjunto A
y con verde el conjunto B
A B es la regin sombreada solamente con
los dos colores
9 b) A B
A B =

A B =
U
U
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
9 c-d 9 e
9 c) (A - C) B
Se resuelve confeccionando el diagrama de Venn
de los conjuntos A ; B ; C y D
sombreamos con azul el conjunto A
y con verde el conjunto C
pintamos el resultado A - C
Por tratarse de una unin pintamos tambin
todo el conjunto B y as obtendremos que el
resultado final es toda la zona pintada
9 d) (A - C) B Se resuelve confeccionando el diagrama de Venn
de los conjuntos A ; B ; C y D
sombreamos con azul el conjunto A
y con verde el conjunto C
pintamos el resultado A - C
Por tratarse de una interseccin, pintamos amarillo la zona identificada con
los colores de A-C y de B y as obtenemos que el resultado final
sombreamos color naranja el conjunto B
(A - C) B =
U
U
(A - C) B =
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
9 e
9 e) (A B C) D
Se resuelve confeccionando el diagrama de Venn
de los conjuntos A ; B ; C y D
sombreamos con azul el conjunto A
con verde el conjunto B
Por tratarse de una triple interseccin, pintamos amarillo la
zona identificada con los colores de A , de B y de C
simultneamente
y sombreamos color naranja el conjunto C
U
A B C =
El conjunto D tambin sombreamos amarillo, para que quede determinado
( A B C ) D =
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
10) Si U= {1, 2, . . . . , 8, 9} A = {1, 2, 3, 4}
10 i) A
c
son todos los elementos del conjunto universal, pero no del conjunto A
Dibujamos el universal con todos sus elementos
Identificamos el conjunto A
Sombreamos A
c
= { 5, 6, 7, 8, 9 }
10 ii) A C son los elementos del conjunto A y del conjunto C (de ambos)
Dibujamos el universal con todos sus elementos e
identificamos los conjuntos A y C
La regin con doble sombras es A C = { 3, 4 }
Sombreamos con azul el conjunto A y con
verde el conjunto C
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
10 iii-iv 10 v
Si U= {1, 2, . . . . , 8, 9} A = {1, 2, 3, 4} y C = { 3, 4, 5, 6 }
10 iii) Para hallar ( A C )
c
Usamos como resultado parcial el ejercicio
anterior A C = { 3, 4 }
(A C)
c
es precisamente todo lo que es universal
pero no forma parte de (A C)
( A C )
c
= { 1, 2, 5, 6, 7, 8, 9 }
que sombreamos color naranja
10 iv) Si queremos hallar A B
Dibujamos en el Universal
A = { 1, 2, 3, 4 }
B = { 2, 4, 6, 8 }
Sombreamos el conjunto A
y tambin el conjunto B
A B = { 1, 2, 3, 4, 6, 8 }
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
10 v
Si U= {1, 2, . . . . , 8, 9} B = { 2, 4, 6, 8 } y C = { 3, 4, 5, 6 }
10 v) para hallar B - C
Sombreamos el conjunto B
y luego borranmos la zona sombreada
en B que es conjunto C
B C = { 2, 8 }
unin -
interseccin
diferencia
dif.simtrica
universal
complemento
11) a) A c B A c ( A B )
Si A c B todos los elementos de A
pertenecen tambin al conjunto B
A
B
en ese caso A B = A y como todo conjunto est incluido en s mismo
A c B A c ( A B ) es verdadero
11 b) B c A ( A B ) .
A
Si B c A todos los elementos de B
pertenecen tambin al conjunto A
B
A
en ese caso A B = A y como todo conjunto est incluido en s mismo
B c A ( A B ) . A es Falso
11 c) C - A = C A C - A es quitarle el conjunto A al conjunto C
Lo que tiene resultado diferente de C A
entonces C - A = C A es Falso
11 d) Si A = B A B = A
Si A = B los elementos del conjunto A
son los mismos que los elementos que los
del conjunto B
la unin de ambos conjuntos es igual a cualquiera de ellos
Luego: A = B A B = A es Verdad
12) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian
nicamente francs ; 200 estudian francs e ingls y 50 estudian otros
idiomas diferentes. Cuntos estudian solo ingls ?
El conjunto universal es la totalidad de los alumnos que estudian en la
escuela de idiomas
U = { x / x es alumno de la escuela de idiomas } # U = |U| = 400
F = { x/x estudia solamente francs o francs e ingles }
# F = 120 + 200 = 320
La cantidad de alumnos que no estudia francs es el complemento de F ( F
c
)
# F
c
= # U - # F = 400 320 = 80
Son los que no estudian solamente francs ni
francs e ingls juntos
De estos 80 alumnos que no estudian
francs, hay 50que estudian otros idiomas
que no son francs ni ingls
I = { x/x estudia solamente ingls }
# I

= # F
c
- # O = 80 50 = 30
U
I
F
# 50
# 120
# 200
# 30
# O = 50
Sean : A = { a, b, c } con # A = 3 y B = { b, d, e } con # B = 3
A
B
a
b
c
d
e
# A + # B = 3 + 3 = 6
Pero # (A B) = 5
si los conjuntos no son disjuntos
# A + # B = # (A B)
Observe que: # (A B) = # A + # B - # (A B) = 3 + 3 1 = 5
Porque en dos conjuntos rampantes, al sumar la cantidad de elementos de cada
conjunto, estamos contando dos veces todos los elementos que son comunes a
ambos conjuntos
entonces si # (A B) = # A + # B - # (A B)
# (A B C) parece ser # A + # B + # C - # (A B) - # (A C) - # (B C)
deslizamos voluntariamente un error para que aprecie Ud. que :
si A = { a, b, c } con # A = 3
A
B
a
b
c
d
e
aparece ahora el conjunto C = { b, c, e f }
f
C
# A + # B + # C - # (A B) - # (A C) - # (B C) =
3 + 3 + 4 1 2 2 = 5
# (A B C) parece ser # A + # B + # C - # (A B) - # (A C) - # (B C)
pero al escribir
sera entonces
y B = { b, d, e } con # B = 3
pero ( A B C ) = { a, b, c, d, e, f }
# ( A B C ) = 6
observando minuciosamente vemos que
A B = { b } A C = { b, c }
B C = { b, e }
el elemento c aparece en
dos conjuntos (A y C)
pero se descuenta una
vez en A C
el elemento e aparece en
dos conjuntos (B y C)
pero se descuenta una
vez en B C
el elemento b que aparece en los tres conjuntos ( A, B y C) ; se
descuenta tres veces: en (A B) ; (A C) y (B C)
# (A B C) = # A + # B + # C - # (A B) - # (A C) - # (B C) + # (A B C)
A
B
a
b
c
d
e
f
C
sucede que todos los elementos que se
encuentren en la triple intersecin se
descontarn una vez mas que lo que
corresponde, entonces :
a # A + # B + # C - # (A B) - # (A C) - # (B C)
vamos a sumarle # (A B C) as tenemos :
# A = 3
# B = 3 # C = 3
# (A B) = 1 # (A C) = 2 # (B C) = 2
# (A B C) = 1
entonces
# (A B C) = 3 + 3 + 3 1 2 2 + 1 = 6
13) De 100 estudiantes, 32 estudian matemticas ; 20 estudian fsica ; 45
estudia biologa ; 15 estudian matemticas y biologa ; 7 estudian matemticas
y fsica ; 10 estudian fsica y biologa y 30 no estudian ninguna de estas tres
materias. a) Encuentre el nmero de estudiantes que estudian las tres
materias. b)Encuentre el nmero de estudiantes que estudian exactamente
una de las tres materias.
Extraemos datos de la consigna:
# U = 100 # M = 32 # F = 20 # B = 45 # O = 30
# (M F) = 7 # (M B) = 15 # (F B) = 10
# (M F B) = # M + # F + # B - # (M F) - # (M B) - # (F B) + # (M F B)
Hacemos pasaje de trminos para despejar
# (M F B) = # (M F B) - # M - # F - # B + # (M F) + # (M B) + # (F B)
# (M F B) = 70 32 20 45 + 7 + 15 + 10 = 5
son datos de la consigna:
# U = 100 # M = 32 # F = 20 # B = 45 # O = 30
# (M F) = 7 # (M B) = 15 # (F B) = 10
M
F
15
5
10
8
5
25
B
U
2
30
y hemos hallado que
# (M F B) = 5
as :
Solo matemtica = 32 2 5 10 = 15
Otras materias = 30
Solo biologa = 45 10 5 - 5 = 25
# (M F) - # (M F B) = 7 5 = 2
# (M B) - # (M F B) = 15 5 = 10
# (F B) - # (M F B) = 10 5 = 5
Solo fsica = 20 2 5 - 5 = 8
14) Se sabe que en la Universidad el 60% de los profesores juega tenis,
el 50% juega ftbol ; el 70% corre ; el 20% juega tenis y ftbol ; el
30% juega tenis y corre y el 40% juega ftbol y corre. Si alguien
afirma que el 20 % de los profesores corre y juega ftbol y tenis
lo creera ? ; porqu ?
planteamos la siguiente situacin
Todos los que juegan tenis y ftbol, tambin
corren; de manera que:
(F T) = (F T C)
20%
0%
T
F
C
en este caso, si el 40% juega ftbol y corre y tenemos un
20% que adems de jugar ftbol y correr, juega tenis;
nos quedan entonces el 20% que nicamente juega ftbol
y corre
20%
Sabemos as, que del 50% que juega ftbol,
solo el 10% juega solamente ftbol
10%
un 30% juega tenis y corre, pero
ya tenemos un 20% que adems de
jugar tenis y correr; juega ftbol, nos quedan entonces el 10% que
nicamente juega tenis y corre
10%
sabemos as que del
60% que juega tenis,
el 30% juega
solamente tenis
30%
la suma de los porcentajes de cada una de las regiones del diagrama
de Venn, arroja que quedaran solamente un 10% de profesores que
solamente corren . . .
Ese resultado arroja un total de 60% de profesores que corre y se
contradice con la consigna donde son el 70% los profesores que corren
10% ?
Los datos son inconsistentes
(errneos)
15) Si eran 75 nios en total y los juegos eran tres: la rueda de la
fortuna, la montaa rusa y el trencito. Se sabe que 20 de ellos
subieron a los tres juegos y que 55 subieron al menos a dos de los tres
juegos. Cada juego cuesta $ 0,50 y el costo total fue de $ 70. Determine
el nmero de nios que no subi a ninguno de los juegos.
Los 20 nios que subieron a los tres juegos, gastaron 20 x 3 x 0.50 = $ 30
Si 55 nios subieron al menos a dos de los tres juegos, y s tambin que son 20
los nios que subieron a los tres juegos, es evidente que . . . .
Los que subieron solamente a dos juegos son 55 20 = 35 nios
Que subiendo a dos juegos gastaron
35 x 2 x 0,50 = $ 35
Entre los nios que subieron a dos o tres juegos
(55 en total), llevan gastado $ 30 + $ 35 = $ 65
quedan ahora $ 5 y 20 nios que
an no subieron a juego alguno
los $ 5 que restan son suficientes para 10 tickets, pero los nios son 20
En el caso que reparta 1 ticket por nio, quedarn 10 sin
subir a ningn juego
Una Gramtica G que genera un lenguaje L, es un cudruple
G (T, N, S
0
, P ) conformado por:
T conjunto de smbolos terminales
N conjunto de smbolos NO terminales
S
0
smbolo inicial
P conjunto de Producciones

Los smbolos terminales son letras minsculas y tienen el significado que le asigne
cada lenguaje en particular
Los smbolos NO terminales son letras maysculas y sirven para componer las
expresiones (cadenas) del lenguaje
Las producciones son las leyes que rigen en la composicin de las cadenas del lenguaje
T = { a, b } N = { S
0
, A

} P = { S
0
a A ; A a A ; A b }
As desde el smbolo inicial
generamos cadenas como
S
0
a A a a A a a b
S
0
a A a a a A a a a a A a a a a b
L
G
= { a
n
b, n > 1 }
a
n
significa que a puede
repetirse n veces
El smbolo inicial S
0
es
un No Terminal, que d
inicio a las secuencias
de producciones
(a
n
no es una expresin
algebraica de potencia)
16 17
16) Considere el lenguaje especificado por la gramtica
G = ( T, N, S
0
, P ) donde
T = { a, b, c }; N = { S
0
, A, B }; S
0
es smbolo inicial
P = { S
0
AB, A ab, A a A b, B c, B B c }
Determine si las siguientes cadenas pertenecen o no al lenguaje dado:
a a b b a a a b b c
a a a b b b c c c a b a b c c
Para saber si una cadena pertenece a un determinado lenguaje, debemos
verificar si es posible formar dicha cadena con la gramtica de dicho lenguaje
As, en el primer caso, la cadena es a a b b a a
Y la nica produccin que
involucra al smbolo inicial
es S
0
AB
De manera que cualquier cadena de este
lenguaje necesariamente comienza en S
0
AB
De observar atentamente el conjunto de producciones, ver Ud. que el
smbolo no terminal B produce nicamente B c B B c
Entonces cualquier cadena que se inicia con S
0
AB debe terminar en c
Luego a a b b a a no es una cadena del lenguaje dado
En el caso de la cadena a b b c
Si G = ( T, N, S
0
, P ) donde
T = { a, b, c }; N = { S
0
, A, B }; S
0
es smbolo inicial
P = { S
0
AB, A ab, A a A b, B c, B B c }
S
0
AB
a b B a b c No es la cadena buscada
S
0
AB
a A b B a a b b c
No es la cadena buscada y podemos notar
que cualquier cadena de este lenguaje
contendr igual cantidad de smbolos a que
de smboloos b al inicio y luego una mas c
La cadena a a a b b b c c c
Se obtiene haciendo
S
0
A B
a A b B c a a A b b B c c
a a a b b b c c c
Usamos A a A b y B B c
Finalmente A a b y B c
Luego, a b b c no es una
cadena del lenguaje dado
Luego, a a a b b b c es una cadena del
lenguaje dado
17) Sea : L(G) = { a
n
c b
n
; n > 0 } , encuentre si es posible, una gramtica
que pueda generar el lenguaje dado.
Para hallar una gramtica que genere un lenguaje dado, debemos definir
los conjuibntos que componen el cudruple que define la gramtica, de
manera que esa gramtica sea capaz dce generar todas las cadenas del
lenguaje y solamente de l.
En nuestro caso, es evidente que el conjunto de smbolos
terminales T estar conformado por los smbolos
T = { a, b, c }
Al conjunto de smbolos no teminales N le asignamos
un elemento S
0
y un no terminal A
N = { S
0
, A }
Con estos conjuntos proponemos una primera produccin S
0
a A b
Y una segunda y tercera produccin pueden ser:
A a A b A c
Con estas producciones se forman cadenas que tienen igual cantidad de
a y de b al inicio y al final; y en el medio una c
P = { S
0
a A b; A A a B; A c }
Pero si L(G) = { a
n
c b
n
; n > 0 } puede suceder que no existan
smbolos a ni b, (n = 0)
Esto nos lleva a reformular las producciones halladas
S
0
a A b; A a A b; A c

Porque es fcil advertir que con estas
producciones, siempre estarn a y b al
comienzo y al final respectivamente
Entonces planteamos
S
0
a S
0
b; S
0
c
La gramtica G = ( T, N, S
0
, P ) queda conformada con
T = { a, b, c }; N = { S
0
}; S
0
es smbolo inicial
P = { S
0
a S
0
b; S
0
c }
Queda en evidencia que un mismo smbolo no terminal, puede producir cosas
diferentes, inclusive el smbolo inicial (que es un no terminal)
No es perezoso solo el que no hace nada; sino
tambin el que pudiendo hacerlo mejor, no lo hace.
Scrates