SlideShare una empresa de Scribd logo
1 de 8
Bachiller:
Pericana Jesús CI: 24392511
A continuación en la presente investigación se denotaran 5 leyes de
los conjuntos se indicaran sus propiedades y funciones mediante
ejemplos, la definen como la reunión en un todo de objetos bien
definidos y diferenciables entre si, que se llaman elementos del
mismo. tanto en las definiciones como en las leyes subsiguientes;
A,B,C designan conjuntos arbitrarios. Mientras que U es el conjunto
universo y ∅ es el conjunto vacío. Las Propiedades que debemos
manejar son las siguientes;
 Unión (∪) : A ∪ B = { x / x ∈ A ∨ x ∈ B }
 Intersección (∩) : A ∩ B = { x / x ∈ A ∧ x ∈ B }
 Diferencia ( – ) : A – B = { x / x ∈ A ∧ x ∉ B }
 Complemento ( c ) : Ac = { x / x ∉ A }
Diferencia simétrica ( Δ): AΔ B = (A ∪ B) – ( A ∩ B)
 Inclusión (⊆): A ⊆ B ⇔ ∀x, x ∈ A → x ∈ B
 Igualdad (=) : A = B ⇔ A ⊆ B ∧ B ⊆ A
Æ : el conjunto vacío, que carece
de elementos.
N: el conjunto de los números
naturales.
Z: el conjunto de los números
enteros.
Q : el conjunto de los números
racionales.
R: el conjunto de los números
reales.
C: el conjunto de los números
complejos.
Demostración: En efecto, sea x un
elemento arbitrario del universal U.
Entonces, 1. X ∈ ( A ∪ A ) ⇐⇒ x ∈ A
∨ x ∈ A {Definición de unión} ⇐⇒ x
∈ A {Idempotencia de ∨}
De la arbitrariedad de x se sigue
que
∀x [x ∈ (A ∪ A) ⇐⇒ x ∈ A]
De aquí que A ∪ A = A 2.
Análogamente se prueba que A ∩ A =
A
Demostración: En efecto, Sea x cualquier
elemento de U. Entonces,
x ∈ (A ∪ B) ⇐⇒ x ∈ A ∨ x ∈ B {Definición de
unión}
⇐⇒ x ∈ B ∨ x ∈ A {Conmutatividad de ∨}
⇐⇒ x ∈ (B ∪ A) {Definición de unión}
Como x es cualquiera de U, se sigue que
∀x [x ∈ A ∪ B ⇐⇒ x ∈ B ∪ A]
Por lo tanto,
A ∪ B = B ∪ A
De una forma similar se demuestra que A ∩ B
= B ∩ A
Demostración: En efecto, sea x es un
elemento arbitrario de U. Entonces,
X ∈ A ∪ (B ∪ C) ⇐⇒ x ∈ A ∨ [x ∈ (B ∪ C)]
{Definición de unión}
⇐⇒ x ∈ A ∨ (x ∈ B ∨ x ∈ C) {Definición de
unión}
⇐⇒ (x ∈ A ∨ x ∈ B) ∨ x ∈ C {Asociatividad de
∨}
⇐⇒ (x ∈ A ∪ B) ∨ x ∈ C {Definición de
unión}
⇐⇒ x ∈ (A ∪ B) ∪ C {Definición de unión}
De la arbitrariedad de x se sigue que ∀x [x ∈
A ∪ (B ∪ C) ⇐⇒ x ∈ (A ∪ B) ∪ C]
De aquí que
A ∪ (B ∪ C) = (A ∪ B) ∪ C 2.
Análogamente se demuestra que
A ∩ (B ∩ C) = (A ∩ B) ∩ C
Demostración: A ∪ ∅ =A. En efecto, sea x es un
elemento arbitrario de U. Entonces,
X ∈ (A ∪ ∅) ⇐⇒ x ∈ A ∨ x ∈ ∅ {Definición de
unión}
⇐⇒ x ∈ A {x ∈ ∅ es falso siempre}
Luego, ∀x [x ∈ (A ∪ ∅) ⇐⇒ x ∈ A]
De aquí que A ∪ ∅ = A
A ∪ U = U. Sea x un elemento cualquiera de U.
Entonces, X ∈ (A ∪ U) ⇐⇒ x ∈ A ∨ x ∈ U
{Definición de unión}
⇐⇒ x ∈ U {x ∈ U es verdad siempre}
Luego, ∀x [x ∈ (A ∪ U) ⇐⇒ x ∈ U]
Es decir, A ∪ U = U
A ∩ ∅ = ∅. Si x es cualquiera de U, entonces X
∈ (A ∩ ∅) ⇐⇒ x ∈ A ∧ x ∈ ∅ {Definición de
unión} ⇐⇒ x ∈ ∅ {x ∈ ∅ es falso siempre}
Luego, A ∩ ∅ = ∅
A ∩ U = A. Sea x un elemento arbitrario de U.
Entonces, X ∈ A ∩ U ⇐⇒ x ∈ A ∧ x ∈ U
{Definición de intersección} ⇐⇒ x ∈ A {x ∈ U es
verdad siempre}
Luego, A ∩ U = A
Demostración: A ∪ Ac = U. En efecto, sea x
cualquier elemento de U. Entonces, x ∈ (A ∪
Ac) ⇐⇒ x ∈ A ∨ x ∈ Ac {Definición de unión}
⇐⇒ x ∈ A ∨ x /∈ A {Complementario}
⇐⇒ x ∈ A ∨ ¬(x ∈ A) {Negación}
⇐⇒ x ∈ U {Tautología}
Luego, ∀x [x ∈ (A ∪ Ac) ⇐⇒ x ∈ U ]
por lo tanto, A ∪ Ac = U
U c = ∅.
En efecto, Uc = {x ∈ U : x ∈ Uc} = {x ∈ U ∧ x
/∈ U } = ∅ 3
A ∩ Ac = ∅.
En efecto, A ∩ Ac = {x ∈ U : x ∈ A ∧ x ∈ Ac} =
{x ∈ U : x ∈ A ∧ x /∈ A} = ∅
∅c = U
En efecto, ∅c = {x ∈ U : x ∈ ∅c} = {x ∈ U : x
/∈ ∅} = {x ∈ U } = U

Más contenido relacionado

La actualidad más candente

5 integral definida
5 integral definida5 integral definida
5 integral definida
Henry Romero
 
Función de Masa de Probabilidad mediante Fórmula
Función de Masa de Probabilidad mediante FórmulaFunción de Masa de Probabilidad mediante Fórmula
Función de Masa de Probabilidad mediante Fórmula
yaritza_ing
 
Función de Masa de Probabilidad mediante experimento
Función de Masa de Probabilidad mediante experimentoFunción de Masa de Probabilidad mediante experimento
Función de Masa de Probabilidad mediante experimento
yaritza_ing
 
C3 física análisis dimensional - 4º
C3 física   análisis dimensional - 4ºC3 física   análisis dimensional - 4º
C3 física análisis dimensional - 4º
brisagaela29
 

La actualidad más candente (19)

Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
Iterativos
IterativosIterativos
Iterativos
 
5 integral definida
5 integral definida5 integral definida
5 integral definida
 
Función de Masa de Probabilidad mediante Fórmula
Función de Masa de Probabilidad mediante FórmulaFunción de Masa de Probabilidad mediante Fórmula
Función de Masa de Probabilidad mediante Fórmula
 
Función de Masa de Probabilidad mediante experimento
Función de Masa de Probabilidad mediante experimentoFunción de Masa de Probabilidad mediante experimento
Función de Masa de Probabilidad mediante experimento
 
Funcion racional
Funcion racionalFuncion racional
Funcion racional
 
Actividad uptaeb
Actividad uptaebActividad uptaeb
Actividad uptaeb
 
Ecuaciones cuadraticas
Ecuaciones cuadraticasEcuaciones cuadraticas
Ecuaciones cuadraticas
 
Aplicaciones de la diferencial
Aplicaciones de la diferencialAplicaciones de la diferencial
Aplicaciones de la diferencial
 
Cambio de variables
Cambio de variablesCambio de variables
Cambio de variables
 
Logica1
Logica1Logica1
Logica1
 
Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)
 
Ley de Conjuntos- Presentacion
Ley de Conjuntos- PresentacionLey de Conjuntos- Presentacion
Ley de Conjuntos- Presentacion
 
Diferenciales, aproximaciones y estimación de errores
Diferenciales, aproximaciones y estimación de erroresDiferenciales, aproximaciones y estimación de errores
Diferenciales, aproximaciones y estimación de errores
 
Actividad 8 (corregida)
Actividad 8 (corregida)Actividad 8 (corregida)
Actividad 8 (corregida)
 
Felipe
Felipe Felipe
Felipe
 
Programación Parámetrica
Programación ParámetricaProgramación Parámetrica
Programación Parámetrica
 
Teoria De Equivalencias
Teoria De EquivalenciasTeoria De Equivalencias
Teoria De Equivalencias
 
C3 física análisis dimensional - 4º
C3 física   análisis dimensional - 4ºC3 física   análisis dimensional - 4º
C3 física análisis dimensional - 4º
 

Destacado

Judea Eden Resume
Judea Eden ResumeJudea Eden Resume
Judea Eden Resume
Judea Eden
 
La historia de la pedagogia desde platon hasta la actualidad
La historia de la pedagogia   desde platon hasta la actualidadLa historia de la pedagogia   desde platon hasta la actualidad
La historia de la pedagogia desde platon hasta la actualidad
profesorsanchezjimmy
 

Destacado (17)

SPORTS CERTIFICATE1
SPORTS CERTIFICATE1SPORTS CERTIFICATE1
SPORTS CERTIFICATE1
 
Il bromografo inserto speciale allegato al numero di novembre 2014 di cadzine
Il bromografo inserto speciale allegato al numero di novembre 2014 di cadzineIl bromografo inserto speciale allegato al numero di novembre 2014 di cadzine
Il bromografo inserto speciale allegato al numero di novembre 2014 di cadzine
 
Laciana modelo cultural y humano definitiva
Laciana modelo cultural y humano definitivaLaciana modelo cultural y humano definitiva
Laciana modelo cultural y humano definitiva
 
Judea Eden Resume
Judea Eden ResumeJudea Eden Resume
Judea Eden Resume
 
PGDPM_MITSDE
PGDPM_MITSDEPGDPM_MITSDE
PGDPM_MITSDE
 
510689 manajemen servis kel.1_2_ka07
510689 manajemen servis kel.1_2_ka07510689 manajemen servis kel.1_2_ka07
510689 manajemen servis kel.1_2_ka07
 
Interac. magxlondon edition 5 2016
Interac. magxlondon edition 5 2016Interac. magxlondon edition 5 2016
Interac. magxlondon edition 5 2016
 
michael
michaelmichael
michael
 
La historia de la pedagogia desde platon hasta la actualidad
La historia de la pedagogia   desde platon hasta la actualidadLa historia de la pedagogia   desde platon hasta la actualidad
La historia de la pedagogia desde platon hasta la actualidad
 
Pesquisa Academica
Pesquisa AcademicaPesquisa Academica
Pesquisa Academica
 
Musica
MusicaMusica
Musica
 
Ley de-gravitacion-universal
Ley de-gravitacion-universalLey de-gravitacion-universal
Ley de-gravitacion-universal
 
Libro metodologia investigacion behar rivero
Libro metodologia investigacion behar riveroLibro metodologia investigacion behar rivero
Libro metodologia investigacion behar rivero
 
แบบสำรวจตนเอง
แบบสำรวจตนเองแบบสำรวจตนเอง
แบบสำรวจตนเอง
 
G2 apresentação
G2 apresentaçãoG2 apresentação
G2 apresentação
 
HSC Biology 3.2: Pathogens
HSC Biology 3.2: PathogensHSC Biology 3.2: Pathogens
HSC Biology 3.2: Pathogens
 
งานคอม
งานคอมงานคอม
งานคอม
 

Similar a Presentacion de la ley de los conjuntos

Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
Diiego Armando
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
2964HaPg
 
Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)
Francisco Gaete Garrido
 
Teoría y lógica de conjuntos
Teoría y lógica de conjuntosTeoría y lógica de conjuntos
Teoría y lógica de conjuntos
angiemalaver
 
Erick rodriguez
Erick rodriguezErick rodriguez
Erick rodriguez
erickbard
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos bueno
Luis Elias
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)
MiriJaneth
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)
MiriJaneth
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
Rafa Cruz
 

Similar a Presentacion de la ley de los conjuntos (20)

Ley de conjuntos
Ley de conjuntosLey de conjuntos
Ley de conjuntos
 
Grafos
GrafosGrafos
Grafos
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Ejercicios de Leyes Conjuntos
Ejercicios de Leyes ConjuntosEjercicios de Leyes Conjuntos
Ejercicios de Leyes Conjuntos
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)Álgebra Capítulo 2 (Teoría de Conjuntos)
Álgebra Capítulo 2 (Teoría de Conjuntos)
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 
Teoría de Conjuntos
Teoría de ConjuntosTeoría de Conjuntos
Teoría de Conjuntos
 
Introducción
Introducción Introducción
Introducción
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Teoría y lógica de conjuntos
Teoría y lógica de conjuntosTeoría y lógica de conjuntos
Teoría y lógica de conjuntos
 
Erick rodriguez
Erick rodriguezErick rodriguez
Erick rodriguez
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos bueno
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completo
 

Último

Apunte clase teorica propiedades de la Madera.pdf
Apunte clase teorica propiedades de la Madera.pdfApunte clase teorica propiedades de la Madera.pdf
Apunte clase teorica propiedades de la Madera.pdf
Gonella
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Demetrio Ccesa Rayme
 
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdfEstrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Demetrio Ccesa Rayme
 
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D Ccesa007.pdf
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D  Ccesa007.pdfEdiciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D  Ccesa007.pdf
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D Ccesa007.pdf
Demetrio Ccesa Rayme
 

Último (20)

¿Que es Fuerza? online 2024 Repaso CRECE.pptx
¿Que es Fuerza? online 2024 Repaso CRECE.pptx¿Que es Fuerza? online 2024 Repaso CRECE.pptx
¿Que es Fuerza? online 2024 Repaso CRECE.pptx
 
Apunte clase teorica propiedades de la Madera.pdf
Apunte clase teorica propiedades de la Madera.pdfApunte clase teorica propiedades de la Madera.pdf
Apunte clase teorica propiedades de la Madera.pdf
 
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
El liderazgo en la empresa sostenible, introducción, definición y ejemplo.
 
Botiquin del amor - Plantillas digitales.pdf
Botiquin del amor - Plantillas digitales.pdfBotiquin del amor - Plantillas digitales.pdf
Botiquin del amor - Plantillas digitales.pdf
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
 
Época colonial: vestimenta, costumbres y juegos de la época
Época colonial: vestimenta, costumbres y juegos de la épocaÉpoca colonial: vestimenta, costumbres y juegos de la época
Época colonial: vestimenta, costumbres y juegos de la época
 
Los caminos del saber matematicas 7°.pdf
Los caminos del saber matematicas 7°.pdfLos caminos del saber matematicas 7°.pdf
Los caminos del saber matematicas 7°.pdf
 
Estudios Sociales libro 8vo grado Básico
Estudios Sociales libro 8vo grado BásicoEstudios Sociales libro 8vo grado Básico
Estudios Sociales libro 8vo grado Básico
 
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdfEstrategia Nacional de Refuerzo Escolar  SJA  Ccesa007.pdf
Estrategia Nacional de Refuerzo Escolar SJA Ccesa007.pdf
 
Lecciones 07 Esc. Sabática. Motivados por la esperanza
Lecciones 07 Esc. Sabática. Motivados por la esperanzaLecciones 07 Esc. Sabática. Motivados por la esperanza
Lecciones 07 Esc. Sabática. Motivados por la esperanza
 
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdfTÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
TÉCNICAS OBSERVACIONALES Y TEXTUALES.pdf
 
ciclos biogeoquimicas y flujo de materia ecosistemas
ciclos biogeoquimicas y flujo de materia ecosistemasciclos biogeoquimicas y flujo de materia ecosistemas
ciclos biogeoquimicas y flujo de materia ecosistemas
 
En un aposento alto himno _letra y acordes.pdf
En un aposento alto himno _letra y acordes.pdfEn un aposento alto himno _letra y acordes.pdf
En un aposento alto himno _letra y acordes.pdf
 
Motivados por la esperanza. Esperanza en Jesús
Motivados por la esperanza. Esperanza en JesúsMotivados por la esperanza. Esperanza en Jesús
Motivados por la esperanza. Esperanza en Jesús
 
cuadernillo_cuentos_de_los_valores_elprofe20 (1).docx
cuadernillo_cuentos_de_los_valores_elprofe20 (1).docxcuadernillo_cuentos_de_los_valores_elprofe20 (1).docx
cuadernillo_cuentos_de_los_valores_elprofe20 (1).docx
 
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docxMINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
MINEDU BASES JUEGOS ESCOLARES DEPORTIVOS PARADEPORTIVOS 2024.docx
 
ACERTIJO SOPA DE LETRAS OLÍMPICA. Por JAVIER SOLIS NOYOLA
ACERTIJO SOPA DE LETRAS OLÍMPICA. Por JAVIER SOLIS NOYOLAACERTIJO SOPA DE LETRAS OLÍMPICA. Por JAVIER SOLIS NOYOLA
ACERTIJO SOPA DE LETRAS OLÍMPICA. Por JAVIER SOLIS NOYOLA
 
novelas-cortas--3.pdf Analisis introspectivo y retrospectivo, sintesis
novelas-cortas--3.pdf Analisis introspectivo y retrospectivo, sintesisnovelas-cortas--3.pdf Analisis introspectivo y retrospectivo, sintesis
novelas-cortas--3.pdf Analisis introspectivo y retrospectivo, sintesis
 
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D Ccesa007.pdf
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D  Ccesa007.pdfEdiciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D  Ccesa007.pdf
Ediciones Previas Proyecto de Innovacion Pedagogica ORIGAMI 3D Ccesa007.pdf
 
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanenteDiapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
Diapositivas unidad de trabajo 7 sobre Coloración temporal y semipermanente
 

Presentacion de la ley de los conjuntos

  • 2. A continuación en la presente investigación se denotaran 5 leyes de los conjuntos se indicaran sus propiedades y funciones mediante ejemplos, la definen como la reunión en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. tanto en las definiciones como en las leyes subsiguientes; A,B,C designan conjuntos arbitrarios. Mientras que U es el conjunto universo y ∅ es el conjunto vacío. Las Propiedades que debemos manejar son las siguientes;  Unión (∪) : A ∪ B = { x / x ∈ A ∨ x ∈ B }  Intersección (∩) : A ∩ B = { x / x ∈ A ∧ x ∈ B }  Diferencia ( – ) : A – B = { x / x ∈ A ∧ x ∉ B }  Complemento ( c ) : Ac = { x / x ∉ A } Diferencia simétrica ( Δ): AΔ B = (A ∪ B) – ( A ∩ B)  Inclusión (⊆): A ⊆ B ⇔ ∀x, x ∈ A → x ∈ B  Igualdad (=) : A = B ⇔ A ⊆ B ∧ B ⊆ A
  • 3. Æ : el conjunto vacío, que carece de elementos. N: el conjunto de los números naturales. Z: el conjunto de los números enteros. Q : el conjunto de los números racionales. R: el conjunto de los números reales. C: el conjunto de los números complejos.
  • 4. Demostración: En efecto, sea x un elemento arbitrario del universal U. Entonces, 1. X ∈ ( A ∪ A ) ⇐⇒ x ∈ A ∨ x ∈ A {Definición de unión} ⇐⇒ x ∈ A {Idempotencia de ∨} De la arbitrariedad de x se sigue que ∀x [x ∈ (A ∪ A) ⇐⇒ x ∈ A] De aquí que A ∪ A = A 2. Análogamente se prueba que A ∩ A = A
  • 5. Demostración: En efecto, Sea x cualquier elemento de U. Entonces, x ∈ (A ∪ B) ⇐⇒ x ∈ A ∨ x ∈ B {Definición de unión} ⇐⇒ x ∈ B ∨ x ∈ A {Conmutatividad de ∨} ⇐⇒ x ∈ (B ∪ A) {Definición de unión} Como x es cualquiera de U, se sigue que ∀x [x ∈ A ∪ B ⇐⇒ x ∈ B ∪ A] Por lo tanto, A ∪ B = B ∪ A De una forma similar se demuestra que A ∩ B = B ∩ A
  • 6. Demostración: En efecto, sea x es un elemento arbitrario de U. Entonces, X ∈ A ∪ (B ∪ C) ⇐⇒ x ∈ A ∨ [x ∈ (B ∪ C)] {Definición de unión} ⇐⇒ x ∈ A ∨ (x ∈ B ∨ x ∈ C) {Definición de unión} ⇐⇒ (x ∈ A ∨ x ∈ B) ∨ x ∈ C {Asociatividad de ∨} ⇐⇒ (x ∈ A ∪ B) ∨ x ∈ C {Definición de unión} ⇐⇒ x ∈ (A ∪ B) ∪ C {Definición de unión} De la arbitrariedad de x se sigue que ∀x [x ∈ A ∪ (B ∪ C) ⇐⇒ x ∈ (A ∪ B) ∪ C] De aquí que A ∪ (B ∪ C) = (A ∪ B) ∪ C 2. Análogamente se demuestra que A ∩ (B ∩ C) = (A ∩ B) ∩ C
  • 7. Demostración: A ∪ ∅ =A. En efecto, sea x es un elemento arbitrario de U. Entonces, X ∈ (A ∪ ∅) ⇐⇒ x ∈ A ∨ x ∈ ∅ {Definición de unión} ⇐⇒ x ∈ A {x ∈ ∅ es falso siempre} Luego, ∀x [x ∈ (A ∪ ∅) ⇐⇒ x ∈ A] De aquí que A ∪ ∅ = A A ∪ U = U. Sea x un elemento cualquiera de U. Entonces, X ∈ (A ∪ U) ⇐⇒ x ∈ A ∨ x ∈ U {Definición de unión} ⇐⇒ x ∈ U {x ∈ U es verdad siempre} Luego, ∀x [x ∈ (A ∪ U) ⇐⇒ x ∈ U] Es decir, A ∪ U = U A ∩ ∅ = ∅. Si x es cualquiera de U, entonces X ∈ (A ∩ ∅) ⇐⇒ x ∈ A ∧ x ∈ ∅ {Definición de unión} ⇐⇒ x ∈ ∅ {x ∈ ∅ es falso siempre} Luego, A ∩ ∅ = ∅ A ∩ U = A. Sea x un elemento arbitrario de U. Entonces, X ∈ A ∩ U ⇐⇒ x ∈ A ∧ x ∈ U {Definición de intersección} ⇐⇒ x ∈ A {x ∈ U es verdad siempre} Luego, A ∩ U = A
  • 8. Demostración: A ∪ Ac = U. En efecto, sea x cualquier elemento de U. Entonces, x ∈ (A ∪ Ac) ⇐⇒ x ∈ A ∨ x ∈ Ac {Definición de unión} ⇐⇒ x ∈ A ∨ x /∈ A {Complementario} ⇐⇒ x ∈ A ∨ ¬(x ∈ A) {Negación} ⇐⇒ x ∈ U {Tautología} Luego, ∀x [x ∈ (A ∪ Ac) ⇐⇒ x ∈ U ] por lo tanto, A ∪ Ac = U U c = ∅. En efecto, Uc = {x ∈ U : x ∈ Uc} = {x ∈ U ∧ x /∈ U } = ∅ 3 A ∩ Ac = ∅. En efecto, A ∩ Ac = {x ∈ U : x ∈ A ∧ x ∈ Ac} = {x ∈ U : x ∈ A ∧ x /∈ A} = ∅ ∅c = U En efecto, ∅c = {x ∈ U : x ∈ ∅c} = {x ∈ U : x /∈ ∅} = {x ∈ U } = U