Tema 1: Teora de Conjuntos.

Logica
proposicional y Algebras de Boole.

Objetivo especfico: Operar con conjuntos y
aplicar sus propiedades para resolver
problemas reales.


1.1 Teoria de conjuntos
Piensa
Elabora una lista de amigos, y asigna las
personas a los conjuntos cuando cumplen con
el requisito dado.
A={personas que me hacen rer}
B={personas que siempre han estado
dispuestas a ayudar}
C={personas con las que me gustara salir}



A una reunin asisten 50 personas, de las
cuales 30 cantan, 20 bailan y 10 no cantan ni
bailan. Cuntas personas cantan y bailan?
Y si las que bailan son 25?

Cuntos enteros positivos menores que 60,
no son divisibles entre 2, ni entre 3, ni entre 5?
Ejemplos Motivadores
En una encuesta realizada a un grupo de 100
estudiantes del Instituto de idiomas se obtuvo el
siguiente resultado:
28 estudian espaol, 30 estudian alemn,
42 estudian francs, 8 espaol y alemn,
10 estudian espaol y francs, 5 alemn y francs,
3 estudian los tres idiomas.
Cuntos estudiantes tienen el francs como nico
idioma de estudio?
Ejemplos
Teora de Conjuntos
Definicin, elementos.
Cardinal de un conjunto, conjunto finito, conjunto
vacio.
Subconjunto.
Igualdad de conjuntos.
Operaciones con conjuntos:
Unin
Interseccin
Complementacin
Diferencia

Contenidos
Teora de Conjuntos

Por extensin

Cuando se da una lista
que comprende a todos
los elementos del
conjunto y slo a ellos
Por comprensin

Cuando se da una
propiedad que la
cumplan todos los
elementos del conjunto
y slo ellos.
Definicin de conjunto:
Es una coleccin de objetos bien definida de cualquier clase.
Teora de Conjuntos

Por extensin

A={7}

B={2, -2}

C={c,o,r,e,t}
Por comprensin

A={x/x-5=2}

B={x/x
2
=4}

C={x/x es letra de la
palabra correcto}
Ejemplos:
Definir por extensin los siguientes conjuntos.
2 no pertenece A
r pertenece a C
m no pertenece C
Teora de Conjuntos

Por extensin

D={a, b, c, d, e}

E={2, 4, 6, 8, 10,}

F={1, 3, 5, 7, 9}
Por comprensin

D={x/x es una de las 5 primeras
letras del alfabeto}

E={x/x es mltiplo de 2}

F={x/x es un nmero entero
positivo, impar menor que 10}
Ejemplos:
Definir por comprensin los siguientes conjuntos.
Teora de Conjuntos

, conjunto vacio, || =0

A={7} | A | =1
B={2, -2} | B | =2
C={c,o,r,e,t} | C | =5

E={x/x es mltiplo de 2} | E | =
N={n/n es un nmero natural} | N | =
Z= {n/n es un nmero entero} | Z | =
Cardinal de el conjunto A, es el nmero de sus elementos, y
se denota |A|
Teora de Conjuntos

El conjunto vacio,
Subconjunto,




Igualdad de conjuntos ,
B x A x B A
B x A x B A
/
X X,
A B B A B A ,
Z N
N F
N E
E={2, 4, 6, 8, 10,}

F={1, 3, 5, 7, 9}

Teora de Conjuntos
Operaciones



Ejemplo


Unin
} : { B x A x x B A
} , , , , , {
} , , { , } , , , {
i e d c b a B A
i e a B d c b a A

Teora de Conjuntos
Operaciones



Ejemplo


Interseccin
} : { B x A x x B A
} {
} , , { , } , , , {
a B A
i e a B d c b a A

Teora de Conjuntos
Operaciones



Ejemplo


Complementacin
} : { , Si A x X x x A A X A
c
} , , , , {
} , , , , , , , , { , } , , , {
i h g f e A
i h g f e d c b a X d c b a A

Teora de Conjuntos
Operaciones



Ejemplo


Diferencia
} : { B x A x x B A
} , , {
} , , { , } , , , {
d c b B A
i e a B d c b a A
Teora de Conjuntos
Asociativa.


Conmutativa


Idempotente


Propiedades
) ( ) ( ; ) ( ) ( C B A C B A C B A C B A
A B B A A B B A ;
A A A A A A ;
Teora de Conjuntos
Elemento nfimo
Elemento universal, U
Ley de simplificacin

Propiedad distributiva

Propiedades
A U A U U A ;
A A A ;
A A B A A A B A ) ( ; ) (
) ( ) ( ) ( ; ) ( ) ( ) ( C A B A C B A C A B A C B A
Teora de Conjuntos
Propiedades


Complementario
A A X A A
A B B A
B A B A
B A B A
A A X X
;
entonces , Si
; ;
} : { , Si A x X x x A A X A
c
Teora de Conjuntos
Pero, si los conjuntos A, B y C no son disjuntos
Principio de adicin: Si A y B son conjuntos finitos, no
vacos y disjuntos, (es decir, ) , entonces
B A
B A B A
B
A
C B A
C B C A B A
C B A C B A
) (
Principio de Inclusin-exclusin
Conocido tambin como principio de la criba.
Establece que si A1, ..., An son conjuntos
finitos entonces:
Cuntos enteros positivos menores que 60, no
son divisibles entre 2, ni entre 3, ni entre 5?
Ejemplos
A={divisibles entre 2}
B={divisibles entre 3}
C={divisibles entre 5}
Problema
De un total de 130 estudiantes, 60 usan lentes, 51 usan
zapatos tenis y 30 usan lentes y tenis.
En este conjunto de 130 estudiantes se encuentran 54
estudiante con camisa blanca, de los cuales 26 usan lentes, 21
tenis y 12 lentes y tenis. Todo estudiante que no tiene lentes
ni tenis usa pantaln vaquero.
(a) Cuntos estudiantes usan pantaln vaquero?
(b) Cuntos estudiantes que no tienen camisa blanca usan
lentes pero no tenis?
(c) Cuntos estudiantes que no usan camisa blanca no tienen
lentes ni tenis?