1

GUIA TEMATICA DE LOGICA MATEMATICA

TEORIA DE CONJUNTOS
LIC. FERNANDO CORTES DIAZ

Definiciones:
Conjunto: se puede decir que es todo grupo o coleccin de objetos bien definidos, con caractersticas comunes.
Objetos que, pueden ser cualesquiera: nmeros, personas, letras, cualquier ente. Estos objetos se llaman elementos o
miembros del conjunto.
Definicin de elemento: Llamaremos elemento, a cada uno de los objetos que forman parte de un conjunto, estos
elementos tienen carcter individual, tienen cualidades que nos permiten diferenciarlos, y cada uno de ellos es nico,
no habiendo elementos duplicados o repetidos.
Notacin
Conjuntos: Se denota con una letra mayscula: A, B, C, ..., o enumerando sus elementos separados por comas y
delimitndolos por llaves: { }
Elementos: Se denotan con letras minsculas: a, b, c, d, ., a menos que dichos elementos sean a su vez conjuntos.
(Familia de Conjuntos).
De esta manera, si A es un conjunto, y a, b, c, d, e todos sus elementos, es comn escribir: A =
para definir a tal conjunto A.

a, b, c, d, e

Nocin de pertenencia: Sea x un elemento cualquiera y A un conjunto. Si es cierto que x es un elemento de A, se

dice que x pertenece a A y se denota: x A.
Nocin de no pertenencia: Si no es cierto que x es un elemento de A, se dice que x no pertenece a A y se denota
como: (x A) o x A.
Determinacin de un conjunto: Hay dos formas de determinar conjuntos, por extensin y por comprensin.
Por extensin o forma tabular: Se dice que un conjunto es determinado por extensin (o enumeracin), cuando se
da una lista que comprende a todos los elementos del conjunto y slo a ellos. En un conjunto determinado por
extensin no se repite un mismo elemento.
Ejemplos
B = { 2, 4, 6, 8 }
C = { c, o, n, j, u, t, s }
D = { 1, 2, 3, 4, 5 }
Por comprensin: Se dice que un conjunto es determinado por comprensin, cuando se da una propiedad que la
cumpla en todos los elementos del conjunto y slo a ellos.
Este mtodo nos mueve a usar la notacin siguiente para determinar un conjunto dado A.
A = { x tal que x es un objeto que verifica una condicin dada }
O en forma ms simple:
A = { x / x es un objeto que verifica una condicin dada }
Ejemplos:
B = { x / x es un nmero par menor que 10 }

2
C = { x / x es una letra de la palabra conjuntos }
N 0< x 5 }

D={x/x

RELACION ENTRE CONJUNTOS

Subconjunto: A es subconjunto de B si todo elemento de A lo es tambin de B.
Notacin: A B

x B

Ejemplo:
El conjunto C = {1,2,5} es un subconjunto del conjunto D = {5,4,3,2,1} ya que todo elemento de C pertenece
al conjunto D.
3.- Conjunto Universal: es aquel conjunto que no puede ser considerado un subconjunto de otro conjunto, excepto
de si mismo. Todo conjunto se debe considerar un subconjunto del Conjunto Universal.
Notacin: U
Ejemplo:
A = {1,3,5}

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

U = {0,1,2,3,4,5,6,7,8,9, 10}
4.- Conjunto Potencia o partes de un conjunto: se denomina conjunto potencia de A, o partes de A P(A), a la
familia de todos los subconjuntos del conjunto A. S el conjunto A tiene n elementos, el conjunto potencia de A tendr
n
2 elementos.
Notacin:
Ejemplo:
A = {2,4,5}
3
P(A)= 2 = 8, lo que significa que pueden formarse 8 subconjunto de A.
P(A)= { {2}, {4}, {5}, {2,4}, {2,5}, {4,5}, {2,4,5},

}.

5.- Conjunto Vaco: es aquel que no posee elementos y es subconjunto de cualquier otro conjunto.
Notacin:

={x/x

Ejemplo:

x}

B= {x/x = 4, x es impar}. B es entonces un conjunto vaco.

6.-Diagrama de Venn: Los diagramas de ven Euler permiten visualizar grficamente las nociones conjuntistas y se
representan mediante crculos inscritos en un rectngulo. Los crculos corresponden a los conjuntos dados y el
rectngulo al conjunto universal.
Ejemplo:
A

B
U
B

7.-Conjuntos Finitos o Infinitos:

contar.

Los conjuntos sern finitos o infinitos, si sus elementos son o no factibles de

Ejemplo:
M= {a,e,i,o,u}, M es finito.
N={1,3,5,7...}, N es infinito.
8.- Conjuntos disjuntos: Dos conjuntos son disjuntos si no tienen elementos comunes.
Grficamente:
U
A

Ejemplo:
A= {1,3,8}, B={2,4,9}; A y B son conjuntos disjuntos.

OPERACIONES CON CONJUNTOS

1.-Unin de conjuntos: La unin de dos conjuntos A y B es un conjunto cuyos elementos pertenecen a A o a B.
Notacin: A B= {x/x A x B}
Grficamente:
U
A

Ejemplo
A={3,4,5,8,9}
B={5,7,8,9,10}
A B={3,4,5,7,8,9,10}
Propiedades de la unin de conjuntos
1.- Idempotencia A U A = A
2.- Conmutativa A U B = B U A
3.- Asociativa A U ( B U C ) = ( A U B ) U C
4.- Absorcin A U ( A

B)=A

5.- Distributiva A U ( B

C)=(A B)U(A C)

6.- Complementariedad A U A' = U

U
B

4
7.- Identidad A U = A

AUU=U

2.- Interseccin de conjuntos: La interseccin de dos conjuntos A y B, es un conjuntos cuyos elementos son
comunes a A y B.
Notacin: A

B= {x / x

B}

Grficamente:
U
A

Ejemplo:
A={7,8,9,10,11,12}
A

B={5,6,9,11,13,14}

B={9, 11}

3.-Complemento: El complemento de un conjunto A, son todos los elementos que no estn en el conjunto A
y que estn en el universo.
c

Notacin: A = {x / x

x A}

A =U- A
Grficamente:
Ac

U
A

Ejemplo:
U= {1,2,3,...10} y A={ 3,4,6,7}
c

A = {1,2,5,8,9,10}
4.- Diferencia de conjuntos: La diferencia de dos conjuntos A y B, es un conjunto cuyos elementos son aquellos
que estn en el conjunto A, pero no en el conjunto B.
Notacin: A - B ={x / x

B}

Grficamente:
U
A

Ejemplo:

U
A

U
A

5
C = {u, v, x, y, z}

D = {s, t, z, v, p, q}

C - D = {x, y, u}
5.- Diferencia Simtrica: La diferencia simtrica de dos conjuntos A y B es un conjunto cuyos elementos son
aquellos que estn en A, pero no en B, unidos con aquellos que estn en B, pero no en A.
Notacin: A

B= {x / x

B= ( A - B )

( B -A )

{x / x

Grficamente:

AA

U
A

)
)
)

Ejemplo:
A= {1,3,4,5,6,7,20,30}
A B= {1,3,4,5,7,30}
A

B={2,6,20,40,50}
{2,40,50}

= {1,2,3,4,5,7,30,40,50}

6.-Producto cartesiano: El producto cartesiano entre dos conjuntos A y B es el conjunto de todos los pares
ordenados que tienen como primera componente un elemento de A y como segundo componente un elemento de B.
Notacin: A x B = {(a, b ) / a
Ejemplo:
A= {1,2}

B={3,4,5}

A x B = {(1,3), (1,4), (1,5), (2,3), (2,4), (2,5)}

Observaciones:
1.- n( ) = n

n( )

2.-Si A =
3.- A x B

n(A x B) = n s

xB=
xA

siempre que se cumpla que A

Ejemplo: La representacin grfica de los pares se muestra a continuacin

Grafico cartesiano

Diagrama Tabular

7.- Cardinalidad:
n(A

n(A) + n(B) n (A

n(A (

C)) = n(A) + n(B) + n(C) - n(A

- n(

C) n(B C) + n(A (

LEYES DE ALGEBRA DE CONJUNTO

1.- Asociatividad:

(A

C)

C=A

C)

2.- Conmutatividad:

A B=B A
3.- Distributividad:
A

C)

C) = (

C)

4.- Absorcin:
A
A

5.- Idempotencia:
A
B
6.- Identidad:
U
A U
7.-Complemento:

C))

7
c

c c

(A ) = A

U= , = U

8.- Ley de Morgan:

c

(A B) = A

(A

=A

AB=A

EJERCICIOS RESUELTOS
Demmostrar:
1.-( - B)
(A

B)

B=

A (B

B) =

=
2.- (A B)

A (B

C)

C =

A (B

C)

C =

A (B

C)

C ) = A (B

C)

(A
A

- C)
)

(B

(A

A (B

C)

C)

A (B

C)

A (B
3.- n[A

n[A

+n

+ n(C) - n(A

= n(A) + n(B C) - n[A (B C)]

B) - n(A C) - n(B C) + n[A (

C)]

= n(A) + n(B) + n(C) - n(B C) - n[(A B) (A C)]

4.- (A
A

C) - n(A

=n

B) - n(A C) - n(B C) + n[A (

A)

(A

(A

B )

+n

+ n(C) - n(A

B)=A
=A
=A

A
5.- (B

= n(A) + n(B) + n(C) - n(B

=A
C)

(B

A)

(C

A)

B) - n(A

C) + [ n(A

B)
C)]

(A C)]

8
A
(A

(B
B)

C)

= (B

(A

C) = (B

(B A) (C A)

A)
A)

(C
(C

A)
A)

= (B A) (C A)

Simplificar:
1.- A

[ (B

(A

B) )

[ (B

A)

(B

B) ]

(A

A)

(A B)

[ (B

A)

(B

B) ]

(A

B)

[B

A]

(A

B)

(A

(A

B)

(A)

(A

(A

B) ) ]

B= B
A)

EJERCICIOS PROPUESTOS:
1. Si X = {1, {1}}; hallar todos los subconjuntos de X.
2. Sean A = {1, 2, 3, 4, 5 7, 8, 10}, B = {2, 4, 6,8, 10, 12}, C = {3, 5, 7,11,13} y U = {x / x es un nmero natural menor o
igual que 9}.
Hallar:
a. A ' B'
b. A' B'
c. A - B
d. A B
e. B C
f. A U
g. B C
h. B X C
i. A B
j. B C
3. Escriba por extensin los siguientes conjuntos:
1. A = {x / x sean mltiplos de 5 menores que 40}
2. B = {x / x sean los divisores de 36}
3. D = {x / x=n/(n+1), n
4. H = {n(n+1) / n

10}

N, n < 5}

5. E = {x / x sean los factores primos de 36}

6. F = {x / x

-5

5}

4. Escriba por comprensin los siguientes conjuntos:

1. A = {3, 6, 9, 12, 15}
2. B = {1, 1/2, 1/3, 1/4, 1/5,...}

9
3. D = {0, 3, 8, 15, 24, 35, 48,...}
4. F = {0, 1/3, 2/4, 3/5, 4/6, 5/7, 6/8,...}

CONSULTAR EL MODULO LECCION N 6 PAGINA 41 A LA PAGINA 45

Sombrea en cada uno de los diagramas al solucin que satisfaga a la operacin de conjuntos dada
A

C
( (A

(R

(HG)

U
B) -- C

(A

T)

U
C)

4. Determine la operacin que corresponde a la region sombreada

__________________

________________

10

______________
5.

________________

Un club consta de 78 personas; de ellas 50 juegan ftbol , 32 bsquet y 23 vley. Seis figuran en los
tres deportes y 10 no practican deporte alguno. Entonces:

a)

Cuntas personas practican slo un deporte?

b)

Cuntas personas practican slo dos deportes?

c)

Cuntas personas practican al menos dos deportes?

d)

Cuntas personas practican como mximo dos deportes?

6. Demostrar:
1.- A

(A

2.- A (A

)=A
B)=A

B
B