SEMANA 3_CLASE 07_TEMARIO:

(02 HORAS CTEDRA)

UNIDAD I : LGICA Y TEORA DE CONJUNTOS

TEMA 5:

LGEBRA Y CARDINALIDAD DE CONJUNTOS

SUBLOGRO 8: Aplicar las propiedades del lgebra de conjuntos que demuestre

analticamente el concepto de subconjunto.
SUBLOGRO 9: Aplicar las propiedades del lgebra de conjuntos que demuestre
analticamente la igualdad de conjuntos.
SUBLOGRO 10: Representar la operatoria de conjuntos o enunciados mediante
diagramas de Venn.
SUBLOGRO 11: Determinar el nmero de elementos de conjuntos finitos.
Ahora que contamos con un SISTEMA DE CONJUNTOS; tenemos operaciones
de conjuntos que forman o dan como resultado un nuevo conjunto, las que estn
dadas por:
Sean E , F conjuntos.
(5.1) Se define la UNIN DE LOS CONJUNTOS E y F ; lo que denotaremos por
E F ; al conjunto:
E F B Y B E B F
(5.2) Se define la INTERSECCIN DE LOS CONJUNTOS E y F ; lo que denotaremos
por E F ; al conjunto:
E F B Y B E B F
(5.3) Se define el COMPLEMENTO DEL CONJUNTO E ; lo que denotaremos por
E - , al conjunto contrario de E ; que est dado por
E - B Y B E
(5.4) Se define la DIFERENCIA DE LOS CONJUNTOS E y F ; lo que denotaremos
por E F ; al conjunto:
E F B Y B E B F
(5.5) Se define la DIFERENCIA SIMTRICA DE LOS CONJUNTOS E y F ; lo que
denotaremos por E F ; al conjunto:
E F E F E F E F F E

(5.6) EJERCICIO:
Construya el diagrama de Venn para lo anterior
SOLUCIN:
OPERACIN
NOTACIN DEFINICIN

DIAGRAMA

Unin

EF

B Y B E B F

Interseccin

EF

B Y B E B F

Complemento

E-

B Y B E

Diferencia

EF

B Y B E B F

Diferencia Simtrica

EF

E F E F

(5.7) PROPIEDADES DE LAS OPERACIONES:

Sean E F G conjuntos.
a)

CONMUTATIVIDAD DE LA " " y de la " " .

EF FE
EF FE

b)

ASOCIATIVIDAD DE LA " " y de la " " .

E F G E F G
E F G E F G

c)

DISTRIBUTIVIDAD DE LA
" con respecto a la " y de la " con respecto a la " .
E F G E F E G
E F G E F E G

d)

LEYES DE "DE MORGAN"

E F - E - F -

e)

VARIOS
E9 E
EY E
9- Y

E F - E- F -

E9 9
E E- Y
Y- 9

EY Y
E E- 9
E- - E

(5.8) EJEMPLO:
Demuestre analticamente las siguientes propiedades:
(5.8.1)
E F G E F E G
DEMOSTRACIN:
1)
Se trata de probar una igualdad de conjuntos, para lo cual aplicamos las
siguientes definiciones vistas en la SEMANA N 01:
E F aB E B F ; concepto de SUBCONJUNTO.
E F E F F E ; IGUALDAD DE CONJUNTOS.
2)
a)

Por lo tanto, se debe probar que:

E F G E F E G
En efecto; W/+ B E F G

B E B F G

B E B F B G
aplicando la propiedad distributiva de con respecto a :

B E B F B E B G
aplicando la definicin de interseccin de conjuntos:

B E F B E G
aplicando la definicin de unin de conjuntos: B E F E G
POR LO TANTO:
B E F G
B E F E G
que es la definicin de SUBCONJUNTO, es decir: E F G E F E G

b)
E F E G E F G
En efecto: W/+ B E F E G

B E F B E G
aplicando la definicin de interseccin de conjuntos:

B E B F B E B G
aplicando la propiedad distributiva de con respecto a :

B E B F B G
aplicando la definicin de unin de conjuntos:

B E B F G
aplicando la definicin de interseccin de conjuntos:

B E F G
POR LO TANTO:

3)

B E F E G
B E F G
que es la definicin de SUBCONJUNTO, es decir:
E F E G E F G
Luego; de a) y b); se verifica que:
E F G E F E G

(5.8.2)
E F G E F E G
DEMOSTRACIN:
Como se trata de una propiedad bsica, y la demostracin consisti de la
aplicacin de las propiedades de la LGICA y de las definiciones del lgebra de la
teora de conjuntos, tambin se puede hacer:
W/+ B E F G

B E B F G

POR LO TANTO:
ES DECIR:

B E B F B G
B E B F B E B G
B E F B E G
B E F E G

B E F G
B E F E G
E F G E F E G

(5.8.3)
E F - E - F DEMOSTRACIN:
1)
Se trata de probar una igualdad de conjuntos, para lo cual aplicamos las
definiciones vistas en la SEMANA N 01:
2)
Por lo tanto, se debe probar que:
a)
E F - E - F En efecto: W/+ B E F -
B E F B E B F
aplicando la definicin de complemento de un conjunto:
B E- B F - B E- F POR LO TANTO:
B E F
B E- F que es la definicin de SUBCONJUNTO, es decir: E F - E - F
b)

E - F - E F En efecto: W/+ B E - F -
B E- B F aplicando la definicin de complemento de un conjunto:

POR LO TANTO:
3)

B E B F B E F

B E F B E- F
B E F -

que es la definicin de SUBCONJUNTO, es decir: E - F - E F Luego; de a) y b); se verifica que:

E F - E - F -

(5.8.4)
E F - E - F DEMOSTRACIN:
Como se trata de una propiedad bsica, y la demostracin consisti de la
aplicacin de las propiedades de la LGICA y de las definiciones del lgebra de la
teora de conjuntos, tambin la podemos hacer de la siguiente manera:
W/+ B E F - B E F B E B F B E - B F POR LO TANTO:
ES DECIR:

B E- F B E F
B E- F E F - E - F -

(5.9) EJEMPLO:
Demuestre las siguientes proposiciones:
(5.9.1)
E F 9 F E- F
DEMOSTRACIN:
HIPTESIS:
EF 9
(NO se demuestra)
TESIS:
F E- F
(SE DEMUESTRA)
1)
En efecto; se trata de una igualdad de conjuntos; por lo tanto debemos probar:
a)
F E- F
W/+ B F E- B F B E - B F

b)

2)

(el conectivo es verdadero cuando ambas son verdaderas)

POR LO TANTO:
B F E-
BF
que es la definicin de SUBCONJUNTO, es decir:
F E- F
F F EW/+ B F
como por hiptesis E F 9

BFBE

B F B E
B F EPOR LO TANTO:
BF

B F Eque es la definicin de SUBCONJUNTO, es decir:

Luego; de a) y b); se verifica que:
F E- F

F F E-

(5.9.2)
E F E F E F
DEMOSTRACIN:
HIPTESIS:
EF
(NO se demuestra)
TESIS:
E F E F (SE DEMUESTRA)
En efecto; se trata de una igualdad de conjuntos; por lo tanto haremos esta
demostracin usando las propiedades del lgebra de conjuntos:
E F E

E F E-

E F E E-

E F Y

E F;
por hiptesis E F

F
Luego:
E F E
F

(5.10) CARDINALIDAD DE UN CONJUNTO FINITO

Sea E conjunto FINITO.
Se llama CARDINALIDAD DE E, lo que denotaremos por
8E ; al nmero finito 8 de elementos en E .
(5.11) DEFINICIN:
Sean E F conjuntos.
Se dice que los conjuntos E F son DISJUNTOS O EXCLUYENTES si estos
no tienen elemento en comn, es decir:
EF 9
(5.12)
a)
b)
c)

PROPIEDADES:
89 !
E F conjuntos disjuntos
8E F 8E 8F
8E F 8E 8F 8E F

(5.13) EJERCICIO:
Encuentre una frmula para
8E F G
SOLUCIN:
8E F G
8E F G 8E F 8G 8E F G
8E F 8G 8E G F G
8E 8F 8E F 8G 8E G 8F G 8E F G
Por lo tanto:
8E F G 8E 8F 8G 8E F 8E G 8F G 8E F G

(5.14) EJEMPLO:
(5.14.1)
Se realiz una encuesta a una muestra de 800 personas y se obtuvo el
siguiente resultado: 350 leen al menos El Mercurio; 250 leen al menos La Tercera;
300 leen al menos La Cuarta; 180 leen solamente El Mercurio y La Tercera; 55 leen
solamente El Mercurio y La Cuarta; 15 leen solamente La Tercera y La Cuarta; 20
leen los tres diarios. Cuantas personas de las encuestadas:
a)
leen al menos dos de estos tres diarios?
b)
leen solamente El Mercurio?
c)
leen La Tercera o La Cuarta, pero no El Mercurio?
(5.14.2)
Se ha encuestado a 150 personas que poseen a lo menos una de las
siguientes tarjetas de crdito T1, T2 y T3. El resumen obtenido es el siguiente: 90
poseen a lo menos T1; 50 poseen a lo menos T2; 35 poseen solamente T1; 15
poseen T1 y T2, pero no T3; 25 poseen T2 y T3; y 8 poseen las tres tarjetas. Cuantas
personas de las encuestadas tienen:
a)
a lo menos dos de estas targetas?
b)
solamente la tarjeta T3 ?
c)
la tarjeta T1 y T3, pero no T2 ?

SOLUCIN:
(15.14.1)

a)
b)
c)

")! && "& #! #(!

personas.
*&
personas.
$& "& #"! #'!
personas.

a)
b)
c)

"& $# "( ) (#
$$
personas.
$#
personas.

(5.14.2)

personas.