CONJUNTOS

En el lenguaje cotidiano, decimos un curso de Algebra, un montn de libros de matemtica,

un cajn de ropa, la ciudad de Chilln , etc., es decir, usamos muchas palabras para expresar una misma idea. Los
matemticos prefieren la palabra Conjunto para expresar lo mismo.
Por lo tanto, podemos definir Conjunto como sigue:

Un conjunto es una coleccin de objetos que est bien definido y para denotarlo se emplean letras maysculas
tales como: A, B, C, etc.
Algunos ejemplos de conjuntos son :

A Jugadores de la Seleccin chilena ao 1999

B + / 3 9 ?
C nmeros naturales mayores que # y menores que '

...Pero , sabes cmo se llaman los objetos de un conjunto ?

Cada objeto de un conjunto se llama elemento del conjunto.

Y si el elemento est en el conjunto se dice que pertenece a l, en caso contrario se dice no pertenece, esto se
simboliza o respectivamente

Observe que los elementos de un conjunto se escriben entre llaves

En la siguiente tabla se muestra un paralelismo entre este lenguaje simblico y cotidiano.

Lenguaje Cotidiano Lenguaje Simblico

Marcelo Salas integra la Seleccin Chilena del ao 2001 Marcelo Salas A
El Chino Ros (que es tenista), no integra la Seleccin Chilena Chino Ros A

En matemtica, los elementos de un conjunto, se designan por B , C , D , + , , .... etc, es decir con cualquier letra
minscula.
Te has dado cuenta que en ocasiones es ms fcil interpretar las cosas cuando se presentan en forma grfica ?
... en los conjuntos pasa algo similar, de ah que es til el uso de Diagramas de Venn.

Los Diagrama de Venn-Euler nos permiten visualizar en forma sencilla e instructiva los conjuntos y sus
relaciones, y en estos diagramas se usan las siguientes formas:

Por ejemplo:
 Algunos tipos de Conjuntos son:

Conjunto Vaco: este conjunto es aquel que no tiene elementos. Se simboliza por g 9
Ejemplo 1 : Conjunto de canciones rancheras interpretadas por el grupo Kiss
Ejemplo 2 : nmeros que pertenezcan al conjunto de los nmeros naturales y que sean negativos

Conjunto Universo: Es el conjunto que contiene todos los elementos a los cuales pudiramos hacer
referencia en un momento dado, estos pueden ser infinitos o finitos.

Ejemplo 1: El conjunto de jugadores de un equipo de ftbol es finito

Ejemplo 2: El conjunto de los nmeros Enteros es infinito

Conjuntos Disjuntos: Son aquellos conjuntos que no tienen ningn elemento en comn

Ejemplo 1 : El conjunto de alumnos aprobados en Algebra es un conjunto disjunto con el de los alumnos
reprobados
Ejemplo 2 : Sea E " # $ y F % & '. Los conjuntos A y B no tienen ningn elemento en
comn,
por ello son conjuntos disjuntos.

Ejercicios

1) De los conjuntos dados, indique cul de ellos es o son vacos:

a) A B / ! B "
b) B B / ! B "
c) C B / ! B "

# Determine en qu caso, el par de conjuntos dados es disjunto:

a) A ", #, $ B &, *, !
b) A " # $ B " # &
c) A Tenistas Top Ten Ranking ATP tour B Tenistas chilenos

Respuesta

1) Son conjuntos vacos A y B

2) Son disjuntos los conjuntos dados en (a) y en (c)

Para escribir un conjunto existen ciertas reglas universalmente aceptadas.

Formas de escribir un conjunto:

Usualmente un conjunto se escribe de dos maneras:

1) Por Comprensin: En esta forma se escribe una caracterstica de los elementos

Por ejemplo: E BB es un rbol autctono de Chile

 2) Por Extensin: Escritura en la cual los elementos se identifican.

Por ejemplo: E Raul, Avellano, Coihue, Roble, ...

Ejercicios

I) Sea G el conjunto de numeros naturales menores que 5:

a) Escriba el conjunto por Comprensin

b) Escriba el conjunto por Extensin

Respuestas

a) G B B &
b) G " # $ %

Existen otros conceptos importantes de conocer en los conjuntos ?

Si, en los conjuntos podemos definir otros conceptos, los cuales nos servirn para resolver
ms problemas. Estos son los de Igualdad y Subconjuntos, que se definen a continuacin.

Dados dos conjuntos cualesquiera A y B, se verifica:

Igualdad: Decimos que dos conjuntos A y B son iguales si tienen los mismos elementos,
no importa el orden de stos. La igualdad de los dos conjuntos se representa por A B

Ejemplo 1:
Sean los conjuntos E " # $ F # " $ y G B B $
Determine si los conjuntos son iguales o no.

Respuesta

Los conjuntos A y B muestran claramente que ambos tienen los mismos elementos aunque en distinto orden. El
conjunto C, est escrito por comprensin y seala que los elementos de este conjunto son nmeros naturales
menores o iguales a 3, es decir, quienes cumplen esta condicin son los nmeros ", # y $. Por lo tanto se
verifica:

EFG

Ejemplo 2:

Sean los conjuntos A B # B ! y B " !

Respuesta

Estos conjuntos son iguales, porque A tiene elementos del conjunto y estos son " !

Por lo tanto, A B
 Otro concepto importante es el de:

Subconjunto: Decimos que A es subconjunto de B si cada elemento del conjunto A es tambin un elemento
del
conjunto B, es decir, A est contenido en B.
Simblicamente se tiene:
A B significa " A es un subconjunto de B "
Grficamente, esto se muestra en la figura:

AB

Si un conjunto no es subconjunto de otro se denota por:

Ejemplo 1: La seccin 1 de Construccin Civil es un subconjunto de toda la carrera de Construccin Civil.

Ejemplo 2: Sea A " # $ y B 1, el conjunto B tiene un slo elemento y ste est en el conjunto
A,
por lo tanto , B A

Ahora bien , los subconjuntos cumplen ciertas propiedades que conviene saber, ya que nos facilitan la
comprensin
de los conjuntos y sus problemas. Dichas propiedades se cumplen para cualquier conjunto A.

Propiedades de los subconjuntos:

1) El conjunto vaco es un subconjunto de cualquier conjunto: g A

2) Todos los conjuntos son subconjuntos de s mismo: AA

3) Todos los conjuntos son subconjuntos del conjunto Universo U: AU

Todas estas propiedades son tiles para un conjunto denominado "conjunto de las partes" o "conjunto
potencia".

Curioso nombre, pero se llama Conjunto de las Partes porque est formado por todos los subconjuntos de un
conjunto dado. El nmero de elementos (o cardinalidad ) de l, est dado por la solucin de la expresin: #8 ,
donde " 8 " indica la cardinalidad del conjunto original. Su notacin es T E .

Ejemplo:

Sea Q + , -. Determinar su Conjunto Potencia.

Respuesta:

El conjunto M tiene $ elementos, es decir 8 $, por lo tanto el conjunto potencia tiene

#$ ) elementos y estos son:
T Q g + , - + , , - + - + , -
Observe que los elementos de T (Q ) se escriben entre llaves y algunos de lo onjuntos fueron
determinados por las propiedades de los subconjuntos dadas anteriormente.

Ejercicios

I) Sean E $ ! & F ! & $ G ! & Determinar s uientes

proposiciones son Verdaderas ( V ) o Falsas ( F ). En el caso de que sean falsas indique
la razn:
a)C A .......... b) A B ..........

c) C A .......... d) C B ..........

e) A C .......... f) g g ..........

g) A B ........... h) g B ...........

II) Sea A + , Encontrar T E y luego determine si las siguientes proposiciones

son Verdaderas ( V ) o Falsas ( F ). En el caso de que sean falsas indique la razn:

a) + T E ........... b) + T E ............

c) + T E ......... d) + T E ...........

e) + , T E ............ d) + T E ...........

e) + , T E ............

Respuesta

I) a) V b) V

c) F C no es un elemento de A. d) V

e) V

f) F, la expresin g, representa un conjunto que tiene un elemento y este es g

g) V h) V

II)

El Conjunto Potencia tiene ## % elementos y es T E g +

a) F, porque " + " es un elemento y la notacin representa subconjunto

b) V c) F, porque + representa un elemento de

d) V e) F, porque + , es un elemento de
 OPERACIONES CON CONJUNTOS

Los conjuntos nos permiten resolver problemas cotidianos a travs de las operaciones que se pueden definir con ellos.
Tomemos dos conjuntos cualesquieras, a los cuales llamaremos A y B

La Unin de los conjuntos A y B es el conjunto formado por todos los elementos de A B o ambos.

A B BB E B F
La unin de A y B se representa simblicamente por A B, especficamente se tiene:

A continuacin, se presentan tres formas grficas distintas de cmo se pueden relacionar los conjuntos, lo achurado
representa la unin de ellos.

Ejemplo 1:

Sean E + , F + - . Determine A B

Respuesta
El conjunto A B + , - . es el conjunto que tiene los elementos de A B.

Ntese que cada elemento se escribe una sola vez aunque se haya repetido ms de
una, como es el caso de la letra "+" que aparece dos veces.

Ejemplo 2:

Un ejemplo grfico se presenta a continuacin con los conjuntos A, B y C. Se achur la unin del conjunto A
y
C.

AC
 La Interseccin de los conjuntos A y B se define como el conjunto formado slo por los elementos que tienen
en
comn A y B. La interseccin se representa por A B

A B B B A B B
Simblicamente, se escribe:

Grficamente, lo achurado representa en cada caso la interseccin de A y B.

Ejemplo 1:

Sean E + , F + - . El conjunto A B + es el conjunto formado por el elemento que se

repite, que en este caso es la letra "+".

Ejemplo 2:

En la figura lo achurado representa A C

Se define Complemento de un conjunto de la siguiente forma: sea A un conjunto cualquiera, el complemento

A- B Y B E
de A son todos aquellos elementos que estn en el Universo, pero que no estn en A.
w
Simblicamente, se representa por A- o A ;

Consecuencias de esta definicin

g- Y Y- g E E- Y E E- g

Grficamente, A- se representa en lo achurado

Ejemplo 1:

Sean Y ", #, $, %, &, ', (, ), * E B Y B es un nmero par

Determine E-

Respuesta:

El conjunto E est formado por los nmeros pares que estn en el conjunto Universo Y dado: E # % ' )
Luego, E- " $ & ( * , es decir, son todos aquellos elementos que estn en el Universo y que no estn en
E.

Ejemplo 2:
En la figura lo sombreado representa E-

La Diferencia entre dos conjuntos A y B, la cual se denota por E F , es el conjunto formado por todos lo
elementos que estn en A y no estn en B. El orden es importante, pus:
La Diferencia entre B y A la cual se denota por F E es el conjunto formado por todos los elementos que
estn en B y no estn en A
Nota:
E F F E

Por ejemplo:

Dados los conjuntos: E " # $ y F # % '

La diferencia E F " $

La diferencia F E % '

Por lo tanto, EF FE
 " $ % '

Simblicamente:
E F B E B F

Grficamente, se representa en lo achurado:

Ejemplo 1:

Sean E + , F + - . Determine E F y F E

Respuesta

Para determinar la diferencia entre A y B, al conjunto A se le quitan los elementos que tenga
de B, lo cual da como resultado la letra " , " es decir E F ,

De igual forma se determina el conjunto F E - .

Esto muestra claramente que: E F F E

Ejemplo 2:

En la figura, lo achurado representa A C

Como consecuencia de estas definiciones, tenemos las siguientes propiedades con respecto al
conjunto Universo y al conjunto Vaco:
 3 Y 9 9

33 Y 9 Y

333 Y 9 Y

3@ 9Y 9

Ejercicios

" Sea el conjunto U B : $ B ( y sean los conjuntos:

A B U : $ B ( B B U : es divisible por #

C B U : B mayor que % D!

Determinar:

a) A B b) C A c) C A B

d) D C - - e) A B- C f) A- D) C B-

# Sea U B " B (

A B U B #
B B U % B (
C B U B $

Determine:

a) A B - C b) A B - C A c) A C - A B

d) A B C - e) C A B -

$ Con A + , - . Encuentre el conjunto Potencia de A

% Sean los conjuntos:

A " # % & ( B ( ) * C " # $, %

Es verdad que:

a) A A B - A- B- b) A C) A B A

c) A B B A- A

& Sea U y sean:

A B U : B "! B B U : $ B $&
C B U : B ! B $
 Determinar :

a) A- B b) B A C - c) A C- B

d) A B C -

Respuesta

" U $ # " ! " # $ % & '

A % & '
B # # % '
C & '
D !

a) A B % '
b) C A % & '
c) C A B &
d) D C - - U
e) (A B)- C U & ' = $ # " ! " # $ %

f) [ (A- D C B- !

# U ! " # $ % & ' (

A $ % & ' (
B % & '
C $ % & ' (

a) A B - C ! " #
b) A B - C A ! " #
c) A C - A B ! " #
d) A B C - ! " #
e) C A B - % & '

$ #$ )

T A + , - + , + - , - + , - 9

% a) A A B - A- B-
Si, ambos conjuntos son iguales
b) A C A B A
Si
c) A B B A- A
Si

& U
A _ "!
B $ $&
C _ $ ! _
 a) A- B "! _ $ $&
b) B A C - 9
c) A C - B
d) A B C - $ ! "! _

Pero todo esto, tambin se puede resolver usando diagramas de Venn, achurando lo que se
pide, veamos un ejemplo.

Ejemplo:

Achurar la solucin de A B C

i) Primero achuramos A B, como se ve en la figura

ii) Luego, a la figura achurada le quitamos C

A B C

Ejercicios

Achure en la figura dada, lo que se pide en cada ejercicio:

a) A C B b) A B - c) A B C -

d) A- B A - e) A B- C B

f) B A C - g) A B C A

Respuesta
a)

b)

c)

d) Desarrollar en clases, en forma grupal.

e)
f)

g) Desarrollar en clase, en forma grupal.

Los conjuntos tambin cumplen ciertas reglas, las cuales rigen a sus operaciones. A continuacin se presenta
una
lista de estas reglas o propiedades y luego unos ejercicios en los cuales sern utilizadas stas, se incluye adems
la
forma de resolucin correspondiente.

Propiedades de los Conjuntos

Sean tres conjuntos cualesquieras A, B y C:

1) Asociatividad

a) A B C A B C b) A B C A B C

# Conmutatividad

a) A B B A b) A B B A

3) Distributividad

a) A B C A B A C b) A B C A B A C

% De Morgan

a) A B - A- B - b) A B - A- B -
5) Absorcin

a) A A B A b) A A B A

6) No Idempotencia

a) A g g b) A g A
c) A U A d) A U U
e) A A- g f) A A- U
7 Involucin

A- - A

8) Diferencia

a) A B A B -

9) Idempotencia

a) A A A b) A A A

Para resolver ejercicios en los cuales se usan las propiedades, conviene desarrollar el lado de la expresin que
presenta mayor dificultad justificando cada paso.

Ejemplo 1:

Usando las propiedades dadas, demostrar que:

E E E- F

Respuesta:
Desarrollaremos la segunda parte de la expresin para llegar a la primera parte:

E E- F
E E- F - - Diferencia
E E- - F - - De Morgan
E E F Involucin
E Absorcin

Luego: E E- F E

Ejemplo 2:

Usando las propiedades dadas, demuestre que E F F E- E

Respuesta

Desarrollaremos la primera parte de la expresin para llegar a la segunda parte:

E F F E-
E F F E- - Diferencia
E F F - (E- - De Morgan
E F F - E ) Involucin
E F F - Distributividad
E9 No Idempotencia
E No Idempotencia

Luego: E E F F E-

Y puedo aplicar en algn problema real todo esto .... ?

Los Problemas con enunciados son un buen ejemplo de la utilizacin de las operaciones de
conjuntos. Para resolverlos, basta con transformar el lenguaje cotidiano a lenguaje matemtico.

Ejemplo 1:

En una encuesta realizada a '# consumidores de comida rpida se revela que:

"! comen slo papas fritas y hamburguesas, "# comen slo completos, % comen slo papas fritas,
$ comen los tres tipos de alimentos, $$ comen al menos dos de estos tipos de comida y #& comen
papas fritas. Si todos nombran alguna de las alternativas, encuentre:

a) Cuntas personas comen completos y hamburguesa?

b) Cuntas personas comen slo completos?
c) Cuntas personas comen exactamente dos tipos de esta comida?

Respuesta:

Se designa cada conjunto del problema con una letra mayscula convenientemente. Llamaremos
U al conjunto universo el cual est formado por el total de consumidores de Comida Rpida
dados en el problema, los cuales son '#, P ser el conjunto de consumidores de Papas Fritas, H el
conjunto de consumidores de Hamburguesas y C los consumidores de Completos. Esto en
notacin conjuntista es:

U B B consumidores de Comida Rpida

P B U B consumidores de Papas Fritas
H B U B consumidores de Hamburguesa
C B U B consumidores de Completos

Las "! personas que consumen slo Papas Fritas y Hamburguesas indica que no consumen
Completos, es decir, es P H C "!

Los "# consumidores de Completos no consumen ninguna de las otras comidas rpidas, slo
Completos, es decir, C P H=12
Los % consumidores de slo Papas Fritas tampoco consumen las otras comidas rpidas, es decir,
P H C=4
Las $ personas que consumen los tres tipos de comidas estn dados por la solucin del
conjunto P H C=3
Las $$ personas que consumen al menos dos de los tres tipos de comida rpida significa que
consumen como mnimo dos tipos distintos, es decir,

P H H C P C P H C "$
 Los #& consumidores de Papas Fritas tambin son consumidores de Hamburguesas y Completos,
es decir, es todo el conjunto P.

Completaremos la informacin en la figura dada a continuacin:

Las respuestas al problema planteado son:

a) C H "&; "& personas comen completos y hamburguesas.

b) C P H "#; "# personas comen slo completos.

c) P H C H C P P C H $!
$! personas comen exactamente dos tipos de esta comida.

Problemas con enunciado

" En una investigacin a mil estudiantes de un Instituto se determin que 720

tenan cassettes, 670 posean CD y 540 tenan ambas cosas. Determinar:
a) Cuntos estudiantes tienen cassettes o CD?
b) Cuntos estudiantes no tienen cassettes ni CD?
c) Cuntos estudiantes tienen slo CD?
d) Cuntos estudiantes tienen slo cassettes?

#. Se investig un grupo de 5500 personas en relacin con la estrategia a seguir con objeto de
conservar el combustible. De stas, 2000 opinaron que lo aceptable era el racionamiento, 1500
dijeron que lo apropiado sera fijar un impuesto adicional por litro, y 750 personas indicaron que
lo apropiado sera la aplicacin de ambos procedimientos.
El resto de las personas no aceptan ninguno de los dos sistemas.
Determinar:
a) Un diagrama de Venn, que resuma lo anterior.
b) Cuntas personas aceptaran en forma voluntaria el racionamiento pero no el impuesto?
c) Cuntas personas aceptaran en forma voluntaria el impuesto, pero no el racionamiento?
d) Cuntas personas no aceptaran en forma voluntaria ninguno de los dos cursos de accin?
$ En una eleccin de directorio de una empresa asistieron 595 de un universo de 703 accionistas.
Segn los estatutos de la empresa cada accionista recibe una papeleta con los nombres de todos
los candidatos y en donde el accionista marcar, si lo desea, hasta dos preferencias.
De los resultados de la eleccin se determin la siguiente informacin referente a las tres primeras
mayoras.
El candidato A obtuvo 324 preferencias, 47 de los accionistas slo votaron por A, 203 votaron
por A y no por B, 164 votaron por C y B, 358 votaron por C y 42 votaron slo por B. Determinar:
a) Quin obtuvo la primera mayora?
b) Quin obtuvo la segunda mayora?
c) Cuntos votaron por dos candidatos?
d) De todos lo asistentes, cuntos no votaron por C?
e) Cuntos slo votaron por C?
f) Cuntos de los asistentes no votaron por ninguno de los tres?
g) Cuntos accionistas no se hicieron presente?
h) Cuntos accionistas votaron por los tres candidatos?

% De una encuesta a 200 personas que compran pasta de dientes 80 compran Pepsodent, 60 compran solamente
Odontine, 20 compran solamente Signal, 14 compran Pepsodent y Odontine, 20 compran Odontine y Signal, 12
compran Pepsodent y Signal y 10 compran todos. El resto compra otra marca.
a) Cuntos compran al menos una de estas marcas?
b) Cuntos no compran estos dentrficos?
c) Cuntos compran solamente Pepsodent?
d) Cuntos compran Signal?
e) Cuntos no compran Odontine?
f) Cuntos compran Signal u Odontine?

& Se realiz una encuesta a 200 alumnos de Ingeniera en Ejecucin en diversas disciplinas acerca
de la forma en que ocupaban su tiempo libre, 30 dicen que slo leen, 60 dicen que
slamente escuchan msica, 20 dicen que slo estudian, 16 dicen que leen y escuchan msica, 50
dicen que estudian, 16 dicen que escuchan msica y estudian y 8 hacen las tres cosas .
De acuerdo a la encuesta, responda las preguntas dadas:

a) Grafique la informacin.
b) Cuntos slo leen o estudian?
c) De los que opinan, cuntos dicen que no leen?
d) Cuntas personas no contestan alguna de estas tres alternativas?
e) Cuntas personas escuchan msica, pero no leen?
f) Cuntas personas estudian y escuchan msica, pero no leen?
 Respuesta

" + )&!
, "&!
- "$!
. ")!

# +

, "#&!
- (&!
. #(&!

$ + G , F - %%"
. #$( / $) 0 #(
1 "!) 2 ninguno

% + "(! , $! - '%
. %# / ""' 0 "!'

& +

, '% - )) . &#
/ ') 0 )
.-
3.- Una encuesta realizada a 100 estudiantes arroj la siguiente
informacin:
32 estudian Clculo I
20 estudian Fsica
45 estudian Qumica
15 estudian Clculo I y Qumica
7 estudian Clculo I y Fsica
10 estudian Fsica y Qumica
30 no estudian ninguna de las tres asignaturas

Determina el nmero de alumnos que:

a) estudian las tres asignaturas
b) cursan una y slo una de las tres asignaturas

4.- Si sabemos que un conjunto G es subconjunto de un conjunto A no vaco,

determina la veracidad de los siguientes enunciados:

a) A G G
b) (G A) A
c) G A A
d) (A G) A (A G)

5.- Cules de las siguientes afirmaciones son verdaderas?

a) Si E F F entonces F E
b) Si E F F entonces E F
c) Si E F entonces F
d) Si E F y B F entonces B E
e) Si B E entonces B E F
f) Si B E entonces B E F
3.- a) Hay cinco alumnos que estudian las tres asignaturas
b) Hay 48 alumnos que estudian una y slo una de las asignaturas.

4.- a) V
b) F
c) V
d) V

5.- a) Z
b) Z
c) J
d) J
e) J
f) Z
 Producto cartesiano

Para entender la idea de producto cartesiano debemos saber que se trata de

una operacin entre dos conjuntos , de tal modo que se forma otro conjunto con
todos los p pares ordenados posibles.

Por ejemplo, dados los conjuntos A = {1, 2, 3, 4} y B = { a , b }, su producto

cartesiano es:

A B = {(1, a ), (1, b ), (2, a ), (2, b ), (3, a ), (3, b ), (4, a ), (4, b )}

Los elementos de A x B son pares ordenados. Cada par que se forma con un
elemento del conjunto A y uno del conjunto B, en ese orden, recibe el nombre de
par ordenado. Sus elementos se colocan entre parntesis, separados por coma.

Entonces:

El producto cartesiano de dos conjuntos cualesquiera A y B, ser un nuevo

conjunto, identificado como A x B , y consistir de un conjunto de parejas
ordenadas, (x, y), donde x pertenece al conjunto A e y pertenece al conjunto B.

Como ejemplo:
 Ventajas de la Teora de Conjuntos

La Teora de Conjuntos nos permite visualizar las intersecciones que puedan

existir entre las partes que conforman un problema, as como cada parte con el
todo. Es un instrumento esencial para el desarrollo de la capacidad de anlisis
Tabla de pertenencia
Se considera cada combinacin de conjuntos en los que un elemento puede
pertenecer y se verifica que los elementos en la misma combinacin de
conjuntos pertenecen a ambos conjuntos en la identidad.
Aplicaciones de la teora de conjuntos en
las ingenieras

Teora de conjuntos e ingeniera informtica

La teora de conjunto se relaciona con la informtica al ser uno de los primeros lenguajes
que soportaban conjuntos fue Pascal; muchos lenguajes lo incluyen ahora, ya sea en el
ncleo del lenguaje o en una librera estndar.
El Lenguaje de programacin Java ofrece la clase "conjunto" para templates, que
implementa a un conjunto ordenado usando un rbol de bsqueda binario; , implementando
conjuntos con una tabla de hash. Python tiene un tipo de conjunto incorporado, pero no un
conjunto en s.

Teora de conjuntos e ingeniera en administracin de

empresas
La teora de conjuntos es particularmente til para el tratamiento de los datos recolectados
especficamente para cada puesto.
Al lograr organizar a la empresa de acuerdo a las aptitudes, actitudes y temperamentos de
cada colaborador se obtiene un mejor clima laboral y trato; asimismo, se puede mejorar la
relacin entre cliente-trabajador.
Se crean mejores equipos de trabajo, con ms eficiencia y ms productividad.
La visin en cuanto a seleccin de personal se vuelve ms amplia.

Teora de conjuntos e ingeniera industrial

Dentro de esta asignatura existe la denominada la teora general de sistemas (TGS) que
trata de ir desengranando los factores que intervienen en el resultado final, a cada factor le
otorga un valor conceptual que fundamenta la coherencia de lo observado, enumera todos
los valores y trata de analizar todos por separado y, en el proceso de la elaboracin de un
postulado, trata de ver cuantos conceptos son comunes y no comunes con un mayor ndice
de repeticin, as como los que son comunes con un menor ndice de repeticin. Con los
resultados en mano y un gran esfuerzo de abstraccin, se les asignan a conjuntos (teora de
conjuntos), formando objetos.
 UNIDAD N1
LGICA Y TEORA DE CONJUNTOS
 LGICA

Toda estructura matemtica necesita tener un razonamiento vlido a travs de un lenguaje que
sea de uso universal. Ante esta situacin es que se necesita una simplificacin y uso de simbolismos
inequvocos que nos permitan razonar en forma vlida con reglas establecidas con claridad. En este
contexto, surgen conceptos tales como el de:

Proposicin: Es una expresin con sentido en algn lenguaje que afirma o niega
algo y que nos proporciona informacin.
Las proposiciones se denotan con la letras : ; < ..

Ejemplo 1:
: El pizarrn es verde
; #$(
< A ella le gusta la msica

Si observa las proposiciones, estas pueden ser verdaderas o falsas (no aceptan ambigedades).

No son proposiciones:
a) el interruptor
b) #B $ '
c) Qu hora es ?.

Estos enunciados no son proposiciones porque no tienen sentido, no afirman ni niegan.

Valor de Verdad: Es una funcin que define una proposicin. El valor de verdad puede ser
Verdadero (V) o Falso (F).

Tabla de Verdad Una tabla de verdad es una forma de resumir el valor de verdad de las
proposiciones. Esta se construye de acuerdo al nmero de proposiciones distintas que se den.

El nmero de combinaciones posibles de valores de verdad se determina al resolver la expresin

8
# donde 8 representa el nmero de proposiciones dadas.

Veamos cmo funciona esto!!

Si hay una sola proposicin, 8 ", resolvemos # " #. Esto significa que se
pueden dar dos posibles valores de verdad y la tabla que resulta es:

:
Z
J

Si hay # proposiciones distintas : y ; , 8 # entonces resolvemos # # %

Esto significa que se pueden dar cuatro combinaciones de valores de verdad y la tabla que resulta
es :
: ;
Z Z
Z J
J Z
J J
 Si hay tres proposiciones , 8 $ resolvemos # $ )
Es decir, se pueden dar ocho combinaciones de valores de verdad y la tabla es:

: ; <
Z Z Z
Z Z J
Z J Z
Z J J
J Z Z
J Z J
J J Z
J J J

...y as sucesivamente.

Las proposiciones pueden ser simples o compuestas. Son proposiciones simples las que se dan
en el ejemplo anterior :
: El pizarrn es verde
; #$(
< A ella le gusta la msica

Son compuestas aquella que se unen mediante smbolos llamados Conectivos.

Conectivos Lgicos u Operadores Lgicos:

Son smbolos que permiten relacionar una o ms proposiciones.

Los conectivos son: la negacin ( ), la conjuncin ( ), disyuncin ( ), condicional ( ) y
bicondicional ( ).

" Negacin : :

Dado un enunciado : , se puede formar otro enunciado que se llama negacin de

: escribiendo "es falso que..." "no..." antes de la proposicin : .
Simblicamente se representa por:
:

Ejemplo :
: : el da est nublado
: : el da no est nublado

El valor de verdad de la negacin depende del valor de verdad de la proposicin

original. Si : es verdadero, entonces : es falso y viceversa.

La tabla de verdad que resume esto es:

: :
Z J
J Z
# Conjuncin: : ;
Dos proposiciones simples cualesquiera, se pueden unir mediante la palabra "y"
para formar una proposicin compuesta, que se llama Conjuncin.
Simblicamente se denota por:
:;
 Ejemplo :

: Est nublado
; Hace fro
: ; : Est nublado y hace fro.
La tabla de verdad es:
: ; : ;
Z Z Z
Z J J
J Z J
J J J

$ Disyuncin : : ;
Dos enunciados cualesquiera, se pueden combinar mediante la palabra "o"
( en el sentido y/o) para formar un nuevo enunciado que se llama disyuncin
de los dos enunciados previos. Simblicamente se denota por:
:;
Ejemplo :

: : La puerta se abre
; : La silla es de madera

: ; : La puerta se abre o la silla es de madera

La tabla de verdad es:
: ; : ;
Z Z Z
Z J Z
J Z Z
J J J

% Condicional : : ;
Muchos enunciados en matemtica son de la forma "si : entonces ; ", estos se
llaman condicionales y se les denota por:
:;
Ejemplo:

: : son las 10 de la maana

; : la clase es de matemtica

: ; : Si son las 10 de la maana entonces la clase es de matemtica

La tabla de verdad es:
: ; : ;
Z Z Z
Z J J
J Z Z
J J Z
& Bicondicional : : ;

Otro enunciado muy usado es el de la forma ": s y slo si ; ", los cuales se
llaman bicondicionales y se les denota por :

:;
 Ejemplo
: : Hoy voy a ir al cine
; Hace calor

: ; : Hoy voy a ir al cine, s y slo si, hace calor

La tabla de verdad es:
: ; : ;
Z Z Z
Z J J
J Z J
J J Z
Ejercicios
" Sean las proposiciones

: El va a la fiesta
; Ella es su polola

Escriba con palabras los siguientes enunciados:

+ ; : .

, ; : .

- : : .

. ; :

/ : ; : ..

0 : ; : :.....

1 : ; : ....

# Sean las proposiciones:

: Tengo dinero
; Hoy dejar de fumar

Escriba los siguientes enunciados verbales en forma simblica usando : y ; :

+ No tengo dinero

, Si tengo dinero entonces hoy no dejar de fumar

- Tengo dinero, s y slo si, hoy dejo de fumar

. No es verdad que, hoy no dejar de fumar

/ No es verdad que, no tengo dinero y que hoy no dejar de fumar

0 Es falso que, no tengo dinero o que hoy dejar de fumar

 Respuesta

"

a) Ella no es su polola
b) Ella es su polola o l no va a la fiesta
c) No es verdad que, l no va a la fiesta
d) No es verdad que, ella no es su polola
e) El no va a la fiesta, s y slo si, ella es su polola
f) Si l va a la fiesta y ella no es su polola, entonces l va a la fiesta
g) Si l va a la fiesta, entonces ella no es su polola

#
+ :
, : ;
- :;
. ;
/ : ;
0 : ;

USO DE PARNTESIS

El uso de parntesis es un smbolo que forma parte de la lgica secuencial, el uso de ellos es
lgico y no retrico, sin los parntesis las frmulas o expresiones lgicas pueden carecer de sentido.

En el siguiente ejemplo, puede observar que las expresiones son claramente distintas:

+ : ; <

, : ; <

TABLAS DE VERDAD PARA RESOLVER PROPOSICIONES COMPUESTAS

Una manera de mostrar la relacin entre el valor de verdad de una proposicin

T : ; y los valores de verdad de las proposiciones : ; es mediante
una tabla de verdad.

Ejemplo

Sea la proposicin : ;

Primero se completan las dos primeras columnas correspondientes a las proposiciones

: y ;
: ;
Z Z
Z J
J Z
J J
Segundo se resuelve el parntesis de la proposicin, desde adentro hacia afuera:
 : ; ;
Z Z J
Z J Z
J Z J
J J Z

Luego, se va completando la expresin que est dentro del parntesis

: ; ; : ;
Z Z J J
Z J Z Z
J Z J J
J J Z J

y por ltimo: se completa toda la expresin en la tabla

: ; ; : ; : ;
Z Z J J Z
Z J Z Z J
J Z J J Z
J J Z J Z

Por lo tanto, la solucin de : ; est dada en la ltima columna.

Existe otra forma de completar la tabla de verdad de : ; y es la

siguiente:
Se escribe toda la expresin en la tabla colocando cada parte de sta en
un cuadrado de la tabla

: ; : ;

Se va completando la tabla de la siguiente forma:

: ; : ;
Z Z Z J
Z J Z Z
J Z J J
J J J Z

: ; : ;
Z Z Z J J
Z J Z Z Z
J Z J J J
J J J J Z
 : ; : ;
Z Z Z Z J J
Z J J Z Z Z
J Z Z J J J
J J Z J J Z

La solucin de : ; est dada en la columna de la negacin .

Ejercicios

" Construya la tabla de verdad de las siguientes expresiones lgicas:

+ : ; :

, : ; ;

- : ; :

. : ; : ;

/ : < ;

0 : ; < ;

# Si

: Cecilia Bolocco es Primera Dama

; ""#
< #&%

Determine el valor de verdad de:

+ < ; : ;

, ; : < :

$ Si

: $B $C *
; &B C (
< & C B "" B " C # C

Determine el valor de verdad de:

+ : ; < ;

, ; : <

- : < ;
 Respuesta

+ : ; ; : ; : ; :
Z Z J J Z
Z J Z Z Z
J Z J J Z
J J Z J Z

, : ; : ; :; :; ;
Z Z J J Z J
Z J J Z J J
J Z Z J Z J
J J Z Z Z Z

- : ; :; : ; : ; :
Z Z Z J J
Z J J Z Z
J Z Z J J
J J Z J J

. " #
: ; : ; : ; : ; " #
Z Z J J Z J Z
Z J J Z Z J Z
J Z Z J J J J
J J Z Z Z Z Z

/ : ; < :< : < : < ;

Z Z Z Z J J
Z Z J J Z Z
Z J Z Z J J
V F F F V F
J V V Z J J
J Z F Z J J
J F V Z J J
F F F V F F

0 : ; < : ; ; < : ; < : ; < ;

Z Z Z J J Z V F
Z Z J J J J V F
Z J Z J Z J V V
V F F F V F V V
J V V Z F V V F
J Z F Z J F F V
J F V Z V J F F
F F F V V F F F
# + J
, Z

$ Los valores de verdad de las proposiciones son:

: J ; J < J

+ : ; < ;
J J J J
J Z Z
J Z
Z

, ; : <
J J J
Z Z Z
Z Z
Z
J

- : < ;
J J J
Z J Z
Z Z
Z

Clasificacin de las Proposiciones Compuestas

Tautologa
Una proposicin T : ; es una Tautologa si todos los valores de verdad de
su ltima columna son Verdaderos, sean cules sean los valores de verdad de sus
proposiciones.

Contradiccin
Una proposicin T : ; es una G ontradiccin si todos los valores de verdad
de su ltima columna son Falsos, sean cules sean los valores de verdad de sus
proposiciones.

Contingencia
Una proposicin T : ; es una Contingencia si todos los valores de verdad
de su ltima columna son Verdaderos y Falsos.

Ejemplo

Demuestre que la siguiente proposicin es una tautologa

: ; : ;
Respuesta
" #
: ; : ; : ; : ; :; "#
Z Z J J Z J J Z
Z J J Z Z J J Z
J Z Z J J Z Z Z
J J Z Z Z J J Z

Por lo tanto, : ; : ; es una Tautologa.

Ejercicios

De las expresiones lgicas dadas, determine cul de ellas es Tautologa,

Contradiccin o Contingencia.

+ : ; ;

, : : ; <

Observacin 1:

Cuando las proposiciones que se relacionan por el conectivo determinan una

Tautologa, entonces la expresin es una implicancia lgica y el conectivo cambia
a.

Ejercicio

Demuestre que la siguiente expresin es una implicancia lgica

: ; : ;

Observacin 2:

Cuando las proposiciones que se relacionan por el conectivo determinan una

Tautologa, entonces la expresin es una equivalencia lgica y el conectivo
cambia a

Ejemplo

En el ejercicio anterior, la expresin

: ; : ; es una Tautologa, por lo tanto la escribimos:

: ; : ;

Un ejemplo de equivalencia lgica son las leyes Proposicionales.

 Leyes del Algebra Proposicional

" Idempotencia
+ : : : , : : :

# No Idempotencia

+ : J J . : Z Z
, : J : / : : J
- : Z : 0 : : Z

$ Conmutatividad

+ : ; ; : , : ; ; :
- : ; ; :

% Asociatividad

+ : ; < : ; <
, : ; < : ; <

& Distributividad

+ : ; < : < ; <

, : ; < : < ; <

' Absorcin

+ : : ; : , : : ; :

( Negacin

+ J V
, Z J
- Z Z

) De Morgan

+ : ; : ;
, : ; : ;

* Condicionales

+ : ; : ;

, : ; ; :

"! Doble Implicacin

: ; : ; ; :
 Usando las leyes proposicionales tambin es posible encontrar otra expresin
equivalente a la que se da, esto se hace simplificando la proposicin compuesta dada.

Ejemplo
Simplifique la expresin : ; : e indique cada paso que realiz

Respuesta

: ; :
: ; : Por Condicional
: ; : De Morgan
: : ; Conmutatividad
: Absorcin

Por lo tanto :; : :

Ejercicios

I) Simplifique las siguientes expresiones:

" : ; : ; # : ; :

$ : ; : ; % : ; :

II) Niegue las siguientes expresiones:

3 : ; 33 : ; :

333 : ; : ; 3@ : : ;

III) Demuestre que:

3 : ; : :

33 : ; : ; Z

333 : ; : : ;

3@ : ; ; : ;

@ : ; : ; : ;

Respuesta

I) " Z # : ; $ Z % Z

II) 3@ J III) Se dejan al estudiante

 LOGICA CUANTIFICACIONAL

Es una rama de la lgica que utiliza determinados smbolos llamados

CUANTIFICADORES, los cuales permiten indicar el nmero de
elementos de un conjunto que al ser sustituidos en un enunciado
hacen de l una proposicin verdadera.

Funcin lgica o proposicional

Es una afirmacin que contiene una o ms variable.

Las funciones proposicionales se denotan por letras minsculas, y las
variables se escriben dentro de un parntesis, por ejemplo:

: B , ; B <C son funciones proposicionales, B e C son variables.

Ejemplo 1:

Sea E " # $ y la funcin proposicional : B : B # & , B E

Determine qu valores cumple la funcin.

Respuesta

Sustituiremos cada elemento de E en la funcin proposicional : B.

Sea B " : " " # &

$ & V

Sea B # : # # # &
% & V

Sea B $ : $ $ # &
& & V

Observe que " todos los elementos que estn en A cumplen la proposicin : B "
,esto se puede simbolizar por el cuantificador: a y es el Cuantificador Universal.

a se lee, " para todo " , " todo"

Simblicamente escribimos todo el enunciado de la siguiente forma:

a B E :B B # &

Esta funcin lgica es cuantificada.

Ejemplo 2:

Sea E " ! " y ; B l B l $ %

Determine qu valores del conjunto A cumplen con la proposicin

Respuesta

Sustituiremos todos los elementos

B ", ; " l " l $ %

" $ %
% % Z

B ! ; ! l!l $ %
! $ %
$ % J

B " ; " l"l $ %

"$ %
% % Z

Observe que slo algunos elementos de A cumplen la proposicin ; B , esto se

simboliza por otro cuantificador: b , llamado Cuantificador Existencial.

b se lee, "existen algunos elementos " o " existe al menos un "

Simblicamente escribimos todo el enunciado de la siguiente forma:

b B E ; B l Bl $ %

b B B E ; B l Bl $ %

Ejemplo 3:

Sea E = # ,$ $ y < B B # ' B %

Determine qu valores del conjunto A cumplen con la proposicin

Respuesta

Sustituiremos cada elemento en < B

B # , < # # # ' # %
%' "'
"! "' F

B $ < $ $ # ' $ %
$ ' $ # $ #
* * V

B $ , < ( $):( $)# +6 ($)%

*' = )"
15 = )" F
 En este ejemplo, de todos los elementos de A , slo $ cumple con la
proposicin, esto se simboliza por b!, el cual es otro Cuantificador Existencial.

b! se lee, "existe un nico "

Del ejemplo anterior: b! B E , < B B # ' B% E # $ $

Ejemplo

Sea : B una funcin proposicional, sobre el conjunto , use cuantificadores

para escribir: Todo real cumple con :B

Respuesta

a B B :B

Ahora resuelva usted !!

Ejercicios

Sea : B una funcin proposicional, sobre el conjunto , use cuantificadores para escribir los
siguientes enunciados.

a) Existe un real que cumple con : B : ....................

b) Algn real cumple con : B : .........
c) Todo real al cuadrado es positivo o cero : .
d) La ecuacin # B $ ! tiene solucin nica en :
e) Existe por lo menos un real tal que su raz cuadrada no es real :

...............................

0) No todos los nmeros enteros son positivos :

........................................................................................................................

Respuestas

a) b xB B ,:B

b) b B B ,:B

c) a B B , B# !

d) b x BB ,:B #B $ !

e) b B B , B

f) b B B B !
 Se podrn agrupar de alguna forma todos los elementos de un conjunto que cumplen con
una proposicin?
Si, en un conjunto llamado Conjunto de Validez.

Por lo tanto, el conjunto de validez es aquel en el cual estn todos lo valores para los cuales la
proposicin es verdadera.

Su notacin es Z : , donde : indica la proposicin.

Veamos un ejemplo de esto !!

Ejemplo

Sea E # $ % = B B " #

Respuesta

Sea B # =# # " #
"# J

B $ = ($): $ " #
# # J

B % = (%) : % " #
$# Z

Es decir, el conjunto de Validez es Z= = % , ya que slo el % cumple con la proposicin = B

.

Valor de Verdad de una funcin proposicional

El valor de verdad de una funcin proposicional depende del cuantificador y del conjunto de
validez.

Ejemplo

Sea E " # $ y la funcin: a B , B E :B : #B " &

Respuesta:

Si sustituimos cada elemento de E en : B , se observa que slo cuando B #, la proposicin se

cumple, es decir:

: # : # # " &
%" &
& &
Z : #
Como la funcin lgica deca que:
Para todos los elementos de A se cumple la proposicin : B , obviamente esto es FALSO, ya
que
slo se cumple para un elemento.
Por lo tanto : a B , B E , : B : # B " & es falso
 Ejercicios

Determine el conjunto de validez y el valor de verdad para cada funcin lgica dada:
Sea E # " ! " #

a) a B ,B E , :B B# "

b) b B ,B E ,;B lB l " "

c) bx B , B E , < B B" #

d) a B ,B E , :B B# $

e) b B ,B E ,=B $l B l " "

Respuesta

a) Z : # "

Valor de verdad : Falso

b) Z ; # " ! " #

Valor de verdad : Verdadero

c) Z < # " !

Valor de verdad : Falso

d) Z : " ! " #
Valor de verdad : Falso

e) Z = # " ! " #

Valor de verdad : Verdadero

Ahora, recurriremos a las tablas verdad vistas anteriormente, pero las llamaremos Tablas de
doble
Entrada para resolver las siguientes funciones lgicas:

Ejemplo

Determine el valor de verdad de:

a B , B E , : B : B ; B

E " ! " # con :

:B :#B " %

;B :B $ B#
 Respuesta:

Se construye la tabla de doble entrada de la forma siguiente:

:B ;B :B ;B : B : B ; B
"
!
"
#

Luego, se sustituyen los elementos de E, en cada una de las proposiciones, para determinar
cules
de ellos cumplen con la proposicin dada:

:B ;B :B ;B : B : B ; B
" Z Z Z Z
! Z Z Z Z
" Z Z Z Z
# J Z Z J

Conjunto de Validez Z : ; " ! "

Valor de verdad: Falso

Y qu pasa si el conjunto es el de los nmeros reales?

Veamos un ejercicio en el cul el conjunto es el de los nmeros reales.

Ejemplo:

b B ,B B+ 1 ! B $ "

3 Para determinar el Conjunto de Validez, se resuelven las inecuaciones y se determina la

solucin
Total:

B" ! B $ "
B " B %

Recuerda que los conjuntos soluciones en los reales se representan con intervalos.
La solucin es :

Conjunto de validez : _ " Y % _

33 Para determinar el Valor de verdad, se lee el cuantificador y se compara con el Conjunto de

Validez.
Valor de Verdad : Verdadero
 Ejercicios
En cada uno de los siguientes ejercicios , determine:

a) Tabla de verdad
b) Conjunto de validez
c) Valor de verdad

" Sea E # " ! " # y la funcin proposicional:

b B , B E , : B ; B < B

:B B# #B " !

;B B " !

< B B $

# Sea E ! " # $ % y la funcin proposicional:

b B , B E , ; B : B < B

: B #B " %

;B B $ !

< B B es divisible por #

$ E ! " # $ % y la funcin proposicional:

b B , B E , : B : B < B ; B

:B B $ &

;B B# " $

<B B !

% b B , B #B + 1 " #B $ &

& b x B , B B + # " #B % $ &

&B (
' a B B $B # " *
%
Respuesta

"
a)
"
: B ; B <B :B <B ;B <B :B "
# J J Z Z J J J
" Z J Z J J J Z
! J J Z Z J J J
" J Z Z Z J J J
# J Z Z Z J J J

b) Z : ; < = "

c) Verdadero

#
a)
"
:B ;B <B :B ;B ;B : B " <B
! Z Z J J J J Z
" Z Z J J J J Z
# J Z Z Z J J Z
$ J Z J Z J J Z
% J Z Z Z J J Z

b) Z : ; < = ! " # $ %

c) Verdadero

a) " #
:B ;B <B :B :B <B " ;B : B #
! Z Z J J J Z Z
" Z Z Z J Z Z Z
# J J Z Z Z J Z
$ J J Z Z Z J Z
% J J Z Z Z J Z

b) Z : ; < ! " # $ %
c) Verdadero

4) b) Z _ ! c) Verdadero

5) b) Z _ #$# c) Falso

6) b) Z _ %$& c) Falso
 NEGACION DE PROPOSICIONES QUE CONTIENEN CUANTIFICADORES

Para negar una proposicin cuantificada hay que cambiar el cuantificador y negar la funcin
proposicional reducindola al mximo usando las leyes proposicionales.

Por ejemplo:

b B B E : B ;B E es un conjunto numrico cualquiera

La negacin es : b B B E : B ;B

La negacin de b es a La negacin de a es b

La negacin de : B ; B la desarrollaremos aparte:

: ;
: ;
: ;

Por lo tanto, la expresin negada de: b B B E : B ; B resulta

a B B E : B ; B

Recuerda!! El conjunto E nunca se niega, es decir, que es incorrecto escribir:

BE

La negacin de: es ; es ; es ; es y viceversa.

Ejercicios

Sean las siguientes proposiciones, encuentre su negacin:

" b B B E : B ; B

# a B B E : B ; B

$ b B B E : B ; B : B

% a B , B # B + 1 " #B $ &

& b B B E & B " B 'B " $

Respuesta

" a B B E : B ; B

# b B B E : B ; B

$ a B B E : B

4. b B , B # B + 1 " #B $ &

& a B B E & B " B 'B " $