DEFINICION

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo
un conjunto de discos, de libros, de plantas de cultivo y en otras ocasiones en palabras
como hato, rebao, piara, parcelas, campesinado, familia, etc., es decir la palabra conjunto
denota una coleccin de elementos claramente entre s, que guardan alguna caracterstica en
comn. Ya sean nmeros, personas, figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da una definicin
de este, sino que se trabaja con la notacin de coleccin y agrupamiento de objetos, lo
mismo puede decirse que se consideren primitivas las ideas de elemento y pertenencia.
La caracterstica esencial de un conjunto es la de estar bien definido, es decir que dado un
objeto particular, determinar si este pertenece o no al conjunto. Por ejemplo si se considera
el conjunto de los nmeros dgitos, sabemos que el 3 pertenece al conjunto, pero el 19 no.
Por otro lado el conjunto de las bellas obras musicales no es un conjunto bien definido,
puesto que diferentes personas puedan incluir distintas obras en el conjunto.
Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el
conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede escribir as:

{ a, b, c, ..., x, y, z}

Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).

El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma
tabular, extensin o enumeracin de los elementos.


Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:
El conjunto { a, b, c } tambin puede escribirse:
{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teora de conjuntos se acostumbra no repetir a los elementos por ejemplo:
El conjunto { b, b, b, d, d } simplemente ser { b, d }.



MEMBRESIA
Los conjuntos se denotan por letras maysculas : A, B, C,... por ejemplo:
A={ a, c, b }
B={ primavera, verano, otoo, invierno }
El smbolo e indicar que un elemento pertenece o es miembro de un conjunto. Por el
contrario para indicar que un elemento no pertenece al conjunto de referencia, bastar
cancelarlo con una raya inclinada / quedando el smbolo como e .
Ejemplo:
Sea B={ a, e, i, o, u }, a e B y c e B



SUBCONJUNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
En este caso decimos que B esta contenido en A, o que B es subconjunto de A. En general
si A y B son dos conjuntos cualesquiera, decimos que B es un subconjunto de A si todo
elemento de B lo es de A tambin.
Por lo tanto si B es un subconjunto de A se escribe B c A. Si B no es subconjunto de A se
indicar con una diagonal . .
Note que e se utiliza solo para elementos de un conjunto y c solo para conjuntos.



UNIVERSO O CONJUNTO UNIVERSAL
El conjunto que contiene a todos los elementos a los que se hace referencia recibe el
nombre de conjunto Universal, este conjunto depende del problema que se estudia, se
denota con la letra U y algunas veces con la letra S (espacio muestral).
Por ejemplo si solo queremos referirnos a los 5 primeros nmeros naturales el conjunto
queda:
U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:
- Conjunto de nmeros naturales (enteros mayores que cero) representados por la
letra N donde
N={ 1, 2, 3, .... }
- Conjunto de nmeros enteros positivos y negativos representados por la letra Z
donde
Z={..., -2, -1, 0, 1, 2, ... }
- Conjunto de nmeros racionales (nmeros que se representan como el cociente de
dos nmeros enteros {fracciones }). Estos nmeros se representan por una Q
- Conjunto de nmeros irracionales (nmeros que no puedan representarse como el
cociente de dos nmeros enteros) representados por la letra I.
- Conjunto de los nmeros reales que son los nmeros racionales e irracionales es
decir todos, representados por R.

Todos estos conjuntos tienen un nmero infinito de elementos, la forma de simbolizarlos
por extensin o por enumeracin es de gran utilidad cuando los conjuntos a los que se hace
referencia tienen pocos elementos para poder trabajar con ellos se emplean la notacin
llamada comprehensin.
Por ejemplo, la denotar el conjunto de los nmeros naturales menores que 60. Aqu U es el
conjunto N y se tiene una propiedad que caracteriza a los elementos del conjunto: ser
menores que 60.

Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:
{ x/x e N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros naturales (N) y
adems que los valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser
representados por medio de una expresin algebraica; supongamos que se desea expresar
los nmeros enteros (Z) entre -20 y 30 el conjunto quedara de la manera siguiente:
{ x/x e Z ; -20 s x s 30 }

Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no
pertenencia a uno diferente, por ejemplo
L={ 1, 3, 4, 6, 9 }
P={ x/x e N ; X e L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los nmeros
naturales y adems x no pertenece al conjunto L.





OPERACIONES CON CONJUNTOS


UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto formado por
los elementos que pertenecen al menos a uno de ellos a los dos. Lo que se denota por:
A B = { x/x e A x e B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }


INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama
interseccin de A y B; y se denota por A B, algebraicamente se escribe as:
A B = { x/x e A y x e B }
Y se lee el conjunto de elementos x que estn en A y estn en B.

Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }



CONJUNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto nulo lo que
denotamos por el smbolo C .

Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A B.
A B= { }
El resultado de A B= { } muestra que no hay elementos entre las llaves, si este es el caso
se le llamar conjunto vaco nulo y se puede representar como:
A B=C


CONJUNTOS AJENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, entonces a estos conjuntos les
llamaremos conjuntos ajenos, es decir:
Si A B = C entonces A y B son ajenos.



COMPLEMENTO
El complemento de un conjunto respecto al universo U es el conjunto de elementos de U
que no pertenecen a A y se denota como A' y que se representa por comprehensin como:
A'={ x e U/x y x e A }

Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A c U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }



DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de los
elementos de A que no estn en B y se representa por comprehensin como:
A - B={ x/x e A ; X e B }

Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que no
estn en B. Si la operacin fuera B - A el resultado es
B A = { g, h, i }
E indica los elementos que estn en B y no en A.



DIAGRAMAS DE VENN
Los diagramas de Venn que de deben al filsofo ingls John Venn (1834-1883) sirven para
encontrar relaciones entre conjuntos de manera grfica mediante dibujos diagramas.
La manera de representar el conjunto Universal es un rectngulo, bien la hoja de papel
con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:



Los conjuntos se representan por medio de dibujos dentro del rectngulo, los aspectos de
inters se resaltan sombreando las reas respectivas. En el caso de este curso las
indicaremos por medio de un color azul por ejemplo:
















Operaciones con conjuntos
Fecha de primera versin: 27-07-2001
Fecha de ltima actualizacin: 09/06/2008

Unin
Dados dos o ms conjuntos, se define la unin de conjuntos, como el conjunto formado por
los elementos de todos los conjuntos.
Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a,
h, j}. La unin de A y B es {a, b, c, d, e, f, h, j}
La unin tiene las siguientes propiedades:
Conmutativa. A unin B = B unin A
Asociativa. (A unin B) unin C = A unin (B unin C).
Distributiva: A unin (B interseccin C) = (A unin B) interseccin (A unin C)
Absorcin: A unin (A interseccin B) = A
Idempotencia: A unin A = A
Elemento neutro: A unin conjunto vaco = A
Dominacin: U unin A = U
Inversa: A unin A' = U
Inversa de Morgan: (A unin B) ' = A ' interseccin B '
Interseccin
Dados dos o ms conjuntos, se define la interseccin de conjuntos, como el conjunto
formado por los elementos que pertenecen a todos los conjuntos.
Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a,
h, j}. La interseccin de A y B es {a}
La interseccin tiene las siguientes propiedades:
Conmutativa. A interseccin B = B interseccin A,
Asociativa. (A interseccin B) interseccin C = A interseccin (B interseccin C).
Distributiva: A interseccin (B unin C) = (A interseccin B) unin (A interseccin C)
Absorcin: A interseccin (A unin B) = A
Idempotencia: A interseccin A = A
Elemento neutro: A interseccin conjunto vaco = A
Dominacin: conjunto vaco interseccin A = U
Inversa: A interseccin A' = U
Inversa de Morgan: (A interseccin B) ' = A ' unin B '
Diferencia
Dados dos conjuntos A y B, su diferencia, A - B, es los elementos de A que no pertenecen a
B.
Ejemplo: Sean los conjuntos A = {a, b, c, d, e, f} y B = {a,
h, j}. La diferencia A - B es {b, c, d, e, f}. La diferencia
B - A es {h, j}
Diferencia simtrica
Dados dos conjuntos A y B su diferencia simtrica es la unin de la diferencia A - B y B -
A.
En el ejemplo anterior la diferencia simtrica es {b, c, d,
e, f, h, j}
Producto cartesiano
Dados dos conjuntos A y B, el producto cartesianos de estos dos conjuntos es el conjunto
formado por todos los pares ordenados (a,b) donde a es un elemento de A y b es un
elemento de B.
Ejemplo: Sean A = {a, b, c} y B = {1, 2} dos conjuntos. El
producto cartesiano A x B = {(a,1), (a,2), (b,1), (b,2),
(c,1), (c,2)}
El cardinal (nmero de elementos) del producto cartesiano es el producto de los cardinales
de los dos conjuntos, |A x B| = |A| x |B|
Operaciones con conjuntos
Unin La unin de dos conjuntos es el conjunto de todos los elementos que estn en
cualesquiera de los dos conjuntos; o sea, los que estn en el primer conjunto o el segundo
conjunto
A B = $ {x in U $}
Interseccin La interseccin de dos conjuntos es el conjunto de todos los elementos
comunes; o sea, los que estn en el primer conjunto y el segundo conjunto
A B = $ {x in U $}
Diferencia La diferencia de dos conjuntos es el conjunto de todos los elementos del primer
conjunto quitando los comunes; o sea, los que estn en el primer conjunto y no estn en el
segundo conjunto
A - B = $ {x in U $}
Diferencia simtrica La diferencia de dos conjuntos consta de todos los elementos que
estn en los dos conjuntos quitando los comunes; o sea, los que estn en el primer conjunto
y no estn en el segundo conjunto o que estn en el segundo y no estn en el primero.
A B = $ {x in U $}
Operaciones Entre Conjuntos - Presentation Transcript
1.
2.
o Las operaciones que podemos realizar entre los conjuntos son:
o Unin U
o Interseccin
o Diferencia
3.
o Unin Para establecer la unin entre dos conjuntos en ella intervienen todos lo
elementos que conformen los conjuntos; es decir, comunes y no comunes, es por
eso que debemos colorear todos los diagramas
4.
o Interseccin Para realizar la interseccin de los conjuntos debemos de fijarnos en
los elementos comunes que los conforman y debemos de colorear dentro de los
diagramas donde se encuentren ellos ubicados
5.
o Diferencia Para establecer esta operacin de conjuntos y representarlas de
manera grfica debemos fijarnos en los elementos que no son comunes, es decir,
los elementos que los tiene un conjunto pero que no los tiene el otro. Dentro del
diagrama debemos de colorear donde estn ellos ubicados
6.
o Para representarlos en forma grfica utilizamos diagramas; estos diagramas se
usan para mostrar grficamente la relacin matemtica o lgica entre diferentes
grupos de cosas (conjuntos), representando cada conjunto mediante un valo o
crculo.
o Intersecantes
o A U B A B A B B A
o Iguales
o A U B A B A B B A
7.
o Disjuntos
o A U B A B A B B A
o Siempre debemos tener claro que segn la clase a la que pertenezcan los
conjuntos nosotros debemos hacer los grficos
o IGUALES INTERSECANTES DISJUNTOS



Teora elemental de conjuntos


Volver a pgina principal

Lgica proposicional

Una proposicin es cualquier enunciado lgico al que se le pueda asignar un valor
de verdad (1) o falsedad (0).
Dada una proposicin p, se define la negacin de p como la proposicin p' que es
verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar diversas
operaciones lgicas para construir
nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o
falsedad en funcin de los valores de
las proposiciones de que se componen, lo cual se realiza a travs de las tablas de
verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:


p p'
1 0
0 1
A continuacin se describen las principales operaciones lgicas entre dos
proposiciones p,q y sus tablas de verdad:
Conjuncin: es aquella proposicin que es verdadera cuando p y q son
verdaderas, y falsa en cualquier otro caso.
Se escribe p . q, y se lee "p y q".


p q p . q
1 1 1
1 0 0
0 1 0
0 0 0
Disyuncin: es aquella proposicin que es verdadera cuando al menos una de
las dos p o q es verdadera,
y falsa en caso contrario. Se escribe p v q, y se lee "p o q".


p q p v q
1 1 1
1 0 1
0 1 1
0 0 0
Disyuncin exclusiva: es aquella proposicin que es verdadera cuando una y
slo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p v q, y se lee "p o q pero
no ambas". Se usa muy poco.


p q p v q
1 1 0
1 0 1
0 1 1
0 0 0
Condicional: es aquella proposicin que es falsa nicamente cuando la
condicin suficiente p es verdadera y la
condicin necesaria q es falsa. Se escribe p q, y se lee "si p
entonces q".


p q p q
1 1 1
1 0 0
0 1 1
0 0 1
Bicondicional: es aquella proposicin que es verdadera cuando p y q tienen el
mismo valor de verdad,
y falsa en caso contrario. Se escribe p q, y se lee "si y slo si p
entonces q".


p q p q
1 1 1
1 0 0
0 1 0
0 0 1
Una proposicin se dice que es una tautologa si su valor de verdad es siempre 1
independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p v p'.
Una proposicin se dice que es una contradiccin si su valor de verdad es siempre
0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p . p'.
Una paradoja es una proposicin a la que no se le puede asignar ningn valor de
verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p es falsa".

Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en
funcin de las proposiciones elementales
que lo componen; esta definicin equivale a decir que la proposicin p q es una
tautologa. Por ejemplo, las proposiciones
p q
y
q' p'
son equivalentes. Esta ley se llama "ley del contrarrecproco", y se usa en los
razonamientos por reduccin al absurdo.
Se pueden obtener fcilmente ms "resultados lgicos" a travs de su relacin con la
teora de conjuntos.





Nmeros naturales : principio de
induccin

Admitivos como intuitivo el concepto de nmero natural; as, podemos enumerar
los nmeros naturales en orden creciente:
N = { 1,2,3,4,5, ... }
Cuando se quiere demostrar que una proposicin relativa a nmeros naturales es
cierta, se necesita el Principio de Induccin:
"Sea S el conjunto de nmeros naturales para los que la proposicin p(n) es
cierta; supongamos que
m e S
y que
n e S n+1 e S
Entonces S = { m,m+1,m+2, ... }"
(es decir, la propiedad se verifica para todo nmero natural a partir de m;
normalmente se usa con m = 1).

Algunas veces, cuando se quiere demostrar que la proposicin es cierta para n+1, es
necesario usar que la proposicin
se verifica para todo k < n+1; en ese caso se utiliza el Principio de Induccin
completa:
"Sea S el conjunto de nmeros naturales para los que la proposicin p(n) es
cierta; supongamos que
m e S
y que
m,m+1, ... ,n e S n+1 e S
Entonces S = { m,m+1,m+2, ... }"

Ejercicio: prubese por induccin la frmula del binomio de Newton



(Indicacin: utilcense las propiedades de los nmeros combinatorios).




Teora de Conjuntos

NOCION INTUITIVA DE CONJUNTO
Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables
entre si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de pertenencia a e A.
En caso contrario, si a no es un elemento de A se denota ae A.

Ejemplos de conjuntos:

o C : el conjunto vaco, que carece de elementos.
o N: el conjunto de los nmeros naturales.
o Z: el conjunto de los nmeros enteros.
o Q : el conjunto de los nmeros racionales.
o R: el conjunto de los nmeros reales.
o C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:
o por extensin, enumerando todos y cada uno de sus elementos.
o por comprensin, diciendo cul es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define
por extensin,
o su propiedad caracterstica, si se define por comprensin. Por ejemplo:
o A := {1,2,3, ... ,n}
o B := {pe Z | p es par}

Se dice que A est contenido en B (tambin que A es un subconjunto de B o que A
es una parte de B),
y se denota A _ B, si todo elemento de A lo es tambin de B, es decir, a e A a e
B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente A _ B
y B _ A;
esto equivale a decir que tienen los mismos elementos (o tambin la misma
propiedad caracterstica).
Para cualquier conjunto A se verifica que C_ A y A _ A;
B _ A es un subconjunto propio de A si A = C y B = A.
El conjunto formado por todos los subconjuntos de uno dado A se llama partes de
A, y se denota (A).
Entonces, la relacin B _ A es equivalente a decir B e (A). Ejemplos:

Si A = {a,b} entonces (A) = {C ,{a},{b},A}.
Si a e A entonces {a} e (A).

Cuando en determinado contexto se consideran siempre conjuntos que son partes de
uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a e A | a e
B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A A B := (A B)
(B A).
Si A e (U), a la diferencia U A se le llama complementario de A respecto de
U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o C ' = U .
o U ' = C .
o (A')' = A .
o A _ B B' _ A' .
o Si A = { x e U | p(x) es una proposicin verdadera} entonces A' = { x e U |
p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B,
es decir: A B := { x | x e A v x e B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos que
son elementos de A y de B,
es decir: A B := {x | x e A . x e B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fcil ver
que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin) verifican
las siguientes propiedades :
PROPIEDADES UNION INTERSECCION
1.- Idempotencia A A = A A A = A
2.- Conmutativa A B = B A A B = B A
3.- Asociativa A ( B C ) = ( A B ) C A ( B C ) = ( A B ) C
4.- Absorcin A ( A B ) = A A ( A B ) = A
5.- Distributiva A ( B C ) = ( A B ) ( A C ) A ( B C ) = ( A B ) ( A C )
6.- Complementariedad A A' = U A A' = C


Estas propiedades hacen que partes de U con las operaciones unin e interseccin
tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A C = A , A C = C ( elemento nulo ).
o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).

Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el
conjunto de pares ordenados:

A B := { (a,b) : a e A . b e B}

Dos pares (a,b) y (c,d) de A B son iguales si a = c y b = d; anlogamente, dados
cuatro conjuntos A,B,C,D se verifica

A B = C D ( A = C . B = D )

Se llama grafo relativo a A B a todo subconjunto G _ A B.
Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al conjunto

Proy
A
G := { a e A : (a,b) e G, - b e B}

Anlogamente se define la proyeccin Proy
B
G de G sobre B.
Por ltimo, los conceptos anteriores pueden generalizarse a familias de conjuntos.
Si para cada elemento i de un conjunto (de ndices ) I se tiene un conjunto A
i
,
entonces se define el conjunto { A
i
: i e I }
y se denomina familia de conjuntos indicada por I. Tambin se suele denotar por {
A
i
}
i e I
.
De forma anloga se define una familia de elementos ( a
i
)
i e I
.
Dada una familia de conjuntos { A
i
}
i e I
se definen:

o
i eI
A
i
:= { a : a e A
i
, - i e I }
o
i e I
A
i
:= { a : a e A
i
, i e I }
o [
i e I
A
i
:= { (a
i
) : a
i
e A
i
, i e I }

Las propiedades de la unin e interseccin siguen siendo vlidas para familias de
conjuntos, y en particular las leyes de Morgan :

(
i e I
A
i
)' =
i e I
A'
i
, (
i e I
A
i
)' =
i e I
A'
i

DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante "diagramas de Venn",
con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar grficamente con el
fin de obtener una idea ms intuitiva.
A _ B


A B


A B


A B


A A B

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA
PROPOSICIONAL

Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los conjuntos
y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:


conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a . b a' a . b' a v b
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:


A ( A B ) = A a v ( b . c ) a
A ( B C ) = ( A B ) ( A C
)
a v ( b . c ) ( a v b ) . ( a v c
)
( A B )' = A' B' ( a v b )' a' . b'
PROPOSICIONES CON CUANTIFICADORES
Los smbolos (cuantificador universal) y - (cuantificador existencial) se utilizan
en Matemticas para
enunciar proposiciones logicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal : La expresin
x e A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposicin
{ x e A : p(x) } = A
(2) Cuantificador existencial : La expresin
- x e A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x e A : p(x) } = C

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando la
proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o viceversa.
As, la negacin de la proposicin " x e A p(x)" es "- x e A | p(x)' ", mientras
que
la negacin de "- x e A | p(x)" es " x e A p(x)' "






Conjuntos finitos : Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al estudio de los
conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar su
nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la tarea bsica
de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros combinatorios:

(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el nmero total
de formas de ordenar n elementos
de todas las formas distintas posibles.

(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n elementos
tomados de k en k, es decir,
el nmero de subconjuntos distintos de k elementos que tiene un conjunto con
n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)


Como aplicacin de los nmeros combinatorios y del Binomio de Newton,
podemos contar el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal de
partes de A; para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el nmero de
subconjuntos de 0 elementos ms los de
1 elemento, ms los de 2 elementos, y as hasta los de n elementos, es decir:



Pero esta cantidad corresponde a desarrollar mediante el binomio de Newton la
expresin
(1+1)
n
= 2
n

As pues se obtiene que # (A) = 2
n
si # A = n.




3.1.3 Leyes del lgebra de Conjuntos.

Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes
identidades son vlidas en el lgebra de conjuntos para conjuntos
arbitrarios X, Y, Z.


Leyes conmutativas
XY = YX X + Y = Y + X.


Leyes asociativas
X(YZ) = (XY)Z X + (Y + Z) = (X + Y) + Z.


Leyes distributivas
X(Y + Z) = XY + XZ X + YZ = (X + Y) (X + Z).


Leyes de idempotencia
XX = X X + X = X.


Leyes de complementacin
XX' = 0 X + X' = 1.


Leyes de absorcin
X (X + Y) = X X + XY = X.


Leyes de D'Morgan
( XY)' = (X' + Y') (X + Y )' = X'Y'.


Leyes con 0 y 1
X 1 = X X + 0 = X.
X 0 = 0 X + 1 = 1.
0' = 1 1' = 0.


Ley de complemento doble
(X')' = X.

Es importante destacar la dualidad dada en estas leyes, es decir, si en
cualquiera de las identidades, cada unin se reemplaza por una
interseccin, cada interseccin por una unin, cada 0 por 1 y cada 1 por
0, la expresin resultante es tambin una identidad.


Ejercicios 3.1
1) Sean A, B, C, los siguientes conjuntos:
A = { {1,3}, {2,4,6}, {8,9}}
B = { 1,2,3,4,6,8,9}
C = { {1}, {3}, {2}, {4}, {6}, {8}, {9}}
- Es correcto decir que A = B = C ?. Explique.

- Para cada una de las siguientes expresiones; diga si es correcto o no.
{1,3} eA {1,3} c B {1} e A {1} c A

{1,3} c A {1,3} e C {1} e B {1} c B
{1,3} e B {1,3} c C {1} e C {1} c C
{{1}, {2}} c B {{1}, {2}} c C {{1,3} } c A.

2)Si A = {x}; B = {{x}}; Cules de las siguientes expresiones son
correctas?
x e A {x} c A {x} e B A e B {A}
c B
x e B {x} c B {{x}} c A A c B {A} =
B.


3) Dados los siguientes conjuntos:
F: El conjunto de los nmeros de cuatro cifras, donde dos al menos de
dichas cifras son cero.
G: El conjunto de nmeros de cuatro cifras, donde una al menos de
dichas cifras es cero.
H: El conjunto de nmeros de cuatro cifras, dos de las cuales son cero y
las otras dos diferentes de cero.
Determine todas las posibles relaciones de inclusin que se pueden
establecer entre los conjuntos F, G y H.

4) Sea A = {0,1,2,3} y B = {0, {0},3,5}
- Determine todos los subconjuntos de A.
- Determine todos los subconjuntos de B.


5) Sea A el conjunto de todos los nmeros naturales que verifican la
ecuacin:
(x 2)(x + 1) = 0.
Sea B = {A, 1}, Cules de las siguientes expresiones son verdaderas?.
1 e A, 2 e B, 1 e A, {2} e
B, {2} e A.

6) Sean:
X = {a, b, c, e, u, k, m, n, t, {a}, {x}, {y}, {c}}, considerado como
conjunto referencial,
A = {{x}, {y}, a, b, u, {a}, t} y B = {c, {a}, {x}, {y}, m, t}.
Determinar A' y B'.

7) Sea A = {0, | }. En el espacio en blanco coloque los signos
apropiados entre e , e , c , . .
0 ____ P(A) {0, | } ____ P(A) {{| },| } ____ P(A)
{0} ____ A {| } ____P(A) {{| },0} ____P(A)
| ____ P(A) {{| }} ____P(A) {{0},{| }} ____P(A)
| ____ A {0, | } ____ A
{| } ____ A {{0}, 0} ____P(A).


8) Sean A = {0,{ 1,2}}; B = { 1,2}; C = {1, {| }}.
Determinar P(A), P(P(B)), P(C).

9) si A es el conjunto de nmeros de dos cifras tales que la primera cifra
es mayor que la segunda y B el conjunto de nmeros de dos cifras tales
que la primera cifra es menor que la segunda, expresar A + B y A- B.

10) Suponga que el conjunto universal es el conjunto de los nmeros
enteros positivos. Defina S, E y M as:
S: Conjunto de todos los enteros positivos menores o iguales a 6.
E: Conjunto de todos los enteros positivos pares.
M: Conjunto de todos los enteros positivos mltiplos de tres.
Escriba expresiones algebraicas simples en trminos de S, E y M para
los siguientes conjuntos:
- {3,6}, {1,3,5}..
- Todos los enteros positivos mltiplos de 6.
- Todos los enteros pares mayores que 6.
- El conjunto que contiene todos los mltiplos de 3 y todos los
enteros impares.

11) Dar contraejemplos para los recprocos de cada uno de los
siguientes teoremas:
- A c B . B c C A c C.
- X c A . X c B X c A + B.
- B c A B + C c A + C.
- B c A B- C c A- C.

12) Aplicando leyes fundamentales para el lgebra de conjuntos
simplifique las siguientes expresiones.(Cada expresin se reduce a un
slo smbolo).
- A- B'- A'- B'.
- A- B + A- B' + A'- B + A'- B'.
- A- C' + A- B- C + A- C.
- A- B- C + A' + B' + C'.
- (A + B)( A' + B).
vv
- (A + A- B + A- B- C) (A + B + C).
- ( A- B' + A'- B )' ( A- B + A'- B' )'.
- A- B- C + A- B- C' + A- B'- C + A'- B- C + A- B'- C' + A'- B- C' + A'-
B'- C + A'- B'- C'.

13) Simplificar las siguientes expresiones, justificando cada paso.
- (A- B + A- C + A'- X'- Y)( A- B'- C + A'- X'- Y' + A'- B- Y)'.
- X- Y(X- Z' + X- Y + X- Y- Z).
- (X- Y + X'- Y' + X- Y' )' ((X' + Y' )( X + Y' ))'.

14) Escriba cada una de las siguientes condiciones sobre los conjuntos
X, Y y Z, sin hacer uso del smbolo "c ".
X'- Y c Z
X + Y' c Z.
X- Y' + X'- Y c Z + Y'
X c Y' c Z.

15) Encuentre una proposicin equivalente en trminos de inclusin
para cada una de las siguientes condiciones sobre los conjuntos X, Y , Z
y W.
( X' + Y )( Z + W' )' = 0
( X' + Y )( Z + W' ) = 0.
X + Y' + Z' + W' = 1
X- Y' + Z'- W = 0.
Leyes De Conjuntos
Leyes del Algebra de Conjuntos

Si 1 designa al conjunto universal y 0 al conjunto vaco, las siguientes identidades son vlidas en el
lgebra de conjuntos para conjuntos arbitrarios X, Y, Z.

Leyes conmutativas:
Las "Leyes Conmutativas" significa que puedes intercambiar nmeros de cualquier manera y an
as obtener la misma respuesta cuando los sumes. O cuando los multipliques.

Ejemplos:
Puedes intercambiar cuando sumas: 3 + 6 = 6 + 3
Puedes intercambiar cuando multiplicas: 2 4 = 4 2

Leyes asociativas:
Las "leyes conmutativas" slo quieren decir que puedes intercambiar los nmeros cuando sumas o
cuando multiplicas y la respuesta va a ser la misma.
a + b = b + a
a b = b a
Ejemplos:
Puedes intercambiarlos cuando sumas: 3 + 6 = 6 + 3
Puedes intercambiarlos cuando multiplicas: 2 4 = 4 2

Leyes de idempotencia:
En matemtica, la idempotencia es la propiedad para realizar una accin determinada varias veces
y an as conseguir el mismo resultado que se obtendra si se realizase una sola vez. Un elemento
que cumple esta propiedad es un elemento idempotente, o un idempotente. De esta manera, si
un elemento al multiplicarse por s mismo sucesivas veces da l mismo, este elemento es
idempotente. Por ejemplo, los dos nicos nmeros reales que son idempotente, para la operacin
producto (), son 0 y 1. (00=0,11=1).

Leyes distributivas:
La "ley distributiva" es la MEJOR de todas, pero hay que usarla con mucho cuidado.
Quiere decir que la respuesta es la misma cuando:
* sumas varios nmeros y el resultado lo multiplicas por algo, o
* haces cada multiplicacin por separado y luego sumas los resultados
As: (a + b) c = a c + b c
Ejemplos:
Esto: (2 + 4) 5 = 6 5 = 30
Da el mismo resultado que esto: 25 + 45 = 10 + 20 = 30

Leyes de complementacin:
Una operacin binaria es conmutativa cuando el resultado de la operacin es el mismo cualquiera
que sea el orden de los elementos con...