Unidad II Conjuntos

ALGEBRA I
UNIDAD II
CONJUNTOS
ALGEBRA I La matemtica honra el espritu humano Leibnitz UNIDAD N 2
INDICE:
Prologo 2
Introduccin 3
Nocin de conjuntos 3
Relacin de pertenencia 3
Conjuntos numricos 4
Clases de conjuntos 6
Subconjuntos 6
Igualdad de conjuntos 8
Operaciones entre conjuntos 9
Propiedades de las operaciones entre conjuntos 12
Formas de demostrar igualdad de conjuntos 13
Numero de elementos de un conjunto finito 15
Numero de elementos de la unin 15
Bibliografa 17
Autor: Elio Romero Cullar Pgina 2

UNIDAD N 2
CONJUNTOS
PROLOGO.- UNIDAD II
En el ltimo cuarto del siglo XIX se vivi un episodio

apasionante de la historia de la matemtica que la ligara
desde entonces a la historia de la lgica.
Primero, Georg Boole (1815-1864) en su Mathematical
Analysis of Logic trat de presentar la lgica como parte de
la matemtica. Poco despus Gottlob Frege (1848-1925)
intent mostrar que la aritmtica era parte de la lgica en
su Die Grundlagen der Arithmetik. Pero, dando un gran paso
tanto en la historia
de la matemtica como en la historia de la lgica, G. Cantor
se haba adelantado a Frege con una fundamentacin lgica
de la aritmtica. Cantor haba demostrado que la totalidad
de los nmeros naturales comprendidos en el intervalo de
extremos 0 y 1 no es numerable, en el sentido de que su
infinitud no es la de los nmeros naturales. Como una
consecuencia de esa situacin, Cantor cre una nueva
disciplina matemtica entre 1874 y 1897: la teora de
conjuntos. Su obra fue admirada y condenada
simultneamente por sus contemporneos. Desde entonces
los debates en el seno de la teora de conjuntos han sido
siempre apasionados, sin duda por hallarse estrechamente
conectados con importantes cuestiones lgicas. Segn la
definicin de conjunto de Cantor, ste es una coleccin en
un todo de determinados y distintos objetos de nuestra
percepcin o nuestro pensamiento, llamados los elementos
del conjunto. Frege fue uno de los admiradores de la nueva
teora de Cantor, y dio una definicin de conjunto similar. En
1903 B. Russell demostrara que la teora de conjuntos de
Cantor era inconsistente y cuestionara la definicin de
conjunto en la teora de Cantor. Pero pronto la teora
axiomtica de Zermelo (1908) y refinamientos de sta
debidos a Fraenkel (1922), Skolem (1923), von Newman

(1925) y otros sentaron las bases para la teora de
conjuntos actual.
INTRODUCCION.-
Una teora se fundamenta y se va construyendo a partir de

conceptos fundamentales, encadenando los nuevos conocimientos
o proposiciones que se basan en las anteriores. Es as como se
parte de trminos no definidos o conceptos fundamentales.
Luego hay proposiciones que relacionan estos conceptos
fundamentales y que son tan evidentes que se aceptan como
verdaderas. Estas proposiciones se denominan axiomas de la
teora. Siguiendo con la construccin aparecen las proposiciones
cuya veracidad debe ser probada o demostrada, stos son los
llamados teoremas que segn su importancia se puede denominar
proposicin, lema, corolario o teorema.
Se dice que un concepto es primitivo, cuando dicho concepto se
admite sin definicin.
As los conceptos de conjunto, elemento y relacin de permanencia
son conceptos primitivos en la matemtica.
NOCION DE CONJUNTOS.- Toda agrupacin o coleccin de

objetos es considerado como conjunto, siempre que exista un
criterio preciso que nos permita afirmar que un objeto pertenece o
no a dicha agrupacin. Si enunciamos una propiedad y buscamos
los objetos que la cumplen, tendremos un agregado al que
llamamos CONJUNTO.
NOTACION.- Usaremos letras maysculas para denotar conjuntos

como A, B, C, .. y letras minsculas para los elementos
de un conjunto como a, b, c, ..
El conjunto se escribe entre llaves { }. Entre ellas se incluyen bien
los elementos que forman el conjunto (esto solo es posible si el
conjunto es finito), o bien se escribe la propiedad que nos permite
decidir si un elemento es del conjunto o no {x / x cumple la
propiedad p}, se lee conjunto de los x, talque x cumple con la
propiedad p. La primera forma se llama determinacin de conjuntos
por extensin y la segunda por comprensin.
RELACION DE PERTENENCIA.-
La relacin de elemento a conjunto es de pertenencia.
La notacin xA se lee x pertenece a A, indicando as, que x
forma parte del conjunto A.
La negacin de P(x): xA.
Es ~P(x): xA y se lee x no pertenece a A.
CONJUNTO UNIVERSAL.- Es el conjunto que contiene a todos los

elementos que se estn considerando en un estudio o contexto
particular. Generalmente se representa con la letra U.
DIAGRAMA DE VENN-EULER.-
Los conjuntos se suelen representar grficamente a travs de los
diagramas de Venn- Euler.
Se llaman diagramas de Venn-Euler a las regiones del plano
delimitadas por lneas curvas o quebradas que sirven para ilustrar y
establecer relaciones entre conjuntos.
En general el conjunto universal se lo representa con un rectngulo
y los conjuntos por bucles cerrados.
CONJUNTOS NUMERICOS.-
NUMEROS COMPLEJOS.- [C]

Constan de dos partes una parte real y la otra imaginaria,
generalmente se representan con la letra z
z= a + b i , siendo la parte real y b la parte imaginaria i = 1 .
Se representan grficamente por un punto del plano.
Eje Imaginario
z = a + bi
b
a Eje Real
NUMEROS REALES.- [R]

Una propiedad importante de los nmeros reales es el poder los
representar por puntos de una lnea recta. (Recta real)

1
- -2 -1 0 1 2 3 4 +
1 1 1 1
Un nmero real siempre admite representacin decimal, (exacta o
no exacta).

Ejemplos.-
4
a) 1.3333
3
1
b) 0.25
4
c) 2 1.4142
d) 3.14159
NUMEROS IMAGINARIOS.- [I]

Los numeros imaginarios son aquellos que resultan de la raiz
cuadrada de nmeros negativos. Ejemplo
20 20 . 1 20 i
NUMEROS RACIONALES.- [Q]

Los nmeros racionales son los reales que se pueden expresar
como razn de dos nmeros enteros. Se denota el conjunto de los
nmeros racionales por Q.
NUMEROS IRRACIONALES.- [Q']

Los nmeros irracionales son los reales que no se pueden expresar
como la razn de dos nmeros enteros. Es decir son aquellos que
no son racionales. Generalmente se denotan por Q'.
NUMEROS ENTEROS.- [Z]
NUMEROS FRACCIONARIOS.- [F]

NUMEROS NATURALES.- [N] [Z ]
Son los nmeros con los que aprendemos a contar. Son tambin los
nmeros enteros positivos.
NUMEROS ENTEROS NEGATIVOS.- [Z-]
EL CERO.-
NUMEROS PRIMOS.- [P]

Son aquellos nmeros que solo son divisibles por si mismo y la
unidad. Ejemplo 2,3,5,7,11,13,

ESQUEMA QUE RELACIONA LOS CONJUNTOS NUMRICOS.-
N Complejos
N Imaginarios N Reales
N Irracionales N Racionales
N Fraccionarios N Enteros
N Enteros Negativos Cero N Enteros Positivos
N Primos
CLASES DE CONJUNTOS.-
CONJUNTO UNITARIO.- Se denomina conjunto unitario al que esta

compuesto por un nico elemento.
CONJUNTO FINITO.- Es el conjunto que tiene un nmero

determinado de elementos.
CONJUNTO INFINITO.- Es el conjunto que tiene un nmero

inconmensurable de elementos.
SUBCONJUNTOS.- (INCLUSION)
DEFINICION.- Sean A y B dos conjuntos. Se dice que A es

subconjunto de B si y solamente si todo elemento de A est en B. Y
se simboliza por: A B
Y se lee: A est incluido en B
A est contenido en B
A es una parte de B
A es subconjunto de B
Si se simboliza por B A se lee:
B incluye a A
B contiene a A
B es todo de A
B es superconjunto de A
Simblicamente tenemos:
A B x, xA xB
B A x, xB xA
Su diagrama de Venn- Euler es:
AB
Observaciones:
1.- Si A es un conjunto finito de n elementos, entonces tiene

exactamente 2n subconjuntos distintos.
2.- El conjunto vaco es subconjunto de todo conjunto.
3.- Todo conjunto es subconjunto de s mismo.
NEGACIN DE LA RELACIN DE INCLUSIN.-
AB ( A B)
( x, xA xB)
x: ( xA xB)
x: xA xB
SUBCONJUNTO PROPIO.-
A es un subconjunto propio de B si y solo si ( A B) AB
SUBCONJUNTOS COMPARABLES Y NO COMPARABLES.-

Dos conjuntos A y B son comparables si (A B) (B A).
Dos conjuntos A y B no son comparables si (A B) (B A).
Ejemplo.-

B
A B A
A B (Ay B son comparables) B A (B y A son comparables)
A B
(A B) (B A) (Ay B son no comparables)
CONJUNTOS DISJUNTOS.- Dos conjuntos A y B son disjuntos si

no tienen elementos en comn.
IGUALDAD DE CONJUNTOS.-
Definicin.-
Dos conjuntos A y B son iguales y escribiremos A=B si y solo si, A
est incluido en B y B est incluido en A.
Simblicamente tenemos:
A=B (A B) (B A)
(x, xA xB) (x, xB xA)
x, (xA xB) (xB xA)
x, (xA xB)
Es decir dos conjuntos son iguales si tienen los mismos elementos.
Ejemplo.- Determine cules de los siguientes conjuntos son iguales.

A = x xN, x2-7x+12=0
E = x x es una letra de la palabra RAUL
B = 3,4
F = x x es una letra de la palabra ULTRA
CONJUNTO POTENCIA.- (conjunto de partes)

Dado un conjunto A, se llama conjunto potencia de A o conjunto de
partes de A, al conjunto cuyos elementos son todos los
subconjuntos de A.
Notacin.- P(A), se lee Conjunto potencia de A o Conjunto de
partes de A.
Simblicamente: P(A) = s s A
Ejemplo.- Determine el conjunto potencia del conjunto B = a,b,c.

OPERACIONES ENTRE CONJUNTOS.-

A continuacin definiremos las operaciones ms usuales y las
graficaremos segn el diagrama de Venn-Euler. Consideraremos el
conjunto Universo como el rectngulo que contiene a todos los
dems conjuntos.
A U
Unin de conjuntos: Dados dos
conjuntos A y B, se llama unin de A
y B y se denota por A B al
conjunto que contiene los elementos
de A, los elementos de B y los
elementos que estn en ambos
conjuntos.
A B = {x / x A x B}, es decir
B x(A B) x A x B
Si A=x/ F(x) y B=x/G(x),
entonces:
A B = x/ F(x) x/ G(x)
A B = x/ F(x) G(x)
AB
Diagrama de Venn de la Unin, regin
Definicin de la Unin
rayada al menos una vez.

Interseccin de conjuntos: Dados
dos conjuntos A y B, se llama
interseccin de A y B y se denota
A U por A B al conjunto que contiene
los elementos que estn
simultneamente en ambos
conjuntos. Dos conjuntos cuya
interseccin es vaca se denominan
conjuntos disjuntos.
A B={x / x A x B}, es
decir x(A B) x A x B
B Si A=x/ F(x) y B=x/G(x),
entonces:
A B = x/ F(x) x/ G(x)
A B = x/ F(x) G(x)
AB
Diagrama de Venn de la inter, regin rayada

dos veces. Definicin de Interseccin
A U
Diferencia de conjuntos: Dados
dos conjuntos A y B, se llama
diferencia de A y B y se denota por
A - B al conjunto que contiene a los
elementos de A y no estn en B.
A - B={x / x A x B}, es decir
que x(A B) x A x B
B
Si A=x/ F(x) y B=x/G(x),
entonces:
A - B = x/ F(x) - x/ G(x)
A - B = x/ F(x) G(x)
A-B
Diagrama de Venn de la diferencia, regin
Definicin de Diferencia.
rayada nicamente vertical.
Diferencia simtrica de conjuntos:

U Dados dos conjuntos A y B, se llama
A diferencia simtrica de A y B y se
denota por A B al conjunto que
contiene a los elementos que estn
en A y no estn en B ms los
elementos que estn en B y no
estn en A.
B A B={x / (x A x B) (x
B x A)} , es decir x (A
B) (x A x B) (x B x
A)
AB A B=(A - B) (B - A)
Diagrama de Venn de la diferencia
Definicin de diferencia simtrica.
simtrica, regin rayada una sola vez.
omplemento Absoluto: Dado un

U conjunto A llamaremos
complementos de A y lo
denotaremos por A', Ac, o CA al
conjunto que contiene a todos los
A elementos del universo que no estn
en A.
Ac= U-A = {x / x U x A}, es
decir, x Ac x U x A
Si A=x/ F(x), entonces:
Ac Ac=x/ F(x)
Diagrama de Venn del complemento

Definicin de complemento absoluto
absoluto de A, regin rayada nicamente
vertical.
Complemento relativo: Dados A y

A B, si BA, entonces la diferencia A-
B, se llama conjunto
complementario de B en A o
B complemento de B en A.
Su notacin: CB
A
CB
A = A-B = {x / x A x B}, es
decir, x CB
A xAxB
CB
A
Diagrama de Venn del complemento relativo

Definicin de complemento relativo
de B en A, regin rayada nicamente
vertical.
Ejemplo.- Dados los conjuntos:
1 1 1 1 1 1 1
U = - , , , , 0, , , , 1, 2, 3
2 3 4 5 4 3 2
A = xU x-3=0
1
B = xU x= y , yU, y1
2
1
C = xU x= 2y+1, y1 yU
2
D = xU x.(2x+1)=0

1
E = xU x - y
4
F = xU x=0 x=1
Hallar por extensin

a) (AB)C
b) (Ac Bc)-E
c) A-(B-D)
d) (CE)F
e) (AB)c (CD)c
f) P(A) P(B)
g) P(AB)
h) P(AF)
Ejemplo.-
1.- Si A = x F(x), B = x G(x) y C = x H(x). Determinar el

E.P. que define el conjunto
a) A(Bc-C)
b) (Ac Bc) C
2.- Si A = x H(x) y B = x S(x). Determinar en trminos de A, B
y operaciones de conjuntos, los siguientes conjuntos:
a) x H(x) S(x)
b) x H(x) S(x)
PROPIEDADES DE LAS OPERACIONES CONJUNTISTAS.-
1.- IDEMPOTENCIA.-
AA=A
AA=A
2.- CONMUTATIVA.-
AB = BA
AB = BA
AB = BA
3.- ASOCIATIVA.-
(AB)C = A(BC)
(AB)C = A(BC)
(AB)C = A(BC)
4.- DISTRIBUTIVA.-
A(BC) = (AB)(AC)
A(BC) = (AB)(AC)
A(BC) = (AB)(AC)
(BC)A = (BA)(CA)
(BC)A = (BA)(CA)
(BC)A = (BA) (CA)
5.- IDENTIDAD.-
A=
A=A
AU=A
AU=U
6.- COMPLEMENTARIEDAD.-
AAc =
AAc = U
7.- INVOLUCION.-
(Ac )c= A
8.- LEYES DE MORGAN.-

(AB)c = Ac Bc
9.- ABSORCION.-
A (AB) = A
A (AB) = A
10.- DIFERENCIA RELATIVA Y COMPLEMENTO.-

A-B = A Bc
FORMAS DE DEMOSTRACION DE LA IGUALDAD DE

CONJUNTOS.-
i) Mediante el uso de la definicin de igualdad de conjuntos por
inclusin.
ii) Utilizando formulas lgicamente equivalentes
iii) Mediante igualdades conjuntistas ya conocidas
Ejemplos.-
Ejemplo 1.- Demostrar por definicin de igualdad de conjuntos que:

AB = BA
Solucin.-
Sabemos que dos conjuntos A y B son iguales si:
A=B (AB) (BA)
Usando esta definicin AB = BA si y solo si

A B) (B A )] [(
[( B A) ( A B )]
1 2
De 1, si x(AB), entonces xA xB
xB xA
x(BA)
(AB) (BA)
De 2, si x(BA), entonces xB xA
xA xB
x(AB)
(BA) (AB)
Como ambos se contienen, entonces AB = BA.
Ejemplo 2.- Utilizando formulas lgicamente equivalentes demostrar

que:
(AB)c = Ac Bc
Solucin.-
Considerando que: A= {x/ E(x)} y B= {x/ F(x)}
(AB)c = ({x/ E(x)} {x/ F(x)})c Cambio de notacin
= ({x/ E(x) F(x)})c Definicin de unin
= {x/ (E(x) F(x))} Def. de complem.
= {x/ (E(x)) (F(x))} Ley de Morgan
= {x/ (E(x))} {x/ (F(x))} Def. de unin
= {x/ E(x)}c {x/ F(x)}c Def. de complem.
= Ac Bc Cambio de notacin.
Ejemplo 3.- Demostrar mediante igualdades conjuntistas ya

conocidas que:
A-(B-C) = (A-B) (AC)
Solucin.-
A-(B-C) = A-(BCc) Diferencia y complemento

= A((BCc))c Diferencia y complemento
= A(Bc(Cc)c) Ley de Morgan
= A(B C)c
Ley de involucin
= (A Bc) (AC) Distributiva
= (A- B) (AC) Difer. complem. hacia atrs
Ejemplo 4.- Demostrar mediante igualdades conjuntistas ya

conocidas que:
A (A B) = A - B
Solucin.-
A (A B) = (A (AB)) ((AB)-A) Def. de
= (A(AB)c) ((AB)Ac) Difer. Complemento.
= (A(AB)c) (AcA)B) Conmu. y asociat.
= (A(AB)c) (B) Complementacin
= (A(AB)c) Identidad
= A(AB)c Identidad
= A(AcBc) Ley de Morgan
= (AAc)(ABc) Distributiva
= (ABc) Complemento
= ABc Identidad
= A-B Diferencia y complemento.
NUMERO DE ELEMENTOS DE UN CONJUNTO FINITO.-
DEFINICION.- El numero de elementos de un conjunto A cualquiera,

es el nmero de elementos distintos que tiene dicho conjunto<
NOTACION.- n(A), se lee nmero de elementos de A

NUMERO DE ELEMENTOS DE LA UNION DE CONJUNTOS.-
n(AB) = n(A) + n(B) - n(AB)

Ejemplo.-

De un grupo de 60 alumnos que aprobaron al menos una de las dos
materias, 28 han aprobado FIS 100 y 46 han aprobado MAT 101.
Cuntos alumnos podemos asegurar que han aprobado ambas
materias?
Ejemplo.-
En una encuesta a cerca de programas de televisin que se realiz
entre los estudiantes de tecnologa, se tienen los siguientes
resultados:
60 % prefieren el programa A
50 % prefieren el programa B
50 % prefieren el programa C
30 % prefieren los programas A y B
20 % prefieren los programas B y C
30 % prefieren los programas A y C
10 % prefieren los programas A, B y C
a) Qu porcentaje prefiere los programas A y B pero no el C?

b) Qu porcentaje prefiere exactamente dos de los
programas mencionados?
c) Qu porcentaje no ve ninguno de los programas
mencionados?
d) Qu porcentaje prefieren los programas B o C pero no el

A?
Ejemplo.-
Demostrar que:
n(ABC)=n(A)+n(B)+n(C)-n(AB)-n(AC)-n(BC)+n(ABC)
Ejemplo.-
En la Facultad se est organizando las mini olimpiadas en los
deportes: Ftbol, Bisbol y Natacin. Hay 870 alumnos en la
Facultad que van ha participar en estas disciplinas deportivas de los
cules:
400 pueden participar en Ftbol
390 pueden participar en Bisbol
480 pueden participar en Natacin
680 pueden participar en Ftbol o Bisbol
210 no van ha participar en ninguno de los tres deportes
9 participan en Ftbol, Bisbol pero no en Natacin
190 pueden participar solo en Natacin
a) Cuntos alumnos pueden participar por lo menos en dos de los

tres deportes?

b) Cuntos alumnos pueden participar en los tres deportes
mencionados?
c) Cuntos alumnos tiene la Facultad?
Ejemplo.-
1. De 180 maestros de una universidad 135 tienen su Doctorado,

146 son investigadores de tiempo completo. De los Doctores 114
son investigadores de tiempo completo. Indicar cuntos de estos
maestros:
a) tienen su Doctorado o se dedican a investigar de tiempo

completo.
b) no tienen su Doctorado ni se dedican a investigar de tiempo
completo.
BIBLIOGRAFIA:
1.- Armando Rojo : Algebra I : Editorial Ateneo

2.- Lipschutz Seymour : Matemticas finitas : Editorial Mc. Graw Hill
3.- Lipschutz Seymour : Teora de Conjuntos y temas afines : Editorial Mc. Graw Hill
4.- Braulio Cceres Ch. : Lgica y conjuntos : Editorial El Pas
4.- Sebastian Lazo G. : Algebra Moderna : Impresiones Soipa Ltda.

Unidad II Conjuntos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad II Conjuntos

Cargado por

Copyright:

Formatos disponibles

ALGEBRA I

Autor: Elio Romero Cullar Pgina 2

En el ltimo cuarto del siglo XIX se vivi un episodio

Autor: Elio Romero Cullar Pgina 3

Una teora se fundamenta y se va construyendo a partir de

NOCION DE CONJUNTOS.- Toda agrupacin o coleccin de

NOTACION.- Usaremos letras maysculas para denotar conjuntos

CONJUNTO UNIVERSAL.- Es el conjunto que contiene a todos los

NUMEROS COMPLEJOS.- [C]

NUMEROS REALES.- [R]

Autor: Elio Romero Cullar Pgina 5

NUMEROS IMAGINARIOS.- [I]

NUMEROS RACIONALES.- [Q]

NUMEROS IRRACIONALES.- [Q']

NUMEROS ENTEROS.- [Z]

NUMEROS FRACCIONARIOS.- [F]

NUMEROS ENTEROS NEGATIVOS.- [Z-]

NUMEROS PRIMOS.- [P]

Autor: Elio Romero Cullar Pgina 6

ESQUEMA QUE RELACIONA LOS CONJUNTOS NUMRICOS.-

N Enteros Negativos Cero N Enteros Positivos

CONJUNTO UNITARIO.- Se denomina conjunto unitario al que esta

CONJUNTO FINITO.- Es el conjunto que tiene un nmero

CONJUNTO INFINITO.- Es el conjunto que tiene un nmero

DEFINICION.- Sean A y B dos conjuntos. Se dice que A es

1.- Si A es un conjunto finito de n elementos, entonces tiene

NEGACIN DE LA RELACIN DE INCLUSIN.-

SUBCONJUNTOS COMPARABLES Y NO COMPARABLES.-

Autor: Elio Romero Cullar Pgina 8

A B (Ay B son comparables) B A (B y A son comparables)

(A B) (B A) (Ay B son no comparables)

CONJUNTOS DISJUNTOS.- Dos conjuntos A y B son disjuntos si

Ejemplo.- Determine cules de los siguientes conjuntos son iguales.

CONJUNTO POTENCIA.- (conjunto de partes)

Autor: Elio Romero Cullar Pgina 9

OPERACIONES ENTRE CONJUNTOS.-

Autor: Elio Romero Cullar Pgina 10

Diagrama de Venn de la inter, regin rayada

Diferencia simtrica de conjuntos:

omplemento Absoluto: Dado un

Diagrama de Venn del complemento

Complemento relativo: Dados A y

Diagrama de Venn del complemento relativo

Ejemplo.- Dados los conjuntos:

Autor: Elio Romero Cullar Pgina 12

Hallar por extensin

1.- Si A = x F(x), B = x G(x) y C = x H(x). Determinar el

PROPIEDADES DE LAS OPERACIONES CONJUNTISTAS.-

8.- LEYES DE MORGAN.-

10.- DIFERENCIA RELATIVA Y COMPLEMENTO.-

FORMAS DE DEMOSTRACION DE LA IGUALDAD DE

Ejemplo 1.- Demostrar por definicin de igualdad de conjuntos que:

Usando esta definicin AB = BA si y solo si

Como ambos se contienen, entonces AB = BA.

Ejemplo 2.- Utilizando formulas lgicamente equivalentes demostrar

Considerando que: A= {x/ E(x)} y B= {x/ F(x)}

(AB)c = ({x/ E(x)} {x/ F(x)})c Cambio de notacin

= ({x/ E(x) F(x)})c Definicin de unin

= {x/ (E(x) F(x))} Def. de complem.

= {x/ (E(x)) (F(x))} Ley de Morgan

= {x/ (E(x))} {x/ (F(x))} Def. de unin

= {x/ E(x)}c {x/ F(x)}c Def. de complem.

Ejemplo 3.- Demostrar mediante igualdades conjuntistas ya

A-(B-C) = A-(BCc) Diferencia y complemento