SlideShare una empresa de Scribd logo
1 de 1
Descargar para leer sin conexión
 conjuntos
Teorema 1.23. Sean A,B ⊆ U conjuntos. Entonces se cumplen las si-
guientes propiedades:
(a) idempotencia: A∪A = A, A∩A = A;
(b) conmutatividad: A∪B = B∪A, A∩B = B∩A;
(c) absorción: A ⊆ A∪B, A∩B ⊆ A;
(d) identidad: A∪∅ = A, A∩U = A;
(e) piso y techo: A∩∅ = ∅, A∪U = U;
(f) asociatividad: (A∪B)∪C = A∪(B∪C), (A∩B)∩C = A∩(B∩C).
Prueba.
(a) Demostremos que A ∪ A = A. Para ello utilizamos el método de
doble inclusión:
(⊆) Si x ∈ A∪A, entonces x ∈ A o x ∈ A. Pero entonces x ∈ A.
(⊇) Si x ∈ A, entonces x ∈ A o x ∈ A, luego x ∈ A∪A.
La demostración de que A ∩ A = A es análoga y se deja al lector
(ejercicio 17).
(b) Demostremos que A∩B = B∩A. Para ello utilizamos el método de
doble inclusión:
(⊆) Si x ∈ A∩B, entonces x ∈ A y x ∈ B. Pero entonces x ∈ B y x ∈ A
y, por ende, x ∈ B∩A.
(⊇) Si x ∈ B∩A, entonces x ∈ B y x ∈ A. Pero entonces x ∈ A y x ∈ B
y, por ende, x ∈ A∩B.
La demostración de que A∪B = B∪A se deja al lector (ejercicio 17).
(c) Veamos que A ⊆ A∪B: si x ∈ A, entonces es verdadero que x ∈ A o
x ∈ B,7
luego x ∈ A∪B. Ahora demostremos que A∩B ⊆ A: si x ∈ A∩B,
entonces x ∈ A y x ∈ B, y así x ∈ A. Esto demuestra que A∩B ⊆ A.
(d) Demostremos que A ∪ ∅ = A. Para ello utilizamos el método de
doble inclusión:
(⊆) Si x ∈ A∪∅, entonces x ∈ A o x ∈ ∅. Pero la segunda opción es
imposible, luego x ∈ A.
(⊇) Se tiene gracias a la propiedad (c).
La demostración de que A∩U = A se deja al lector (ejercicio 17).
7Si p y q son proposiciones y p es verdadera, entonces la proposición (p o q) también
lo será. En la demostración en cuestión, la afirmación (x ∈ A) juega el papel de p, y la
afirmación (x ∈ B) el de q.

Más contenido relacionado

La actualidad más candente

Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntosargentm
 
Conjuntos diaposit
Conjuntos diapositConjuntos diaposit
Conjuntos diapositrosalinsoto
 
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 experimentoyaritza_ing
 
Conjuntos tablas utu
Conjuntos tablas utuConjuntos tablas utu
Conjuntos tablas uturepike
 
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...Daniel Lagos
 
Función lineal grado noveno
Función lineal grado noveno Función lineal grado noveno
Función lineal grado noveno FabianCastro22
 
Propiedad fundamental de las proporciones
Propiedad fundamental de las proporcionesPropiedad fundamental de las proporciones
Propiedad fundamental de las proporcionesFernanda Meza Delgado
 
Modelo de examen cuadraticas
Modelo de examen cuadraticasModelo de examen cuadraticas
Modelo de examen cuadraticasflor2510
 
Mapa mental de razonamiento.
Mapa mental de razonamiento.Mapa mental de razonamiento.
Mapa mental de razonamiento.Yesenia Casanova
 
Teoría de la probabilidad
Teoría de la probabilidadTeoría de la probabilidad
Teoría de la probabilidadGladys Sanquiz
 
Jesuseduardo edg
Jesuseduardo edgJesuseduardo edg
Jesuseduardo edggonje17
 
Refuerzo probabilidad
Refuerzo probabilidadRefuerzo probabilidad
Refuerzo probabilidadvemiqm77
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyeslozanolc
 

La actualidad más candente (19)

Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Conjuntos diaposit
Conjuntos diapositConjuntos diaposit
Conjuntos diaposit
 
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
 
Teorema de bayes
Teorema de bayesTeorema de bayes
Teorema de bayes
 
Leyes de los Conjuntos
Leyes de los ConjuntosLeyes de los Conjuntos
Leyes de los Conjuntos
 
Conjuntos tablas utu
Conjuntos tablas utuConjuntos tablas utu
Conjuntos tablas utu
 
Eventos
EventosEventos
Eventos
 
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...
Ac fr ogazgxo5uftzmrv28u-xxypw2xlvgfv4thnjt8gzgmigp4cj1xtmpxgx08f4hak0p2bhppe...
 
Función lineal grado noveno
Función lineal grado noveno Función lineal grado noveno
Función lineal grado noveno
 
Propiedad fundamental de las proporciones
Propiedad fundamental de las proporcionesPropiedad fundamental de las proporciones
Propiedad fundamental de las proporciones
 
1 4
1 41 4
1 4
 
Modelo de examen cuadraticas
Modelo de examen cuadraticasModelo de examen cuadraticas
Modelo de examen cuadraticas
 
Mapa mental de razonamiento.
Mapa mental de razonamiento.Mapa mental de razonamiento.
Mapa mental de razonamiento.
 
Taller Física 1- AUN
Taller Física 1- AUN Taller Física 1- AUN
Taller Física 1- AUN
 
Teoría de la probabilidad
Teoría de la probabilidadTeoría de la probabilidad
Teoría de la probabilidad
 
Operaciones con conjuntos
Operaciones  con conjuntosOperaciones  con conjuntos
Operaciones con conjuntos
 
Jesuseduardo edg
Jesuseduardo edgJesuseduardo edg
Jesuseduardo edg
 
Refuerzo probabilidad
Refuerzo probabilidadRefuerzo probabilidad
Refuerzo probabilidad
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyes
 

Similar a Propiedades de conjuntos

Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones2964HaPg
 
Conjuntos bueno
Conjuntos buenoConjuntos bueno
Conjuntos buenoLuis Elias
 
Á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
 
Leyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativaLeyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativarafasrules
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntosDiego Delgado
 
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 conjuntosJesus Pericana
 
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 conjuntosJesus Pericana
 
Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto Jhedisson Osorio
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdfAlbertoRO3
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números realesoscartl
 
leyes de conjuntos
leyes de conjuntosleyes de conjuntos
leyes de conjuntosmayerling17
 
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 conjuntosangiemalaver
 

Similar a Propiedades de conjuntos (20)

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
 
Á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)
 
Leyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativaLeyes del álgebra en las proposiciones o algebra declarativa
Leyes del álgebra en las proposiciones o algebra declarativa
 
Sets cap3
Sets cap3Sets cap3
Sets cap3
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntos
 
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
 
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
 
Articulo 111114154000-phpapp02 (2)
Articulo 111114154000-phpapp02 (2)Articulo 111114154000-phpapp02 (2)
Articulo 111114154000-phpapp02 (2)
 
Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 
Axiomas y teoremas de los números reales
Axiomas y teoremas de los números realesAxiomas y teoremas de los números reales
Axiomas y teoremas de los números reales
 
Ley de conjuntos
Ley de conjuntosLey de conjuntos
Ley de conjuntos
 
leyes de conjuntos
leyes de conjuntosleyes de conjuntos
leyes de conjuntos
 
Grafos
GrafosGrafos
Grafos
 
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
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 

Más de LeomarReyes

SecuenciaDidactica_PP-ADE.pptx
SecuenciaDidactica_PP-ADE.pptxSecuenciaDidactica_PP-ADE.pptx
SecuenciaDidactica_PP-ADE.pptxLeomarReyes
 
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...LeomarReyes
 
Situación de aprendizaje.pdf
Situación de aprendizaje.pdfSituación de aprendizaje.pdf
Situación de aprendizaje.pdfLeomarReyes
 
TEMA2 T. 2 M.4 Situacion Geronimo.pdf
TEMA2 T. 2 M.4 Situacion Geronimo.pdfTEMA2 T. 2 M.4 Situacion Geronimo.pdf
TEMA2 T. 2 M.4 Situacion Geronimo.pdfLeomarReyes
 
Situacion de Aprendizaje.pdf
Situacion de Aprendizaje.pdfSituacion de Aprendizaje.pdf
Situacion de Aprendizaje.pdfLeomarReyes
 
Link de situación de aprendizaje.docx
Link de situación de aprendizaje.docxLink de situación de aprendizaje.docx
Link de situación de aprendizaje.docxLeomarReyes
 
situación de aprendizaje (2).pdf
situación de aprendizaje (2).pdfsituación de aprendizaje (2).pdf
situación de aprendizaje (2).pdfLeomarReyes
 
AGENDA TEMA1. M4- NAGUA.pdf
AGENDA TEMA1. M4- NAGUA.pdfAGENDA TEMA1. M4- NAGUA.pdf
AGENDA TEMA1. M4- NAGUA.pdfLeomarReyes
 
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...LeomarReyes
 
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdfLeomarReyes
 
Operaciones con conjuntos 1-5-3
Operaciones con conjuntos 1-5-3Operaciones con conjuntos 1-5-3
Operaciones con conjuntos 1-5-3LeomarReyes
 
Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2LeomarReyes
 
Operaciones con conjuntos 1-5-1
Operaciones con conjuntos 1-5-1Operaciones con conjuntos 1-5-1
Operaciones con conjuntos 1-5-1LeomarReyes
 

Más de LeomarReyes (13)

SecuenciaDidactica_PP-ADE.pptx
SecuenciaDidactica_PP-ADE.pptxSecuenciaDidactica_PP-ADE.pptx
SecuenciaDidactica_PP-ADE.pptx
 
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...
TII.Act.2- Diseñan y comparten situaciones de aprendizaje de forma colaborati...
 
Situación de aprendizaje.pdf
Situación de aprendizaje.pdfSituación de aprendizaje.pdf
Situación de aprendizaje.pdf
 
TEMA2 T. 2 M.4 Situacion Geronimo.pdf
TEMA2 T. 2 M.4 Situacion Geronimo.pdfTEMA2 T. 2 M.4 Situacion Geronimo.pdf
TEMA2 T. 2 M.4 Situacion Geronimo.pdf
 
Situacion de Aprendizaje.pdf
Situacion de Aprendizaje.pdfSituacion de Aprendizaje.pdf
Situacion de Aprendizaje.pdf
 
Link de situación de aprendizaje.docx
Link de situación de aprendizaje.docxLink de situación de aprendizaje.docx
Link de situación de aprendizaje.docx
 
situación de aprendizaje (2).pdf
situación de aprendizaje (2).pdfsituación de aprendizaje (2).pdf
situación de aprendizaje (2).pdf
 
AGENDA TEMA1. M4- NAGUA.pdf
AGENDA TEMA1. M4- NAGUA.pdfAGENDA TEMA1. M4- NAGUA.pdf
AGENDA TEMA1. M4- NAGUA.pdf
 
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...
04- MÓDULO IV PLANIFICACIÓN BASADA EN EL ENFOQUE POR COMPETENCIAS 26 de marzo...
 
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf
04- ACTUALIZADO CRONOGRAMA MÓDULO 4 PLANIFICACIÓN.pdf
 
Operaciones con conjuntos 1-5-3
Operaciones con conjuntos 1-5-3Operaciones con conjuntos 1-5-3
Operaciones con conjuntos 1-5-3
 
Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2Operaciones con conjuntos 1-5-2
Operaciones con conjuntos 1-5-2
 
Operaciones con conjuntos 1-5-1
Operaciones con conjuntos 1-5-1Operaciones con conjuntos 1-5-1
Operaciones con conjuntos 1-5-1
 

Último

NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdf
NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdfNUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdf
NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdfisrael garcia
 
Las redes sociales en el mercado digital
Las redes sociales en el mercado digitalLas redes sociales en el mercado digital
Las redes sociales en el mercado digitalNayaniJulietaRamosRa
 
Buscadores, SEM SEO: el desafío de ser visto en la web
Buscadores, SEM SEO: el desafío de ser visto en la webBuscadores, SEM SEO: el desafío de ser visto en la web
Buscadores, SEM SEO: el desafío de ser visto en la webDecaunlz
 
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señorkkte210207
 
12 Clasificacion de las Computadoras.pdf
12 Clasificacion de las Computadoras.pdf12 Clasificacion de las Computadoras.pdf
12 Clasificacion de las Computadoras.pdfedwinmelgarschlink2
 
institucion educativa la esperanza sede magdalena
institucion educativa la esperanza sede magdalenainstitucion educativa la esperanza sede magdalena
institucion educativa la esperanza sede magdalenajuniorcuellargomez
 
Institucion educativa la esperanza sede la magdalena
Institucion educativa la esperanza sede la magdalenaInstitucion educativa la esperanza sede la magdalena
Institucion educativa la esperanza sede la magdalenadanielaerazok
 
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENA
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENAINSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENA
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENAdanielaerazok
 
Guia para el registro en el sitio slideshare.pdf
Guia para el registro en el sitio slideshare.pdfGuia para el registro en el sitio slideshare.pdf
Guia para el registro en el sitio slideshare.pdflauradbernals
 

Último (9)

NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdf
NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdfNUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdf
NUVO PROGRAMAS DE ESCUELAS NUEVO-ACUERDO-CTE.pdf
 
Las redes sociales en el mercado digital
Las redes sociales en el mercado digitalLas redes sociales en el mercado digital
Las redes sociales en el mercado digital
 
Buscadores, SEM SEO: el desafío de ser visto en la web
Buscadores, SEM SEO: el desafío de ser visto en la webBuscadores, SEM SEO: el desafío de ser visto en la web
Buscadores, SEM SEO: el desafío de ser visto en la web
 
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor
02. Mr. Spencer (T.L. Sawn).pdf.libro de un señor
 
12 Clasificacion de las Computadoras.pdf
12 Clasificacion de las Computadoras.pdf12 Clasificacion de las Computadoras.pdf
12 Clasificacion de las Computadoras.pdf
 
institucion educativa la esperanza sede magdalena
institucion educativa la esperanza sede magdalenainstitucion educativa la esperanza sede magdalena
institucion educativa la esperanza sede magdalena
 
Institucion educativa la esperanza sede la magdalena
Institucion educativa la esperanza sede la magdalenaInstitucion educativa la esperanza sede la magdalena
Institucion educativa la esperanza sede la magdalena
 
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENA
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENAINSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENA
INSTITUCION EDUCATIVA LA ESPERANZA SEDE MAGDALENA
 
Guia para el registro en el sitio slideshare.pdf
Guia para el registro en el sitio slideshare.pdfGuia para el registro en el sitio slideshare.pdf
Guia para el registro en el sitio slideshare.pdf
 

Propiedades de conjuntos

  • 1.  conjuntos Teorema 1.23. Sean A,B ⊆ U conjuntos. Entonces se cumplen las si- guientes propiedades: (a) idempotencia: A∪A = A, A∩A = A; (b) conmutatividad: A∪B = B∪A, A∩B = B∩A; (c) absorción: A ⊆ A∪B, A∩B ⊆ A; (d) identidad: A∪∅ = A, A∩U = A; (e) piso y techo: A∩∅ = ∅, A∪U = U; (f) asociatividad: (A∪B)∪C = A∪(B∪C), (A∩B)∩C = A∩(B∩C). Prueba. (a) Demostremos que A ∪ A = A. Para ello utilizamos el método de doble inclusión: (⊆) Si x ∈ A∪A, entonces x ∈ A o x ∈ A. Pero entonces x ∈ A. (⊇) Si x ∈ A, entonces x ∈ A o x ∈ A, luego x ∈ A∪A. La demostración de que A ∩ A = A es análoga y se deja al lector (ejercicio 17). (b) Demostremos que A∩B = B∩A. Para ello utilizamos el método de doble inclusión: (⊆) Si x ∈ A∩B, entonces x ∈ A y x ∈ B. Pero entonces x ∈ B y x ∈ A y, por ende, x ∈ B∩A. (⊇) Si x ∈ B∩A, entonces x ∈ B y x ∈ A. Pero entonces x ∈ A y x ∈ B y, por ende, x ∈ A∩B. La demostración de que A∪B = B∪A se deja al lector (ejercicio 17). (c) Veamos que A ⊆ A∪B: si x ∈ A, entonces es verdadero que x ∈ A o x ∈ B,7 luego x ∈ A∪B. Ahora demostremos que A∩B ⊆ A: si x ∈ A∩B, entonces x ∈ A y x ∈ B, y así x ∈ A. Esto demuestra que A∩B ⊆ A. (d) Demostremos que A ∪ ∅ = A. Para ello utilizamos el método de doble inclusión: (⊆) Si x ∈ A∪∅, entonces x ∈ A o x ∈ ∅. Pero la segunda opción es imposible, luego x ∈ A. (⊇) Se tiene gracias a la propiedad (c). La demostración de que A∩U = A se deja al lector (ejercicio 17). 7Si p y q son proposiciones y p es verdadera, entonces la proposición (p o q) también lo será. En la demostración en cuestión, la afirmación (x ∈ A) juega el papel de p, y la afirmación (x ∈ B) el de q.