Conjuntos matemáticos

ALGEBRA I
UNIDAD II
CONJUNTOS
ALGEBRA I “La matemática honra el espíritu huma no” Leibnitz UNIDAD N° 2
INDICE:
Prologo 2
Introducción 3
Noción de conjuntos 3
Relación de pertenencia 3
Conjuntos numéricos 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 f inito 15
Numero de elementos de la unión 15
Bibliograf ía 17
Autor: Elio Romero Cuéllar Página 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 matemática que la ligaría desde entonces a la historia de la
lógica.
Primero, Georg Boole (1815-1864) en su Mathematical Analysis of Logic
trató de presentar la lógica como parte de la matemática. Poco después
Gottlob Frege (1848-1925) intentó mostrar que la aritmética era parte de
la lógica en su Die Grundlagen der Arithmetik. Pero, dando un gran paso
tanto en la historia
de la matemática como en la historia de la lógica, G. Cantor se había
adelantado a Frege con una fundamentación lógica de la aritmética.
Cantor había demostrado que la totalidad de los números 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 números naturales. Como una
consecuencia de esa situación, Cantor creó una nueva disciplina
matemática entre 1874 y 1897: la teoría de conjuntos. Su obra fue
admirada y condenada simultáneamente por sus contemporáneos. Desde
entonces los debates en el seno de la teoría de conjuntos han sido siempre
apasionados, sin duda por hallarse estrechamente conectados con
importantes cuestiones lógicas. Según la definición de conjunto de Cantor,
éste es “una colección en un todo de determinados y distintos objetos de
nuestra percepción o nuestro pensamiento, llamados los elementos del
conjunto”. Frege fue uno de los admiradores de la nueva teoría de Cantor,
y dio una definición de conjunto similar. En 1903 B. Russell demostraría
que la teoría de conjuntos de Cantor era inconsistente y cuestionaría la
definición de conjunto en la teoría de Cantor. Pero pronto la teoría
axiomática de Zermelo (1908) y refinamientos de ésta debidos a Fraenkel
(1922), Skolem (1923), von Newman (1925) y otros sentaron las bases para
la teoría de conjuntos actual.

INTRODUCCION.-
Una teoría se f undamenta y se va construyendo a partir de

conceptos f undamentales, encadenando los nuevos conocimientos
o proposiciones que se basan en las anteriores. Es así como se
parte de términos no definidos o conceptos fundamentales.
Luego hay proposiciones que relacionan estos conceptos
f undamentales y que son tan evidentes que se aceptan como
verdaderas. Estas proposiciones se denominan axiomas de la
teoría. Siguiendo con la construcción aparecen las proposiciones
cuya veracidad debe ser probada o demostrada, éstos son los
llamados teoremas que según su importancia se puede denominar
proposición, lema, corolario o teorema.
Se dice que un concepto es primitivo, cuando dicho concepto se
admite sin def inición.
Así los conceptos de conjunto, elemento y relación de permanencia
son conceptos primitivos en la matemática.
NOCION DE CONJUNTOS.- Toda agrupación o colección de

objetos es considerado como conjunto, siempre que exista un
criterio preciso que nos permita af irmar que un objeto pertenece o
no a dicha agrupación. Si enunciamos una propiedad y buscamos
los objetos que la cumplen, tendremos un agregado al que
llamamos CONJUNTO.
NOTACION.- Usaremos letras mayúsculas para denotar conjuntos

como A, B, C, …………….. y letras minúsculas para los elementos
de un conjunto como a, b, c, ………..
El conjunto se escribe entre llaves { }. Entre ellas se incluyen bien
los elementos que f orman el conjunto (esto solo es posible si el
conjunto es f inito), 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 f orma se llama determinación de conjunto s
por extensión y la segunda por comprensión.
RELACION DE PERTENENCIA.-
La relación de elemento a conjunto es de p ertenencia.
La notación “xA” se lee “x pertenece a A”, indicando así, que x
f orma parte del conjunto A.
La negación de P(x): “xA”.
Es ~P(x): “xA” y se lee “x no pertenece a A”.

CONJUNTO UNIVERSAL.- Es el conjunto que contiene a todos los
elementos que se están considerando en un estudio o contexto
particular. Generalmente se representa con la letra U.
DIAGRAMA DE VENN-EULER.-
Los conjuntos se suelen representar gráf icamente a través de los
diagramas de Venn- Euler.
Se llaman diagramas de Venn-Euler a las regiones del plano
delimitadas por líneas curvas o quebradas que sirven para ilustrar y
establecer relaciones entre conjuntos.
En general el conjunto universal se lo representa con un rectángulo
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 gráf icamente por un punto del plano.
Eje Imaginario
z = a + bi
b
a Eje Real
NUMEROS REALES.- [ R]
Una propiedad importante de los números reales es el poder los
representar por puntos de una línea recta. (Recta real)
π
1
-∞ -2 -1 0 1 2 3 4 +∞
1 1 1 1
Un número real siempre admite representación 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 números negativos. Ejemplo
− 20 = 20. − 1 = 20 i
NUMEROS RACIONALES.- [Q ]
Los números racionales son los reales que se pueden expresar
como razón de dos números enteros. Se denota el conjunto de los
números racionales por q .
NUMEROS IRRACIONALES.- [Q']

Los números irracionales son los reales que no se pueden expresar
como la razón de dos números 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 números con los que aprendemos a contar. Son también los
números enteros positivos.
NUMEROS ENTEROS NEGATIVOS.- [z-]
EL CERO.-
NUMEROS PRIMOS.- [p]

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

ESQUEMA QUE RELACIONA LOS CONJUNTOS NUMÉRICOS.-
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 número

determinado de elementos.
CONJUNTO INFINITO.- Es el conjunto que tiene un número

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”
Simbólicamente tenemos:
A  B  x, xA  xB
B  A  x, xB  xA
Su diagrama de Venn- Euler es:
AB
Observaciones:
1.- Si A es un conjunto f inito de n elementos, entonces tiene

exactamente 2n subconjuntos distintos.
2.- El conjunto vacío es subconjunto de todo conjunto.
3.- Todo conjunto es subconjunto de sí mismo.
NEGACIÓN DE LA RELACIÓN DE INCLUSIÓN.-
AB  ( A  B)
 ( x, xA  xB)
 x: ( xA  xB)
 x: xA  xB
SUBCONJUNTO PROPIO.-
A es un subconjunto propio de B si y solo si ( A  B)  AB
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 común.
IGUALDAD DE CONJUNTOS.-
Definición.-
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.
Simbólicamente tenemos:
A=B  (A  B)  (B  A)
 (x, xA  xB)  (x, xB  xA)
 x, (xA  xB)  (xB  xA)
 x, (xA  xB)
Es decir dos conjuntos son iguales si tienen los mismos elementos.
Ejemplo.- Determine cuáles de los siguientes conjuntos son iguales.

A = x  xN, x 2-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.
Notación.- P(A), se lee “ Conjunto potencia de A” o “Conjunto de
partes de A”.
Simbólicamente: P(A) = s s  A
Ejemplo.- Determine el conjunto potencia del conjunto B = a,b,c.

OPERACIONES ENTRE CONJUNTOS.-

A continuación definiremos las operaciones más usuales y las graficaremos
según el diagrama de Venn-Euler. Consideraremos el conjunto Universo
como el rectángulo que contiene a todos los demás conjuntos.
A U Unión de conjuntos: Dados dos

conjuntos A y B, se llama unión 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 están en
ambos conjuntos.
A  B = {x / x  A  x  B}, es
B decir 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)
AB
Diagrama de Venn de la Unión, región
Definición de la Unión
rayada al menos una vez.

Intersección de conjuntos: Dados
dos conjuntos A y B, se llama
A U intersección de A y B y se denota
por A  B al conjunto que contiene
los elementos que están
simultáneamente en ambos
conjuntos. Dos conjuntos cuya
intersección es vacía se denominan
conjuntos disjuntos.
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 A  B = x/ F(x)  G(x)
Diagrama de Venn de la inter, región

rayada dos veces. Definición de Intersección
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 están en B.
A - B={x / x  A  x  B}, es decir
B que 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)
A-B
Diagrama de Venn de la diferencia, región
Definición de Diferencia.
rayada únicamente vertical.

U Diferencia simétrica de
A conjuntos: Dados dos conjuntos A
y B, se llama diferencia simétrica
de A y B y se denota por A ∆ B al
conjunto que contiene a los
elementos que están en A y no
están en B más los elementos que
B están en B y no están en A.
A  B={x / (x  A  x  B)  (x  B
 x  A)} , es decir x (A  B) (x
 A  x  B)  (x  B  x  A)
A∆B A  B=(A - B)  (B - A)
Diagrama de Venn de la diferencia

Definición de diferencia simétrica.
simétrica, región rayada una sola vez.
U omplemento Absoluto: Dado un

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

Definición de complemento absoluto
absoluto de A, región rayada únicamente
vertical.
A Complemento relativo: Dados A y

B, si BA, entonces la diferencia A-
B, se llama conjunto
B complementario de B en A o
complemento de B en A.
Su notación: CBA
CBA = A-B = {x / x  A  x  B}, es
decir, x  CBA  x  A  x  B
CBA
Diagrama de Venn del complemento relativo

Definición de complemento relativo
de B en A, región 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 = xU  x-3=0
1
B = xU  x= y , yU, y1
2
1
C = xU  x= 2y+1, y1 yU
2
D = xU  x.(2x+1)=0
1
E = xU  x  - y 
4
F = xU  x=0  x=1
Hallar por extensión

a) (AB)C
b) (Ac  Bc )-E
c) A-(B-D)
d) (CE)F
e) (AB)c – (CD)c
f ) P(A)  P(B)
g) P(AB)
h) P(AF)
Ejemplo.-
1.- Si A = x  F(x), B = x  G(x) y C = x  H(x). Determinar el

E.P. que def ine el conjunto
a) A(Bc -C)
b) (Ac  Bc )  C
2.- Si A = x  H(x) y B = x  S(x). Determinar en términos 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.-
AA=A
AA=A
2.- CONMUTATIVA.-
AB = BA
AB = BA
AB = BA
3.- ASOCIATIVA.-
(AB)C = A(BC)
(AB)C = A(BC)
(AB)C = A(BC)
4.- DISTRIBUTIVA.-
A(BC) = (AB)(AC)
A(BC) = (AB)(AC)
A(BC) = (AB)(AC)
(BC)A = (BA)(CA)
(BC)A = (BA)(CA)
(BC)A = (BA)  (CA)
5.- IDENTIDAD.-
A=
A=A
AU=A
AU=U
6.- COMPLEMENTARIEDAD.-
AAc = 
AAc = U
7.- INVOLUCION.-
(Ac )c = A
8.- LEYES DE MORGAN.-

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

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

CONJUNTOS.-
i) Mediante el uso de la def inición de igualdad de conjuntos por
inclusión.
ii) Utilizando f ormulas lógicamente equivalentes
iii) Mediante igualdades conjuntistas ya conocidas
Ejemplos.-
Ejemplo 1.- Demostrar por def inición de igualdad de conjuntos que:

AB = BA
Solución.-
Sabemos que dos conjuntos A y B son iguales si:
A=B  (AB)  (BA)
Usando esta def inición AB = BA si y solo si

[( A  B)  (B  A )]  [(B  A )  ( A  B)]
 
1 2
De 1, si x(AB), entonces xA  xB

xB  xA
x(BA)
 (AB)  (BA)
De 2, si x(BA), entonces xB  xA

xA  xB
x(AB)
 (BA)  (AB)
Como ambos se contienen, entonces AB = BA.
Ejemplo 2.- Utilizando f ormulas lógicamente equivalentes demostrar

que:
(AB)c = Ac  Bc
Solución.-
Considerando que: A= {x/ E(x)} y B= {x/ F(x)}
(AB)c = ({x/ E(x)} {x/ F(x)})c Cambio de notación
= ({x/ E(x)  F(x)})c Def inición de unión
= {x/ (E(x)  F(x))} Def . de complem.
= {x/ (E(x))  (F(x))} Ley de Morgan
= {x/ (E(x))}  {x/ (F(x))} Def . de unión
= {x/ E(x)}c  {x/ F(x)}c Def . de complem.
= Ac  Bc Cambio de notación.
Ejemplo 3.- Demostrar mediante igualdades conjuntistas ya

conocidas que:
A-(B-C) = (A-B)  (AC)
Solución.-
A-(B-C) = A-(BCc ) Dif erencia y complemento

= A((BCc ))c Dif erencia y complemento
= A(Bc (Cc )c ) Ley de Morgan
= A(Bc C) Ley de involución
= (A Bc ) (AC) Distributiva
= (A- B) (AC) Dif er. complem. hacia atrás
Ejemplo 4.- Demostrar mediante igualdades conjuntistas ya

conocidas que:
A ∆ (A  B) = A - B
Solución.-
A ∆ (A  B) = (A – (AB)) ((AB)-A) Def . de ∆
= (A(AB)c ) ((AB)Ac ) Dif er. Complemento.
= (A(AB)c ) (Ac A)B) Conmu. y asociat.
= (A(AB)c ) (ØB) Complementación
= (A(AB)c ) Ø Identidad
= A(AB)c Identidad
= A(Ac Bc ) Ley de Morgan
= (AAc)(ABc ) Distributiva
= Ø (ABc ) Complemento
= ABc Identidad
= A-B Dif erencia y complemento.
NUMERO DE ELEMENTOS DE UN CONJUNTO FINITO.-

DEFINICION.- El numero de elementos de un conjunto A cualquiera,
es el número de elementos distintos que tiene dicho conjunto<
NOTACION.- n(A), se lee “número de elementos de A”

NUMERO DE ELEMENTOS DE LA UNION DE CONJUNTOS.-
n(AB) = n(A) + n(B) - n(AB)
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.
¿Cuántos alumnos podemos asegurar que han aprobado ambas
materias?
Ejemplo.-
En una encuesta a cerca de programas de televisión que se realizó
entre los estudiantes de tecnología, se tienen los siguientes
resultados:
60 % pref ieren el programa A

50 % pref ieren el programa B
50 % pref ieren el programa C
30 % pref ieren los programas Ay B
20 % pref ieren los programas By C
30 % pref ieren los programas Ay C
10 % pref ieren los programas A, B y C
a) ¿Qué porcentaje pref iere los programas A y B pero no el C?

b) ¿Qué porcentaje pref iere exactamente dos de los
programas mencionados?
c) ¿Qué porcentaje no ve ninguno de los programas
mencionados?
d) ¿Qué porcentaje pref ieren los programas B o C pero no el

A?
Ejemplo.-
Demostrar que:
n(ABC)=n(A)+n(B)+n(C)-n(AB)-n(AC)-n(BC)+n(ABC)
Ejemplo.-
En la Facultad se está organizando las mini olimpiadas en los
deportes: Fútbol, Béisbol y Natación. Hay 870 alumnos en la
Facultad que van ha participar en estas disciplinas deportivas de l os
cuáles:
400 pueden participar en Fútbol
390 pueden participar en Béisbol
480 pueden participar en Natación
680 pueden participar en Fútbol o Béisbol
210 no van ha participar en ninguno de los tres deportes
9 participan en Fútbol, Béisbol pero no en Natación
190 pueden participar solo en Natación
a) ¿Cuántos alumnos pueden participar por lo menos en dos de los

tres deportes?
b) ¿Cuántos alumnos pueden participar en los tres deportes
mencionados?
c) ¿Cuántos 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 cuánto s 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 : Matemáticas finitas : Editorial Mc. Graw Hill
3.- Lipschutz Seymour : Teoría de Conjuntos y temas afines : Editorial Mc. Graw Hill
4.- Braulio Cáceres Ch. : Lógica y conjuntos : Editorial El País
4.- Sebastian Lazo G. : Algebra Moderna : Impresiones Soipa Ltda.

Conjuntos matemáticos

Cargado por

Información del documento

Título original

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

Conjuntos matemáticos

Cargado por

Copyright:

Formatos disponibles

ALGEBRA I

Autor: Elio Romero Cuéllar Página 2

En el último cuarto del siglo XIX se vivió un episodio apasionante de la

Autor: Elio Romero Cuéllar Página 3

Una teoría se f undamenta y se va construyendo a partir de

NOCION DE CONJUNTOS.- Toda agrupación o colección de

NOTACION.- Usaremos letras mayúsculas para denotar conjuntos

Autor: Elio Romero Cuéllar Página 4

NUMEROS COMPLEJOS.- [C]

NUMEROS IMAGINARIOS.- [I]

NUMEROS IRRACIONALES.- [Q']

NUMEROS ENTEROS.- [z]

NUMEROS FRACCIONARIOS.- [f]

NUMEROS NATURALES.- [n ]  [z+]

NUMEROS ENTEROS NEGATIVOS.- [z-]

NUMEROS PRIMOS.- [p]

Autor: Elio Romero Cuéllar Página 6

ESQUEMA QUE RELACIONA LOS CONJUNTOS NUMÉRICOS.-

Nº Enteros Negativos Cero Nº Enteros Positivos

CONJUNTO UNITARIO.- Se denomina conjunto unitario al que esta

CONJUNTO FINITO.- Es el conjunto que tiene un número

CONJUNTO INFINITO.- Es el conjunto que tiene un número

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

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

NEGACIÓN DE LA RELACIÓN DE INCLUSIÓN.-

SUBCONJUNTOS COMPARABLES Y NO COMPARABLES.-

Autor: Elio Romero Cuéllar Página 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 cuáles de los siguientes conjuntos son iguales.

CONJUNTO POTENCIA.- (conjunto de partes)

Autor: Elio Romero Cuéllar Página 9

OPERACIONES ENTRE CONJUNTOS.-

A U Unión de conjuntos: Dados dos

Autor: Elio Romero Cuéllar Página 10

Diagrama de Venn de la inter, región

Autor: Elio Romero Cuéllar Página 11

Diagrama de Venn de la diferencia

U omplemento Absoluto: Dado un

Diagrama de Venn del complemento

A Complemento relativo: Dados A y

Diagrama de Venn del complemento relativo

Ejemplo.- Dados los conjuntos:

Hallar por extensión

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 def inición de igualdad de conjuntos que:

Usando esta def inición AB = BA si y solo si

De 1, si x(AB), entonces xA  xB

De 2, si x(BA), entonces xB  xA

Como ambos se contienen, entonces AB = BA.

Ejemplo 2.- Utilizando f ormulas lógicamente equivalentes demostrar

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

(AB)c = ({x/ E(x)} {x/ F(x)})c Cambio de notación

= ({x/ E(x)  F(x)})c Def inición de unión

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

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

= {x/ (E(x))}  {x/ (F(x))} Def . de unión

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