SlideShare una empresa de Scribd logo
1 de 8
Republica Bolivariana de Venezuela
Instituto Universitario Politécnico Santiago Mariño
Ingeniería de Sistemas
Barcelona Edo. Anzoátegui
Leyes de Conjuntos
Prof: Alumno:
Asdrúbal Rodríguez Jimenez Anthony C.I. 26.257.007
Barcelona 17-03-2016
De Idempotencia A ∪ A = A A ∩ A = A
Es la propiedad para realizar una acción determinada varias veces y aun así conseguir el
mismo resultado que se obtendría si se realizase una sola vez. Un elemento que cumple esta
propiedad es un elemento idempotente. De esta manera, si un elemento al multiplicarse por sí
mismo sucesivas veces da él mismo, este elemento es idempotente.
Dado cualquier conjunto A en un universal arbitrario U, se verifica:
1. A ∪ A = A
2. A ∩ A = A
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
Asociativa (A ∪ B) ∪ C = A ∪ (B ∪ C )
(A ∩ B) ∩ C = A ∩ (B ∩ C)
Significa que no importa cómo se agrupen los números cuando los sumas o cuando los multiplicas.
(En otras palabras no importa cuál calculas primero).
Dados tres conjuntos A, B y C de un universal arbitrario, U, se verifica:
1. A ∪ (B ∪ C) = (A ∪ B) ∪ C
2. A ∩ (B ∩ C) = (A ∩ B) ∩ C
Demostración:
En efecto, sea x un elemento arbitrario de U. Entonces,
1.
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
Conmutativa A ∪ B = B ∪ A A ∩ B = B ∩ A
Significa que puedes intercambiar números de cualquier manera y aún así obtener la misma respuesta cuando los
sumes. O cuando los multipliques.
Dados tres conjuntos A, B y C de un universal arbitrario, U, se verifica:
1. A ∪ B = B ∪ A
2. A ∩ B = B ∩ A
Demostración:
En efecto,
1. sea x un elemento arbitrario de U. Entonces,
X ∈ (A ∪ B) ⇐⇒ x ∈ A ∨ x ∈ B {Definición de unión}
⇐⇒ x ∈ B ∨ X ∈ A {Conmutativa de V}
⇐⇒ 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
2. De una forma similar se demuestra que A ∩ B = B ∩ A
Distributiva A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Expresa que se obtiene la misma respuesta cuando multiplicas un conjunto de números por otro número que cuando
se hace cada multiplicación por separado.
Dados tres conjuntos A,B y C de un conjunto universal arbitrário, U , se verifica:
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Demostración
1. En efecto, sea x cualquier elemento del conjunto universal U, Entones
x ∈ A U (B ∩ c) ⇐⇒ x ∈ A ∨ [x ∈(B ∩ c)] {Definición de unión}
⇐⇒ x ∈ A ∨ (x ∈ B ∧ X ∈ C) {Definición de intersección}
⇐⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ c) {Distributividad}
⇐⇒ x ∈ (A ∪ B) ∧ x ∈ (A ∪ C) {Definición de unión}
⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ c) {Definición de intersección}
Al ser x cualquier elemento de U, se sigue que
∀x [x ∈ A ∪ (B ∩ c) ⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ C)]
Consecuentemente,
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ B)
2. De una forma similar se pruba que
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
De Identidad A ∪ U = U A ∩ U = A
A ∪ ∅ = A A ∩ ∅ = ∅
Es la constatación de que dos objetos que matemáticamente se escriben diferente, son de hecho el
mismo objeto. En particular, una identidad es a una igualdad entre dos expresiones lo que es cierto
sean cuales sean los valores de las distintas variables empleadas.
Dado un conjunto cualquiera de un universal arbitrario, U, se verifica:
1. A ∪ ∅ = A
2. A ∪ U = U
3. A ∩ ∅ = ∅
4. A ∩ U = A
Demostración:
1. A ∪ ∅ =A. En efecto, sea x 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
2. 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
3. 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 ∩ ∅ = ∅
4. 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
Gracias

Más contenido relacionado

La actualidad más candente

Aplicaciones chi cuadrado completo v4
Aplicaciones chi cuadrado completo v4Aplicaciones chi cuadrado completo v4
Aplicaciones chi cuadrado completo v4
DarioJara1306
 
Leyes de conjunto
Leyes de conjuntoLeyes de conjunto
Leyes de conjunto
Alexa Lara
 
Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2
LeomarReyes
 

La actualidad más candente (18)

Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Ejercicios de Leyes Conjuntos
Ejercicios de Leyes ConjuntosEjercicios de Leyes Conjuntos
Ejercicios de Leyes Conjuntos
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completo
 
Actividad uptaeb
Actividad uptaebActividad uptaeb
Actividad uptaeb
 
Fasciculo 5
Fasciculo 5Fasciculo 5
Fasciculo 5
 
Operaciones conjuntos
Operaciones conjuntosOperaciones conjuntos
Operaciones conjuntos
 
probabilidades
probabilidadesprobabilidades
probabilidades
 
Aplicaciones chi cuadrado completo v4
Aplicaciones chi cuadrado completo v4Aplicaciones chi cuadrado completo v4
Aplicaciones chi cuadrado completo v4
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Leyes de Conjuntos: ejemplos y descripciones de conceptos
Leyes de Conjuntos: ejemplos y descripciones de conceptosLeyes de Conjuntos: ejemplos y descripciones de conceptos
Leyes de Conjuntos: ejemplos y descripciones de conceptos
 
Leyes de conjunto
Leyes de conjuntoLeyes de conjunto
Leyes de conjunto
 
Conjuntos tablas utu
Conjuntos tablas utuConjuntos tablas utu
Conjuntos tablas utu
 
Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Formula cuadratica
Formula cuadraticaFormula cuadratica
Formula cuadratica
 
Algebra lineal numérica
Algebra lineal numéricaAlgebra lineal numérica
Algebra lineal numérica
 
Numeros reales
Numeros realesNumeros reales
Numeros reales
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyes
 

Destacado

Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Sol Ramos
 

Destacado (15)

Presentación Leyes de conjuntos
Presentación Leyes de conjuntosPresentación Leyes de conjuntos
Presentación Leyes de conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
leyes de Conjuntos
leyes de Conjuntosleyes de Conjuntos
leyes de Conjuntos
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
Conjuntos Ramon Tapisquen
Conjuntos Ramon TapisquenConjuntos Ramon Tapisquen
Conjuntos Ramon Tapisquen
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Ejecicios dinamicas de Conjuntos
Ejecicios dinamicas de ConjuntosEjecicios dinamicas de Conjuntos
Ejecicios dinamicas de Conjuntos
 
5 leyes de conjuntos
5 leyes de conjuntos5 leyes de conjuntos
5 leyes de conjuntos
 
Presentacion de conjuntos
Presentacion de conjuntosPresentacion de conjuntos
Presentacion de conjuntos
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
mapaconceptual sobre tecnicas de conteo
mapaconceptual sobre tecnicas de conteomapaconceptual sobre tecnicas de conteo
mapaconceptual sobre tecnicas de conteo
 
Las leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analíticaLas leyes de de morgan son una parte de la lógica proposicional y analítica
Las leyes de de morgan son una parte de la lógica proposicional y analítica
 
SEO: Getting Personal
SEO: Getting PersonalSEO: Getting Personal
SEO: Getting Personal
 

Similar a Leyes de conjuntos (20)

Presentacion de la ley de los conjuntos
Presentacion de la ley de los conjuntosPresentacion de la ley de los conjuntos
Presentacion de la ley de los conjuntos
 
Grafos
GrafosGrafos
Grafos
 
Erick rodriguez
Erick rodriguezErick rodriguez
Erick rodriguez
 
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
 
Ley de Conjuntos- Presentacion
Ley de Conjuntos- PresentacionLey de Conjuntos- Presentacion
Ley de Conjuntos- Presentacion
 
Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntos
 
IPM UnADM
IPM UnADMIPM UnADM
IPM UnADM
 
TEMA 1.2 CONJUNTOS.pdf
TEMA 1.2 CONJUNTOS.pdfTEMA 1.2 CONJUNTOS.pdf
TEMA 1.2 CONJUNTOS.pdf
 
Tema 1
Tema 1Tema 1
Tema 1
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos bueno
 
Introducción
Introducción Introducción
Introducción
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Leyes de los Conjuntos
Leyes de los ConjuntosLeyes de los Conjuntos
Leyes de los Conjuntos
 
Unidad 1 numeros reales
Unidad 1 numeros reales Unidad 1 numeros reales
Unidad 1 numeros reales
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 

Último

Razones_para_estar_en_contra_del_aborto.pdf
Razones_para_estar_en_contra_del_aborto.pdfRazones_para_estar_en_contra_del_aborto.pdf
Razones_para_estar_en_contra_del_aborto.pdf
KristellCordova
 
sistema político Mariangel Adjam Mapa mental
sistema político Mariangel Adjam Mapa mentalsistema político Mariangel Adjam Mapa mental
sistema político Mariangel Adjam Mapa mental
MariangelAdjam
 

Último (12)

PARTES DE LA PANTALLA DE POWER POINT.pptx
PARTES DE LA PANTALLA DE POWER POINT.pptxPARTES DE LA PANTALLA DE POWER POINT.pptx
PARTES DE LA PANTALLA DE POWER POINT.pptx
 
Razones_para_estar_en_contra_del_aborto.pdf
Razones_para_estar_en_contra_del_aborto.pdfRazones_para_estar_en_contra_del_aborto.pdf
Razones_para_estar_en_contra_del_aborto.pdf
 
COMO PUBLICAR UNA PRESENTACION GRAFICA EN INTERNET .pptx
COMO PUBLICAR UNA PRESENTACION GRAFICA EN INTERNET .pptxCOMO PUBLICAR UNA PRESENTACION GRAFICA EN INTERNET .pptx
COMO PUBLICAR UNA PRESENTACION GRAFICA EN INTERNET .pptx
 
Imagen creada en photopea con el fin de informar acerca de los navegadores web.
Imagen creada en photopea con el fin de informar acerca de los navegadores web.Imagen creada en photopea con el fin de informar acerca de los navegadores web.
Imagen creada en photopea con el fin de informar acerca de los navegadores web.
 
ciberseguridad y seguridad informatica- alex jaren.pptx
ciberseguridad y seguridad informatica- alex jaren.pptxciberseguridad y seguridad informatica- alex jaren.pptx
ciberseguridad y seguridad informatica- alex jaren.pptx
 
P7_E1_DanielPoza.pdf Los avances en los sistemas de comunicascion y su difusi...
P7_E1_DanielPoza.pdf Los avances en los sistemas de comunicascion y su difusi...P7_E1_DanielPoza.pdf Los avances en los sistemas de comunicascion y su difusi...
P7_E1_DanielPoza.pdf Los avances en los sistemas de comunicascion y su difusi...
 
Presentacion De Imagenes Digitales Y Navegadores De Internet.
Presentacion De Imagenes Digitales Y Navegadores De Internet.Presentacion De Imagenes Digitales Y Navegadores De Internet.
Presentacion De Imagenes Digitales Y Navegadores De Internet.
 
sistema político Mariangel Adjam Mapa mental
sistema político Mariangel Adjam Mapa mentalsistema político Mariangel Adjam Mapa mental
sistema político Mariangel Adjam Mapa mental
 
PerezGallegos_Claudia_M1S3Al6.pptx las tic en la vida cotidiana
PerezGallegos_Claudia_M1S3Al6.pptx las tic en la vida cotidianaPerezGallegos_Claudia_M1S3Al6.pptx las tic en la vida cotidiana
PerezGallegos_Claudia_M1S3Al6.pptx las tic en la vida cotidiana
 
Manual-Microsoft-Office-Excel-2i010-basico.pdf
Manual-Microsoft-Office-Excel-2i010-basico.pdfManual-Microsoft-Office-Excel-2i010-basico.pdf
Manual-Microsoft-Office-Excel-2i010-basico.pdf
 
Cuadernooooooo_ESI_Secundaria_2_2017.pdf
Cuadernooooooo_ESI_Secundaria_2_2017.pdfCuadernooooooo_ESI_Secundaria_2_2017.pdf
Cuadernooooooo_ESI_Secundaria_2_2017.pdf
 
Dominios_De_Internet.pdf
Dominios_De_Internet.pdfDominios_De_Internet.pdf
Dominios_De_Internet.pdf
 

Leyes de conjuntos

  • 1. Republica Bolivariana de Venezuela Instituto Universitario Politécnico Santiago Mariño Ingeniería de Sistemas Barcelona Edo. Anzoátegui Leyes de Conjuntos Prof: Alumno: Asdrúbal Rodríguez Jimenez Anthony C.I. 26.257.007 Barcelona 17-03-2016
  • 2. De Idempotencia A ∪ A = A A ∩ A = A Es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez. Un elemento que cumple esta propiedad es un elemento idempotente. De esta manera, si un elemento al multiplicarse por sí mismo sucesivas veces da él mismo, este elemento es idempotente. Dado cualquier conjunto A en un universal arbitrario U, se verifica: 1. A ∪ A = A 2. A ∩ A = A 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
  • 3. Asociativa (A ∪ B) ∪ C = A ∪ (B ∪ C ) (A ∩ B) ∩ C = A ∩ (B ∩ C) Significa que no importa cómo se agrupen los números cuando los sumas o cuando los multiplicas. (En otras palabras no importa cuál calculas primero). Dados tres conjuntos A, B y C de un universal arbitrario, U, se verifica: 1. A ∪ (B ∪ C) = (A ∪ B) ∪ C 2. A ∩ (B ∩ C) = (A ∩ B) ∩ C Demostración: En efecto, sea x un elemento arbitrario de U. Entonces, 1. 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
  • 4. Conmutativa A ∪ B = B ∪ A A ∩ B = B ∩ A Significa que puedes intercambiar números de cualquier manera y aún así obtener la misma respuesta cuando los sumes. O cuando los multipliques. Dados tres conjuntos A, B y C de un universal arbitrario, U, se verifica: 1. A ∪ B = B ∪ A 2. A ∩ B = B ∩ A Demostración: En efecto, 1. sea x un elemento arbitrario de U. Entonces, X ∈ (A ∪ B) ⇐⇒ x ∈ A ∨ x ∈ B {Definición de unión} ⇐⇒ x ∈ B ∨ X ∈ A {Conmutativa de V} ⇐⇒ 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 2. De una forma similar se demuestra que A ∩ B = B ∩ A
  • 5. Distributiva A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Expresa que se obtiene la misma respuesta cuando multiplicas un conjunto de números por otro número que cuando se hace cada multiplicación por separado. Dados tres conjuntos A,B y C de un conjunto universal arbitrário, U , se verifica: A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Demostración 1. En efecto, sea x cualquier elemento del conjunto universal U, Entones x ∈ A U (B ∩ c) ⇐⇒ x ∈ A ∨ [x ∈(B ∩ c)] {Definición de unión} ⇐⇒ x ∈ A ∨ (x ∈ B ∧ X ∈ C) {Definición de intersección} ⇐⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ c) {Distributividad} ⇐⇒ x ∈ (A ∪ B) ∧ x ∈ (A ∪ C) {Definición de unión} ⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ c) {Definición de intersección} Al ser x cualquier elemento de U, se sigue que ∀x [x ∈ A ∪ (B ∩ c) ⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ C)] Consecuentemente, A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ B) 2. De una forma similar se pruba que A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
  • 6. De Identidad A ∪ U = U A ∩ U = A A ∪ ∅ = A A ∩ ∅ = ∅ Es la constatación de que dos objetos que matemáticamente se escriben diferente, son de hecho el mismo objeto. En particular, una identidad es a una igualdad entre dos expresiones lo que es cierto sean cuales sean los valores de las distintas variables empleadas. Dado un conjunto cualquiera de un universal arbitrario, U, se verifica: 1. A ∪ ∅ = A 2. A ∪ U = U 3. A ∩ ∅ = ∅ 4. A ∩ U = A Demostración: 1. A ∪ ∅ =A. En efecto, sea x 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
  • 7. 2. 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 3. 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 ∩ ∅ = ∅ 4. 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