SlideShare una empresa de Scribd logo
1 de 13
Instituto Universitario Politécnico 
“Santiago Mariño” 
sede Barcelona 
profesor Integrante: 
Asdrúbal Rodríguez Jhedisson Osorio. 
C.I. 19.013.936. 
Barcelona, Noviembre 2014
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: 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: 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 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 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
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
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 = { ∅ }
Teoría de Leyes de Conjunto

Más contenido relacionado

La actualidad más candente

Á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
 
División interior y exterior de un segmento iv electivo
División interior y exterior de un segmento iv electivoDivisión interior y exterior de un segmento iv electivo
División interior y exterior de un segmento iv electivoAriel d?z
 
Conjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosConjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosphoebefphs
 
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 conceptosEuglidis Gonzalez
 
Semejanza de Triangulos
Semejanza de TriangulosSemejanza de Triangulos
Semejanza de Triangulosmatematicajiv
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1rosibel_mejia
 
3.3 teorema fundamental del algebra
3.3 teorema fundamental del algebra3.3 teorema fundamental del algebra
3.3 teorema fundamental del algebramath260
 
Guiaresuelta
GuiaresueltaGuiaresuelta
GuiaresueltaUsac
 
Álgebra - Teoría de Conjuntos
Álgebra - Teoría de ConjuntosÁlgebra - Teoría de Conjuntos
Álgebra - Teoría de ConjuntosFATLA
 
Ejercicios resueltos mm 502
Ejercicios resueltos mm 502Ejercicios resueltos mm 502
Ejercicios resueltos mm 502Mario José
 
28 ejercicios polígonos y cuadrilateros
28 ejercicios polígonos y cuadrilateros28 ejercicios polígonos y cuadrilateros
28 ejercicios polígonos y cuadrilaterosMarcelo Calderón
 

La actualidad más candente (20)

Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Geometria analitica
Geometria analiticaGeometria analitica
Geometria analitica
 
Á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)
 
División interior y exterior de un segmento iv electivo
División interior y exterior de un segmento iv electivoDivisión interior y exterior de un segmento iv electivo
División interior y exterior de un segmento iv electivo
 
Matemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de ConjuntosMatemáticas discretas- Teoría de Conjuntos
Matemáticas discretas- Teoría de Conjuntos
 
ECUACIONES CUADRÁTICAS II.pptx
ECUACIONES CUADRÁTICAS II.pptxECUACIONES CUADRÁTICAS II.pptx
ECUACIONES CUADRÁTICAS II.pptx
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Conjuntos y relacion entre conjuntos
Conjuntos y relacion entre conjuntosConjuntos y relacion entre conjuntos
Conjuntos y relacion entre 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
 
Semejanza de Triangulos
Semejanza de TriangulosSemejanza de Triangulos
Semejanza de Triangulos
 
Estructuras algebraicas 1
Estructuras algebraicas 1Estructuras algebraicas 1
Estructuras algebraicas 1
 
3.3 teorema fundamental del algebra
3.3 teorema fundamental del algebra3.3 teorema fundamental del algebra
3.3 teorema fundamental del algebra
 
Simbolos matematicos
Simbolos matematicosSimbolos matematicos
Simbolos matematicos
 
Guiaresuelta
GuiaresueltaGuiaresuelta
Guiaresuelta
 
Operaciones Entre Conjuntos Bn
Operaciones Entre Conjuntos BnOperaciones Entre Conjuntos Bn
Operaciones Entre Conjuntos Bn
 
Teoria de conjuntos
Teoria de conjuntosTeoria de conjuntos
Teoria de conjuntos
 
Álgebra - Teoría de Conjuntos
Álgebra - Teoría de ConjuntosÁlgebra - Teoría de Conjuntos
Álgebra - Teoría de Conjuntos
 
Ejercicios resueltos mm 502
Ejercicios resueltos mm 502Ejercicios resueltos mm 502
Ejercicios resueltos mm 502
 
28 ejercicios polígonos y cuadrilateros
28 ejercicios polígonos y cuadrilateros28 ejercicios polígonos y cuadrilateros
28 ejercicios polígonos y cuadrilateros
 

Destacado

Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativaOSCARDAGH
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Presentación conjuntos
Presentación conjuntosPresentación conjuntos
Presentación conjuntossolracoznofla
 
Leyes de conjuntos (Recurso Unidad 1)
Leyes de conjuntos (Recurso Unidad 1)Leyes de conjuntos (Recurso Unidad 1)
Leyes de conjuntos (Recurso Unidad 1)chagalajoseluis
 
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
 
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...Ejercicios resueltos matriz conmutable, idempotente, nilpotente...
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...algebra
 
Algebra de boole y simplificacion logica
Algebra de boole y simplificacion logicaAlgebra de boole y simplificacion logica
Algebra de boole y simplificacion logicaEdgar Rivera
 

Destacado (13)

Leyes asociativa
Leyes asociativaLeyes asociativa
Leyes asociativa
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Ley conmutativa
Ley conmutativaLey conmutativa
Ley conmutativa
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Presentación conjuntos
Presentación conjuntosPresentación conjuntos
Presentación conjuntos
 
Leyes de conjuntos (Recurso Unidad 1)
Leyes de conjuntos (Recurso Unidad 1)Leyes de conjuntos (Recurso Unidad 1)
Leyes de conjuntos (Recurso Unidad 1)
 
Algebra conjuntoswm
Algebra conjuntoswmAlgebra conjuntoswm
Algebra conjuntoswm
 
Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)Capítulo 2 (probabilidad y estadistica)
Capítulo 2 (probabilidad y estadistica)
 
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...Ejercicios resueltos matriz conmutable, idempotente, nilpotente...
Ejercicios resueltos matriz conmutable, idempotente, nilpotente...
 
Algebra de boole y simplificacion logica
Algebra de boole y simplificacion logicaAlgebra de boole y simplificacion logica
Algebra de boole y simplificacion logica
 

Similar a Teoría de Leyes de Conjunto

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
 
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
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntosDiiego Armando
 
Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)John Anthony Peraza
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completoAlexander Pl
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdfAlbertoRO3
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyeslozanolc
 
Ejercicios de Leyes Conjuntos
Ejercicios de Leyes ConjuntosEjercicios de Leyes Conjuntos
Ejercicios de Leyes ConjuntosR.M. M.H.
 
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
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Anthony Mantilla
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones2964HaPg
 

Similar a Teoría de Leyes de Conjunto (20)

Grafos
GrafosGrafos
Grafos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes 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
 
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 de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
Presentacion diego suarez conjuntos
Presentacion diego suarez conjuntosPresentacion diego suarez conjuntos
Presentacion diego suarez conjuntos
 
Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)Conjuntos- Presentación( Final)
Conjuntos- Presentación( Final)
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completo
 
Proba-Conjuntos.pdf
Proba-Conjuntos.pdfProba-Conjuntos.pdf
Proba-Conjuntos.pdf
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyes
 
Ejercicios de Leyes Conjuntos
Ejercicios de Leyes ConjuntosEjercicios de Leyes Conjuntos
Ejercicios de Leyes 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
 
Matematica basica 02
Matematica basica 02Matematica basica 02
Matematica basica 02
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Introducción
Introducción Introducción
Introducción
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 
Conjuntos relaciones-funciones
Conjuntos relaciones-funcionesConjuntos relaciones-funciones
Conjuntos relaciones-funciones
 

Último

trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdfIsabellaMontaomurill
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIAWilbisVega
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx241521559
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxJOSEMANUELHERNANDEZH11
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfSergioMendoza354770
 
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxMedidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxaylincamaho
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxpabonheidy28
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafiosFundación YOD YOD
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadMiguelAngelVillanuev48
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)GDGSucre
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...FacuMeza2
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfsoporteupcology
 
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...AlanCedillo9
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesFundación YOD YOD
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024GiovanniJavierHidalg
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan JosephBRAYANJOSEPHPEREZGOM
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersIván López Martín
 
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...JaquelineJuarez15
 
ejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofJuancarlosHuertasNio1
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricKeyla Dolores Méndez
 

Último (20)

trabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdftrabajotecologiaisabella-240424003133-8f126965.pdf
trabajotecologiaisabella-240424003133-8f126965.pdf
 
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE  DE TECNOLOGIA E INFORMATICA PRIMARIACLASE  DE TECNOLOGIA E INFORMATICA PRIMARIA
CLASE DE TECNOLOGIA E INFORMATICA PRIMARIA
 
Proyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptxProyecto integrador. Las TIC en la sociedad S4.pptx
Proyecto integrador. Las TIC en la sociedad S4.pptx
 
Hernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptxHernandez_Hernandez_Practica web de la sesion 12.pptx
Hernandez_Hernandez_Practica web de la sesion 12.pptx
 
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdfPARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
PARTES DE UN OSCILOSCOPIO ANALOGICO .pdf
 
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptxMedidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
Medidas de formas, coeficiente de asimetría y coeficiente de curtosis.pptx
 
Plan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docxPlan de aula informatica segundo periodo.docx
Plan de aula informatica segundo periodo.docx
 
La era de la educación digital y sus desafios
La era de la educación digital y sus desafiosLa era de la educación digital y sus desafios
La era de la educación digital y sus desafios
 
Presentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidadPresentación inteligencia artificial en la actualidad
Presentación inteligencia artificial en la actualidad
 
International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)International Women's Day Sucre 2024 (IWD)
International Women's Day Sucre 2024 (IWD)
 
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
ATAJOS DE WINDOWS. Los diferentes atajos para utilizar en windows y ser más e...
 
Redes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdfRedes direccionamiento y subredes ipv4 2024 .pdf
Redes direccionamiento y subredes ipv4 2024 .pdf
 
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
Instrumentación Hoy_ INTERPRETAR EL DIAGRAMA UNIFILAR GENERAL DE UNA PLANTA I...
 
KELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento ProtégelesKELA Presentacion Costa Rica 2024 - evento Protégeles
KELA Presentacion Costa Rica 2024 - evento Protégeles
 
Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024Cortes-24-de-abril-Tungurahua-3 año 2024
Cortes-24-de-abril-Tungurahua-3 año 2024
 
guía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Josephguía de registro de slideshare por Brayan Joseph
guía de registro de slideshare por Brayan Joseph
 
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 TestcontainersSalmorejoTech 2024 - Spring Boot <3 Testcontainers
SalmorejoTech 2024 - Spring Boot <3 Testcontainers
 
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
El gusano informático Morris (1988) - Julio Ardita (1995) - Citizenfour (2014...
 
ejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sofejercicios pseint para aprogramacion sof
ejercicios pseint para aprogramacion sof
 
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft FabricGlobal Azure Lima 2024 - Integración de Datos con Microsoft Fabric
Global Azure Lima 2024 - Integración de Datos con Microsoft Fabric
 

Teoría de Leyes de Conjunto

  • 1. Instituto Universitario Politécnico “Santiago Mariño” sede Barcelona profesor Integrante: Asdrúbal Rodríguez Jhedisson Osorio. C.I. 19.013.936. Barcelona, Noviembre 2014
  • 2. 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: 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: 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 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 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. 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. 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,}
  • 10. 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}
  • 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 = { ∅ }