Lgica Computacional

6ta. Unidad (Contenido)

6. Teora de Conjuntos
6.1 Concepto de conjunto
6.2 Conjuntos finitos e infinitos, contables y no contables
6.3 Representaciones de un conjunto: como predicado, de forma extensiva
6.4 Operadores sobre conjuntos: unin, interseccin, complemento,
diferencia.
6.5 Propiedades y leyes sobre operadores
6.6 Diagramas de Venn / Euler
6.7 Correspondencia entre lgica y teora de conjuntos










Teora de Conjuntos.
Rama de las matemticas a las que el matemtico Georg Ferdinand Ludwing Philipp (Cantor es el padre de la
Teora de Conjuntos), dio su primer tratamiento formal en 1870. El concepto de conjunto es uno de los ms
fundamentales en matemticas, incluso ms que la operacin de contar, pues se puede encontrar implcita o
explcitamente, en todas las ramas de las matemticas puras y aplicadas. En su forma explcita, los principios y
terminologa de los conjuntos se utilizan para construir proposiciones matemticas ms claras y precisas y para
explicar conceptos abstractos como el infinito.
En el ao 1874, apareci el primer trabajo revolucionario de Cantor sobre la Teora de conjuntos.

Definiciones.
Sabemos que la palabra conjunto implica la idea de una coleccin de objetos que se caracterizan en algo
comn.
En matemtica tiene el mismo significado, slo que a estos objetos se les llama elementos o miembros del
conjunto.
La nocin simple de una coleccin o conjunto de objetos es fundamental en la estructura bsica de las
matemticas y fue Georg Cantor, en los aos 1870 quien primero llam la atencin de los matemticos a este
respecto.
No puede darse una definicin satisfactoria de un conjunto en trminos de conceptos simples, por lo tanto la
palabra "CONJ UNTO" debe aceptarse lgicamente como un trmino no definido.
Un conjunto es una coleccin bien definida de objetos de cualquier clase.
Hay dos formas de determinar conjuntos.

Por extensin 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.
Ejemplo:
A = { a, e, i, o, u }
B = { 0, 2, 4, 6, 8 }
C = { c, o, n, j, u, t, s } En un conjunto determinado por extensin no se repite un mismo elemento.

Por comprensin Forma Constructiva.
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.
Ejemplo:
A = { x | x es una vocal }
B = { x | x es un nmero par menor que 10 }
C = { x | x es una letra de la palabra conjuntos }
D = { 1,2,3, ... ,n }
E = { p Z | p es par }







Conjuntos finitos e infinitos numerales.

Un conjunto es finito si consta de un cierto nmero de elementos distintos, es decir si al contar los diferentes
elementos del conjunto el proceso de contar puede acabar. En caso contrario, el conjunto es infinito.

Ejemplo:
M = { x / x es un ro de la tierra } Conjunto finito
N = { 0, 1, 2, 3, 4, 5, 6, 7, 8, ... } Conjunto infinito
P = { x / x es un pas de la tierra } Conjunto finito
V = { 3, 6, 9, 12, 15, 18, 21, 24, 27, ... } Conjunto infinito

Definicin.
El tamao de un conjunto es la cantidad de elementos distintos del conjunto.
Ejemplos:
a) El tamao del conjunto {a, b, c} es 3
b) El tamao del conjunto {a, o, d} es 3
c) El tamao del conjunto {{a, b}} es 1
d) El tamao del conjunto es cero
Para encontrar el tamao de dos conjuntos de manera comparativa, se necesita la siguiente
Definicin.
Dados dos conjuntos P y Q se dice que existe una correspondencia uno a uno (Biunicova) entre los elementos
de P y los de Q, si es posible aparear los elementos de P y de Q de tal modo que todos los elementos P estn
aparecidos con distintos elementos de Q.
Ejemplo:
Existe una correspondencia biunvoca entre los elementos de {a, b} y los de {c, d}, tambin existe una
correspondencia biunvoca entre los de {a, b, c} y los de {0, a, b}, pero no existe una correspondencia biunvoca
entre los elementos de {a, b, c} y los de {a, d}.
Definicin.
Se dice que un conjunto es finito si existe una correspondencia biunvoca entre los elementos del conjunto y los
elementos de algn conjunto n , y se dice que n es la cardinalidad del conjunto.
Ejemplo:
La cardinalidad de los conjuntos {a, b, c}, {a, o, d}, {1, 2, 3}, { ,{ },{ , { }}} es 3
Definicin.
Se dice que un conjunto es infinito contable (o infinito numerable o que la cardinalidad del conjunto es infinita
contable), si existe una correspondencia uno a uno entre los elementos del conjunto y los elemento de .
Ejemplos:
El conjunto de los nmeros naturales ={1, 2, 3, ... } es un conjunto infinito contable.
El conjunto de todos los enteros pares no negativos { 2, 4, 6, ...} es un conjunto infinito contable, pues existe
una correspondencia uno a uno entre los enteros pares no negativos y los nmeros naturales, a saber el entero
2i le corresponde el nmero natural i, para i = 1, 2, ..., es decir:

De manera anloga, el conjunto de todos mltiplos de 7 no negativos {7, 14, 21, ... }es infinitos numerable, es
decir:

Cabe sealar que un conjunto es infinito contable si, comenzando con un cierto elemento podemos listar
sucesivamente, uno detrs de otro todos los elementos del conjunto, pues esa lista nos permite construir una
correspondencia uno a uno entre los elementos del conjunto y los nmeros naturales .
Ejemplo:
El conjunto de los enteros = {..., -3, -2, -1, 0, 1, 2, 3,...}, es un conjunto infinito contable, porque sus
elementos pueden ser listados como = {0, 1, -1, 2, -2, 3, -3,...}, ya que se puede hacer una correspondencia
uno a uno entre los elementos del conjunto de los enteros y los nmeros naturales , es decir:

La unin de un nmero finito contable de conjuntos infinitamente contable es un conjunto infinito contable. Lo
mismo sucede con la unin de un nmero infinito contable de conjuntos infinitos contables.
Ejemplo:
El conjunto de los nmeros racionales es un conjunto infinito numerable ya que puede ser listado como
sigue:

Adems se puede observar que se pueden hacer una cantidad infinita numerable de sub listas, donde cada
una es a la vez un conjunto infinito numerable, y la unin de todas ellas es el conjunto de los nmeros
racionales .

Igualdad de conjuntos.
Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos elementos, es decir si cada
elemento de A pertenece a B y si cada elemento que pertenece a B pertenece tambin a A. La igualdad se
denota A = B.
En la igualdad, el orden de los elementos de cada conjunto no importa.

Ejemplo:
A = {1, 2, 3, 4} C = {1, 2, 3, 3, 4, 1} E = {vocal de la palabra mundo}
B = {3, 4, 1, 2} D = {1, 2, 2, 3, 4, 4,} F = {u, o}

A = B C = D E = F


Conjunto vacio.
Es un conjunto que carece de elementos. Se suele llamarle conjunto nulo, y se le denota por el smbolo o { }.

Ejemplo:
A = { Los perros que vuelan } A = { } A =
B = { x | x

es un mes que tiene 53 das} B = { } B =
C = { x | x
3
= 8 y x es impar } C = { } C =
D = { x | x

es un da de 90 horas } D = { } D =






Conjunto unitario.
Es todo conjunto que est formado por un slo y nico elemento.

Ejemplo:
A = { 5 }
B = {nmeros pares entre 6 y 10} = { 8 }
C = {la capital del Per } = { Lima }
D = {x | 2x = 6} = {3}


Conjunto Universal.
Es el conjunto que contiene a todos los elementos del discurso. Es un trmino relativo. Se le denota por la letra
U.

Ejemplo:

Sean los conjuntos:
A ={aves } B ={peces } C = { conejos } D = { monos }
Existe otro conjunto que incluye a los conjuntos A, B, C y D. Es U = { animales }

Grficamente se representa por un rectngulo tal como se observa a continuacin.

Sean los conjuntos:
E = { mujeres } F = { hombres }
Existe otro conjunto que incluye a los conjuntos E y F. Es U = { seres humanos }

Grficamente se representa por un rectngulo tal como se observa a continuacin.





Conjunto potencia.
La familia de todos los subconjuntos de un conjunto M se llama Conjunto Potencia de M. Se le denota como 2
M


Ejemplo:
a) M = { 1, 2 } El conjunto M tiene 2 elementos
2
M
= { {1}, {2}, {1, 2}, } entonces 2
2
= 4 elementos

b) M = { 1, 2, 3 } El conjunto M tiene 3 elementos
2
M
= { {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, } entonces 2
3
= 8 elementos

Si un conjunto M es finito con "n" elementos, entonces su conjunto potencia 2
M
tendr 2
n
elementos. El
conjunto potencia contiene al conjunto vacio o nulo y al mismo conjunto del que se obtiene su potencia.
Algunos autores llaman a este conjunto partes de


Conjuntos disjuntos.
Si dos conjuntos A y B no tienen ningn elemento comn entonces A y B son disjuntos.

Ejemplo:
Conjuntos disjuntos Conjuntos no disjuntos
A = { 2, 4, 6 } M = { o, p, q, r, s }
B = { 1, 3, 5 } N = { s, t, v, u }
A y B son disjuntos. M y N no son disjuntos.
C = { x | x es una letra del alfabeto } P = { x | x es una letra de la palabra aritmtica }
D = { x | x es un nmero } Q = { x | x es una letra de la palabra algebra }
C y D son disjuntos P y Q no son disjuntos


Diagramas de Venn / Euler.
A cada conjunto se le considera encerrado dentro de una curva (plana) cerrada. Los elementos del conjunto
considerado pueden ser especficamente dibujados o pueden quedar (implcitamente) sobreentendidos. Los
diagramas son empleados, para representar tanto a los conjuntos como a sus operaciones, y constituyen una
poderosa herramienta geomtrica, desprovista de validez lgica.













Unin de conjuntos.

La unin de los conjuntos A y B es el conjunto formado por todos los elementos que pertenecen a A o a B o a
ambos. Se denota: A U B. La unin de conjuntos se define como:
A U B = {x | x A o x B}

Ejemplo:
1. Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 0, 2, 4 } y C = { 5, 6, 8 }, efectuar y construir los diagramas
respectivos:
a) A U C b) B U C c) A U B

Tenemos:
a) A = {0, 1, 2, 3, 4, 5} y C = {5, 6, 8}





Interseccin de conjuntos.

Se define la interseccin de dos conjuntos A y B al conjunto de elementos que son comunes a A y B. Se denota
por A B, que se lee: A interseccin B. La interseccin de A y B tambin se puede definir:

A B = { x / x A y x B } y mediante un diagrama de Venn-Euler:




Ejemplo:
1. Dados los conjuntos: A = { 0, 1, 2, 3, 4, 5 }, B = { 3, 5, 7 } y C = { 2, 4 }, efectuar y construir los diagramas
respectivos:

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








Diferencia de conjuntos.

Se denomina diferencia de dos conjuntos A y B al conjunto formado por todos los elementos de A pero que no
pertenecen a B.
La diferencia se denota por: A - B que se lee: A diferencia B o A menos B. Se define la diferencia de dos
conjuntos tambin como:
A - B = {x | x A y x B}



Ejemplo:

1. Dados los conjuntos: A = { a, b, c, d, e }, B = { a, e } y C = { d, f, g }, efectuar y construir los diagramas
respectivos:
a) A C b) B - C c) A - B










Complemento de un conjunto.

Si un conjunto A es subconjunto de otro conjunto universal U, al conjunto A' formado por todos los elementos
de U pero no de A, se llama complemento de A con respecto a U. Simblicamente se expresa:

A' = { x | x U y x A }

Ejemplo:
a) Sean U = { m, a, r, t, e } Y A = { t, e }
Su complemento de A es: A' = { m, a, r }
En forma grfica:





Relacin entre la teora de conjuntos y la lgica proposicional.

Existe una correspondencia entre la teora de conjuntos y la lgica proposicional, es por ello que se encuentran
analogas muy claras en cuanto a las propiedades de las operaciones, para entender esta correspondencia
veamos como seda la equivalencia entre los operadores lgicos y los de conjuntos:



Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto universal con una tautologa.

Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden reescribir en trminos de
lgica proposicional y viceversa; a modo de ejemplo:


Propiedades de los operadores de conjuntos.

Debido a la correspondencia de las operaciones existente entre la lgica proposicional y la teora de conjuntos,
las propiedades que aplican a los operadores lgicos, son semejantes a las que se verifican para los
operadores de conjuntos. Veamos: