SlideShare uma empresa Scribd logo
1 de 12
Republica Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación Superior
Instituto Universitario Politécnico “Santiago Mariño”
Sección SV
Ley De Conjuntos
Bachiller:
Rivero Miguel C.I 25.428.055
Barcelona marzo de 2016
Bachiller:
Asdrúbal Rodríguez
Ley de Conjuntos
Ley de Idempotencia
1. A ∪ A = A 2. A ∩ A = A
Ley Conmutativa
1.A ∪ B = B ∪ A 2. A ∩ B = B ∩ A
Ley Asociativa
1.A ∪ (B ∪ C) = (A ∪ B) ∪ C 2. A ∩ (B ∩ C) = (A ∩ B) ∩C
Ley de Identidad
1.A ∪ ∅ = A 2.A ∪ U = U
3.A ∩ ∅ = ∅ 4.A ∩ U = A
Ley del complemento
1. A ∪ Ac = U 2. U c = ∅
3. A ∩ Ac = ∅ 4. ∅c = U
Ley de Idempotencia
Ley de Idempotencia: 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
Ley Conmutativa
Ley Conmutativa: Dados dos conjuntos A y B de un universal arbitrario U, se verifica:
1.A ∪ B = B ∪ A
2.A ∩ B = B ∩ A
Demostración: En efecto, Sea x cualquier elemento de U. Entonces,
1. 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
2. De una forma similar se demuestra que A ∩ B = B ∩ A
Ley AsociativaLey Asociativa: 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 es 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
Ley Identidad
Ley de Identidad: 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 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
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
Ley del Complemento
Leyes del Complementario: Dado un conjunto cualquiera A de un universal arbitrario U , se verifica:
1. A ∪ Ac = U 2. U c = ∅
3. A ∩ Ac = ∅ 4. ∅c = U
Demostración:
1. 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
2. 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} = ∅
4. ∅c = U . En efecto,
∅c = {x ∈ U : x ∈ ∅c} = {x ∈ U : x /∈ ∅} = {x ∈ U } = U
Ejercicios
1.) Ley de Idempotencia
A ∪ A = A
A= {1, 2, 3}
A= {1, 2, 3}
A ∪ A = {1, 2, 3}
A ∩ A = A
A= {0, 1, 2}
A= {0, 1, 2}
A ∩ A = {0, 1, 2}
2. Ley Conmutativa
A ∪ B = B ∪ A
A= {1, 2, 3} B= {4, 5}
B= {4, 5} A= {1, 2, 3}
A ∪ B = {1, 2, 3, 4, 5} B ∪ A = {4, 5, 1, 2,
3,}
A ∩ B = B ∩ A
A= {1, 2, 3} B= {3, 4}
B= {3, 4} A= {1, 2, 3}
A ∩ B= {3} B ∩ A= {3}
3. Ley Asociativa
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A= {1, 2} B= {3, 4} C= {5, 6}
(B ∪ C) = {3, 4, 5, 6} (A ∪ B) = {1, 2, 3, 4}
A ∪ (B ∪ C) = {1, 2, 3, 4, 5, 6} (A ∪ B) ∪ C = {1, 2, 3, 4, 5, 6}
4. Ley de Identidad
A ∪ ∅ = A A ∪ U = U
A= {1, 2, 3} A= {0, 1, 2}
∅ ={ - } U = {0, 1, 2, 3 }
A ∪ ∅ = {1, 2, 3} A ∪ U = {0, 1, 2, 3}
A ∩ ∅ = ∅ A ∩ U = A
A= {1, 2, 3} A= {1, 2, 3}
∅ ={ - } U = {1, 2, 3, 4}
A ∩ ∅ = { ∅ } A ∪ U = {1, 2, 3}
5. Leyes del Complementario
A ∪ Ac = U U c = ∅
U = {1, 2, 3, 4, 5} U = {0, 1, 2, 3}
A = {1, 2, 3} U c = { ∅ }
Ac ={4, 5}
A ∪ Ac = {1, 2, 3, 4, 5}
A ∩ Ac = ∅ ∅c = U
A = {1, 2, 3} U = {0, 1, 2}
U = {1, 2, 3, 4, 5} ∅ ={ - }
Ac ={4, 5} ∅c = {0, 1, 2}
A ∩ Ac = { ∅ }

Mais conteúdo relacionado

Mais procurados

Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
Rafa Cruz
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
Carlos Iza
 
Estructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionalesEstructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionales
andreagache
 

Mais procurados (20)

Propiedades de las relaciones
Propiedades de las relacionesPropiedades de las relaciones
Propiedades de las relaciones
 
TALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOSTALLER TEORIA DE CONJUNTOS
TALLER TEORIA DE CONJUNTOS
 
Topología del espacio euclídeo
Topología del espacio euclídeoTopología del espacio euclídeo
Topología del espacio euclídeo
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)
 
Teoría de Conjuntos
Teoría de ConjuntosTeoría de Conjuntos
Teoría de Conjuntos
 
Estructuras algebraicas
Estructuras algebraicasEstructuras algebraicas
Estructuras algebraicas
 
Exposicion de meodos numericos - UNIVERSIDAD DE LOS ANGELES COMALCALCO
Exposicion de meodos numericos - UNIVERSIDAD DE LOS ANGELES COMALCALCOExposicion de meodos numericos - UNIVERSIDAD DE LOS ANGELES COMALCALCO
Exposicion de meodos numericos - UNIVERSIDAD DE LOS ANGELES COMALCALCO
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completo
 
Operaciones con conjuntos
Operaciones con conjuntosOperaciones con conjuntos
Operaciones con conjuntos
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Diapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicasDiapositivas de estructuras algebraicas
Diapositivas de estructuras algebraicas
 
conjuntos
 conjuntos conjuntos
conjuntos
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntos
 
Estructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionalesEstructuras algebraicas ejercicios adicionales
Estructuras algebraicas ejercicios adicionales
 
Cap 2 conjuntos
Cap 2 conjuntosCap 2 conjuntos
Cap 2 conjuntos
 
Operaciones con conjuntos
Operaciones  con conjuntosOperaciones  con conjuntos
Operaciones con conjuntos
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Experimento espacio muestral y eventos.pptx
Experimento espacio muestral y eventos.pptxExperimento espacio muestral y eventos.pptx
Experimento espacio muestral y eventos.pptx
 

Destaque

Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativa
OSCARDAGH
 
Propiedades del algebra de boole
Propiedades del algebra de boolePropiedades del algebra de boole
Propiedades del algebra de boole
D'Ander
 
Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)
Rosa Padilla
 
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
 

Destaque (20)

Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativa
 
Propiedades del algebra de boole
Propiedades del algebra de boolePropiedades del algebra de boole
Propiedades del algebra de boole
 
Lógica computacional
Lógica computacionalLógica computacional
Lógica computacional
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Teoría de conjuntos
Teoría de conjuntosTeoría de conjuntos
Teoría de conjuntos
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyes
 
Logica I
Logica ILogica I
Logica I
 
Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)
 
propiedad distributiva
propiedad distributivapropiedad distributiva
propiedad distributiva
 
Modulo logica matematica
Modulo  logica matematicaModulo  logica matematica
Modulo logica matematica
 
Presentacion de puentes
Presentacion de puentes Presentacion de puentes
Presentacion de puentes
 
Leyes asociativa
Leyes asociativaLeyes asociativa
Leyes asociativa
 
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
 
7 c1 conjuntos numéricos y sus propiedades
7 c1   conjuntos numéricos y sus propiedades7 c1   conjuntos numéricos y sus propiedades
7 c1 conjuntos numéricos y sus propiedades
 
Trabajo final colaborativo 1
Trabajo final colaborativo 1Trabajo final colaborativo 1
Trabajo final colaborativo 1
 
Los números enteros
Los números enterosLos números enteros
Los números enteros
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 

Semelhante a Ley de conjuntos

Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
Diiego Armando
 
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
 

Semelhante a Ley de conjuntos (20)

Grafos
GrafosGrafos
Grafos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes 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
 
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
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez 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)
 
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
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Leyes de los Conjuntos
Leyes de los ConjuntosLeyes de los Conjuntos
Leyes de los Conjuntos
 
Introducción
Introducción Introducción
Introducción
 
Matematica basica 02
Matematica basica 02Matematica basica 02
Matematica basica 02
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
IPM UnADM
IPM UnADMIPM UnADM
IPM UnADM
 
Conjuntos operaciones entre conjuntos.pdf
Conjuntos operaciones entre conjuntos.pdfConjuntos operaciones entre conjuntos.pdf
Conjuntos operaciones entre conjuntos.pdf
 
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
 

Último

🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
EliaHernndez7
 
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
MiNeyi1
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Fernando Solis
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
RigoTito
 

Último (20)

2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
5.- Doerr-Mide-lo-que-importa-DESARROLLO PERSONAL
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA IIAFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
AFICHE EL MANIERISMO HISTORIA DE LA ARQUITECTURA II
 
Medición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptxMedición del Movimiento Online 2024.pptx
Medición del Movimiento Online 2024.pptx
 
Unidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la InvestigaciónUnidad 3 | Metodología de la Investigación
Unidad 3 | Metodología de la Investigación
 
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docxPLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
PLAN DE REFUERZO ESCOLAR MERC 2024-2.docx
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
Concepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptxConcepto y definición de tipos de Datos Abstractos en c++.pptx
Concepto y definición de tipos de Datos Abstractos en c++.pptx
 
Tema 11. Dinámica de la hidrosfera 2024
Tema 11.  Dinámica de la hidrosfera 2024Tema 11.  Dinámica de la hidrosfera 2024
Tema 11. Dinámica de la hidrosfera 2024
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
 

Ley de conjuntos

  • 1. Republica Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Superior Instituto Universitario Politécnico “Santiago Mariño” Sección SV Ley De Conjuntos Bachiller: Rivero Miguel C.I 25.428.055 Barcelona marzo de 2016 Bachiller: Asdrúbal Rodríguez
  • 2. Ley de Conjuntos Ley de Idempotencia 1. A ∪ A = A 2. A ∩ A = A Ley Conmutativa 1.A ∪ B = B ∪ A 2. A ∩ B = B ∩ A Ley Asociativa 1.A ∪ (B ∪ C) = (A ∪ B) ∪ C 2. A ∩ (B ∩ C) = (A ∩ B) ∩C Ley de Identidad 1.A ∪ ∅ = A 2.A ∪ U = U 3.A ∩ ∅ = ∅ 4.A ∩ U = A Ley del complemento 1. A ∪ Ac = U 2. U c = ∅ 3. A ∩ Ac = ∅ 4. ∅c = U
  • 3. Ley de Idempotencia Ley de Idempotencia: 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
  • 4. Ley Conmutativa Ley Conmutativa: Dados dos conjuntos A y B de un universal arbitrario U, se verifica: 1.A ∪ B = B ∪ A 2.A ∩ B = B ∩ A Demostración: En efecto, Sea x cualquier elemento de U. Entonces, 1. 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 2. De una forma similar se demuestra que A ∩ B = B ∩ A
  • 5. Ley AsociativaLey Asociativa: 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 es 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
  • 6. Ley Identidad Ley de Identidad: 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 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
  • 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
  • 8. Ley del Complemento Leyes del Complementario: Dado un conjunto cualquiera A de un universal arbitrario U , se verifica: 1. A ∪ Ac = U 2. U c = ∅ 3. A ∩ Ac = ∅ 4. ∅c = U Demostración: 1. 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 2. 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} = ∅ 4. ∅c = U . En efecto, ∅c = {x ∈ U : x ∈ ∅c} = {x ∈ U : x /∈ ∅} = {x ∈ U } = U
  • 9. Ejercicios 1.) Ley de Idempotencia A ∪ A = A A= {1, 2, 3} A= {1, 2, 3} A ∪ A = {1, 2, 3} A ∩ A = A A= {0, 1, 2} A= {0, 1, 2} A ∩ A = {0, 1, 2} 2. Ley Conmutativa A ∪ B = B ∪ A A= {1, 2, 3} B= {4, 5} B= {4, 5} A= {1, 2, 3} A ∪ B = {1, 2, 3, 4, 5} B ∪ A = {4, 5, 1, 2, 3,} A ∩ B = B ∩ A A= {1, 2, 3} B= {3, 4} B= {3, 4} A= {1, 2, 3} A ∩ B= {3} B ∩ A= {3}
  • 10. 3. Ley Asociativa A ∪ (B ∪ C) = (A ∪ B) ∪ C A= {1, 2} B= {3, 4} C= {5, 6} (B ∪ C) = {3, 4, 5, 6} (A ∪ B) = {1, 2, 3, 4} A ∪ (B ∪ C) = {1, 2, 3, 4, 5, 6} (A ∪ B) ∪ C = {1, 2, 3, 4, 5, 6}
  • 11. 4. Ley de Identidad A ∪ ∅ = A A ∪ U = U A= {1, 2, 3} A= {0, 1, 2} ∅ ={ - } U = {0, 1, 2, 3 } A ∪ ∅ = {1, 2, 3} A ∪ U = {0, 1, 2, 3} A ∩ ∅ = ∅ A ∩ U = A A= {1, 2, 3} A= {1, 2, 3} ∅ ={ - } U = {1, 2, 3, 4} A ∩ ∅ = { ∅ } A ∪ U = {1, 2, 3}
  • 12. 5. Leyes del Complementario A ∪ Ac = U U c = ∅ U = {1, 2, 3, 4, 5} U = {0, 1, 2, 3} A = {1, 2, 3} U c = { ∅ } Ac ={4, 5} A ∪ Ac = {1, 2, 3, 4, 5} A ∩ Ac = ∅ ∅c = U A = {1, 2, 3} U = {0, 1, 2} U = {1, 2, 3, 4, 5} ∅ ={ - } Ac ={4, 5} ∅c = {0, 1, 2} A ∩ Ac = { ∅ }