Lgica Matemtica

Teora de Conjuntos

Unidad 1

Definicin de conjunto
Un conjunto es una coleccin o grupo de objetos con determinadas caractersticas en comn. A los objetos que
lo forman se les llama elementos del conjunto. Para nombrar a los conjuntos se utilizan las letras del alfabeto
en maysculas, no es necesario pero se puede ocupar inciales al escoger la letra.
Al conjunto que ser usado como marco de referencia para formar conjuntos se le conoce como universo o
conjunto universal (U).
Un conjunto puede ser descrito de dos formas, por enumeracin, si se mencionan explcitamente todos sus
elementos. Por comprensin si los elementos se mencionan en forma implcita mediante una frase que los
describe. Sin importar qu forma se use la descripcin del conjunto estar entre llaves a continuacin de la
letra que identifica al conjunto y separadas por un signo de igual.
Ejemplos:
V = {a, e, i, o, u}
P = {2, 4, 6, 8 98, 100}

V = {x/x es una vocal}

P = {x/x es un numero par menor igual a cien}

Clasificacin de conjuntos
Para su estudio clasificaremos a los conjuntos de la siguiente manera:

Conjunto universal: es un conjunto que contiene a todos los elementos del discurso. Es un trmino
relativo. Se le denota con la letra U.
Conjunto finito: es aquel que consta de cierto nmero de elementos distintos, es decir al contar los
elementos del mismo, el proceso acabara. En caso contrario, el conjunto es infinito.
Conjunto vacio: es un conjunto que carece de elementos. Se le conoce tambin como conjunto nulo y
se le denota con el smbolo .
Conjunto unitario: es todo conjunto que est conformado por un solo y nico elemento.
Conjunto disjuntos: Se les llama con ese nombre, a dos conjunto A y B cuando no tienen ningn
elemento en comn. En caso contrario se les conocer como conjuntos no disjuntos.
Conjuntos Iguales: Diremos que dos conjuntos A y B son iguales cuando todos los elementos del
conjunto A pertenecen a B y viceversa todos los elementos de B pertenecen a A. Esto se conoce
tambin como igualdad de conjuntos.
Subconjunto: es aquel conjunto donde todos sus elementos forman parte de otro conjunto pero sin ser
iguales.
Conjunto potencia: se le llama as, al conjunto formado por todos los subconjuntos de un conjunto
cualquiera. El conjunto potencia de A tambin se denomina conjunto de las partes de A, o conjunto de
partes de A, se denota por P(A) o 2A.

Sean A y B dos conjuntos cualesquiera definidos como: A = {a, 2, c} y B = {x} sus conjuntos potencias quedan
representados a continuacin:

I.S.C. Vctor H. Gonzlez C.

Pgina 1

Lgica Matemtica

Teora de Conjuntos

Unidad 1

Diagrama de Venn
Los diagramas de Venn son esquemas usados en la teora de conjuntos, estos diagramas muestran colecciones
(conjuntos) de cosas (elementos) por medio de lneas cerradas. La lnea cerrada exterior abarca a todos los
elementos bajo consideracin, es decir, el conjunto universal U.
Con los diagramas de Venn es posible representar las relaciones de interseccin, inclusin y disyuncin sin
cambiar la posicin relativa de los conjuntos.

Interseccin: Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas por
sus lneas lmite se superponen. El conjunto de los elementos que pertenecen simultneamente a otros
dos es la interseccin de ambos.

Inclusin: Si todos los elementos de un conjunto son parte de los elementos de otro, se dice que el
primero es un subconjunto del segundo o que est incluido en el segundo. En los diagramas de Venn,
todas las regiones de superposicin posibles deben ser representadas. Y, cuando hay regiones que no
contienen elementos (regiones vacas), la situacin se indica anulndolas (con un color de fondo
distinto).
Disyuncin: Cuando los conjuntos no tienen elementos comunes, la regin de superposicin queda
vaca.

A continuacin veremos un ejemplo de para cada una de las operaciones mencionadas, en cada ejemplo, se
mencionan los conjuntos de las dos formas posibles por enumeracin y por comprensin. Los diagramas de la
parte inferior en caja ejemplo, es la representacin general del la operacin.
Interseccin

I.S.C. Vctor H. Gonzlez C.

Pgina 2

Lgica Matemtica

Teora de Conjuntos

Unidad 1

Inclusin

Disyuncin

I.S.C. Vctor H. Gonzlez C.

Pgina 3