SlideShare una empresa de Scribd logo
1 de 12
CONJUNTOS:
LEYESAPLICADASDE CONJUNTOS
REPÚBLICA BOLIVARIANA DEVENEZUELA
INSTITUTOUNIVERSITARIO POLITÉCNICO “SANTIAGO MARIÑO”
SEDE BARCELONA
INGENIERÍA DE SISTEMAS (47)
ESTRUCTURA DISCRETAY GRAFOS
Profesor:
Ing. Asdrubal Jose Rodriguez Salazar
Bachiller :
Diego Suarez C.I: 20360976
Barcelona, Junio 2014
INTRODUCCIÓN
 Un conjunto es una colección de objetos
considerada como un objeto en sí. Los objetos
de la colección pueden ser cualquier cosa:
personas, números, colores, letras, figuras, etc.
Cada uno de los objetos en la colección es un
elemento o miembro del conjunto.
 Por ejemplo, el conjunto de los colores del
arcoíris es:
AI = {rojo, naranja, amarillo, verde, azul, violeta}
¿Que es un Conjunto?
 Un conjunto esta constituido por una serie de
elementos que poseen una característica o
condición especial.
Estos elementos se denotan con letras
minúsculas (a,b,..) y se encierran entre corchetes
{} o círculos , Los conjuntos se identifican por ser
denotados por una letra Mayúscula(A,B,C…).
El Conjunto Universal es un conjunto que posee
todos los elementos, y se denota (U).
Operaciones con conjuntos
 UNIÓN: La unión de dos conjuntos A y B es el
conjunto A ∪ B que contiene todos los elementos
de A y de B.
 INTERSECCIÓN: La intersección de dos
conjuntos A y B es el conjunto A ∩ B que
contiene todos los elementos comunes de A y B.
 DIFERENCIA: La diferencia entre dos
conjuntos A y B es el conjunto A  B que contiene
todos los elementos de A que no pertenecen a B.
Operaciones con conjuntos
 COMPLEMENTO: El complemento de un
conjunto A es el conjunto A∁ que contiene todos
los elementos que no pertenecen a A.
 PRODUCTO CARTESIANO: El producto
cartesiano de dos conjuntos A y B es el
conjunto A × B que contiene todos los pares
ordenados (a, b) cuyo primer elemento
pertenece a A y su segundo elemento pertenece
a B.
LEYES DE CONJUNTOS
 Leyes Idempotentes
 Leyes Conmutativas
 Leyes Asociativas
 Leyes Distributivas
 Ley Involutiva
Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U , se vereca:
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.
Leyes Conmutativas
Dados dos conjuntos A y B de un universal arbitrario U , se vereca:
 1. A ∪ B = B ∪ A
 2. A ∩ B = B ∩ A
Demostración
En efecto,
1. 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) {Dentició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.
Leyes Asociativas
Dados tres conjuntos A, B y C de un universal arbitrario, U , se vereca:
 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í queA ∪ (B ∪ C) = (A ∪ B) ∪ C
2.Análogamente se demuestra que
A ∩ (B ∩ C) = (A ∩ B) ∩ C
Leyes Distributivas
 Dados tres conjuntos A, B y C de un conjunto universal
arbitrario, U , se vereca:
 1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
 2. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Demostración
En efecto, 1. En efecto, sea x cualquier elemento del conjunto
universal 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 intersección}
⇐⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ C) {Distributivita}
⇐⇒ x ∈ (A ∪ B) ∧ x ∈ (A ∪ C) {Definición de unión}
⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ C) {Definición de intersección}
Leyes Distributivas
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 ∪ C)
2. De una forma similar se prueba que
 A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Ley Involutiva
Dado un conjunto cualquiera A de un universal U , se vereca:
 (Ac)c = A
Demostración
Sea x cualquiera de U . Entonces,
x ∈ (Ac)c ⇐⇒ x /∈ Ac {Definición de complementario}
⇐⇒ ¬(x ∈ Ac) {Negación}
⇐⇒ ¬(x /∈ A) {Definición de complementario}
⇐⇒ ¬¬(x ∈ A) {Negación}
⇐⇒ x ∈ A {Doble negación}
luego,
∀x [x ∈ (Ac)c ⇐⇒ x ∈ A]
es decir,
(Ac)c = A

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
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
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
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyeslozanolc
 
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
 
5 leyes de conjuntos
5 leyes de conjuntos5 leyes de conjuntos
5 leyes de conjuntosEnmanuel Ruiz
 
Leyes de conjunto
Leyes de conjuntoLeyes de conjunto
Leyes de conjuntoAlexa Lara
 
Leyes de Conjuntos (Estructuras Discreta y Grafos)
Leyes de Conjuntos (Estructuras Discreta y Grafos) Leyes de Conjuntos (Estructuras Discreta y Grafos)
Leyes de Conjuntos (Estructuras Discreta y Grafos) Mirmar Moreno
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completoAlexander Pl
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de ConjuntosAntonio Diaz
 
Capitulo1 conjuntos 3
Capitulo1 conjuntos 3Capitulo1 conjuntos 3
Capitulo1 conjuntos 3mozart32621
 
Leyes de Conjuntos Grafos Saia
Leyes de Conjuntos Grafos SaiaLeyes de Conjuntos Grafos Saia
Leyes de Conjuntos Grafos SaiaDrake Ronny
 

La actualidad más candente (19)

Algebra de conjuntos
Algebra de conjuntosAlgebra de conjuntos
Algebra 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)
Álgebra Capítulo 2 (Teoría de Conjuntos)
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto Teoría de Leyes de Conjunto
Teoría de Leyes de Conjunto
 
Conjuntos y Leyes
Conjuntos y LeyesConjuntos y Leyes
Conjuntos y Leyes
 
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 Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
5 leyes de conjuntos
5 leyes de conjuntos5 leyes de conjuntos
5 leyes de conjuntos
 
Leyes De Conjuntos
Leyes De ConjuntosLeyes De Conjuntos
Leyes De Conjuntos
 
Leyes de conjunto
Leyes de conjuntoLeyes de conjunto
Leyes de conjunto
 
Leyes de Conjuntos (Estructuras Discreta y Grafos)
Leyes de Conjuntos (Estructuras Discreta y Grafos) Leyes de Conjuntos (Estructuras Discreta y Grafos)
Leyes de Conjuntos (Estructuras Discreta y Grafos)
 
Teoria de conjuntos manual completo
Teoria de conjuntos manual completoTeoria de conjuntos manual completo
Teoria de conjuntos manual completo
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Leyes de Conjuntos
Leyes de ConjuntosLeyes de Conjuntos
Leyes de Conjuntos
 
Leyes de conjuntos
Leyes de conjuntosLeyes de conjuntos
Leyes de conjuntos
 
5 matematicas-1-ejercicios-teoria de conjuntos
5 matematicas-1-ejercicios-teoria de conjuntos5 matematicas-1-ejercicios-teoria de conjuntos
5 matematicas-1-ejercicios-teoria de conjuntos
 
Capitulo1 conjuntos 3
Capitulo1 conjuntos 3Capitulo1 conjuntos 3
Capitulo1 conjuntos 3
 
Leyes de Conjuntos Grafos Saia
Leyes de Conjuntos Grafos SaiaLeyes de Conjuntos Grafos Saia
Leyes de Conjuntos Grafos Saia
 

Destacado

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
 
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
 
Empresas Asociativas De Trabajo
Empresas Asociativas De TrabajoEmpresas Asociativas De Trabajo
Empresas Asociativas De Trabajoelcyzora
 
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...Alianza de Aprendizaje Regional
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de ConjuntosVane Borjas
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntoshernancarrilloa
 

Destacado (12)

Alejandro cadena
Alejandro cadenaAlejandro cadena
Alejandro cadena
 
SOCIEDAD
SOCIEDADSOCIEDAD
SOCIEDAD
 
Leyes Boole
Leyes BooleLeyes Boole
Leyes Boole
 
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 de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)Algebra de conjuntos (leyes de conjuntos)
Algebra de conjuntos (leyes de conjuntos)
 
Empresas Asociativas De Trabajo
Empresas Asociativas De TrabajoEmpresas Asociativas De Trabajo
Empresas Asociativas De Trabajo
 
Leyes asociativa
Leyes asociativaLeyes asociativa
Leyes asociativa
 
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...
Guía 4: Elaboración de planes de negocio para la gestión de empresas asociati...
 
Teoria de Conjuntos
Teoria de ConjuntosTeoria de Conjuntos
Teoria de Conjuntos
 
Numeros reales
Numeros realesNumeros reales
Numeros reales
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 
Operaciones con conjuntos
Operaciones con conjuntosOperaciones con conjuntos
Operaciones con conjuntos
 

Similar a Presentacion diego suarez conjuntos

Similar a Presentacion diego suarez conjuntos (20)

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
 
Grafos
GrafosGrafos
Grafos
 
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
 
Conjuntos
ConjuntosConjuntos
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)
 
Introducción
Introducción Introducción
Introducción
 
Conjuntos
ConjuntosConjuntos
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
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Erick rodriguez
Erick rodriguezErick rodriguez
Erick rodriguez
 
leyes de Conjuntos
leyes de Conjuntosleyes de Conjuntos
leyes de Conjuntos
 
Unidad 2 de matematica archivo original
Unidad 2 de matematica archivo originalUnidad 2 de matematica archivo original
Unidad 2 de matematica archivo original
 
Avcapitulo ii
Avcapitulo iiAvcapitulo ii
Avcapitulo ii
 

Presentacion diego suarez conjuntos

  • 1. CONJUNTOS: LEYESAPLICADASDE CONJUNTOS REPÚBLICA BOLIVARIANA DEVENEZUELA INSTITUTOUNIVERSITARIO POLITÉCNICO “SANTIAGO MARIÑO” SEDE BARCELONA INGENIERÍA DE SISTEMAS (47) ESTRUCTURA DISCRETAY GRAFOS Profesor: Ing. Asdrubal Jose Rodriguez Salazar Bachiller : Diego Suarez C.I: 20360976 Barcelona, Junio 2014
  • 2. INTRODUCCIÓN  Un conjunto es una colección de objetos considerada como un objeto en sí. Los objetos de la colección pueden ser cualquier cosa: personas, números, colores, letras, figuras, etc. Cada uno de los objetos en la colección es un elemento o miembro del conjunto.  Por ejemplo, el conjunto de los colores del arcoíris es: AI = {rojo, naranja, amarillo, verde, azul, violeta}
  • 3. ¿Que es un Conjunto?  Un conjunto esta constituido por una serie de elementos que poseen una característica o condición especial. Estos elementos se denotan con letras minúsculas (a,b,..) y se encierran entre corchetes {} o círculos , Los conjuntos se identifican por ser denotados por una letra Mayúscula(A,B,C…). El Conjunto Universal es un conjunto que posee todos los elementos, y se denota (U).
  • 4. Operaciones con conjuntos  UNIÓN: La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene todos los elementos de A y de B.  INTERSECCIÓN: La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los elementos comunes de A y B.  DIFERENCIA: La diferencia entre dos conjuntos A y B es el conjunto A B que contiene todos los elementos de A que no pertenecen a B.
  • 5. Operaciones con conjuntos  COMPLEMENTO: El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos que no pertenecen a A.  PRODUCTO CARTESIANO: El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece a A y su segundo elemento pertenece a B.
  • 6. LEYES DE CONJUNTOS  Leyes Idempotentes  Leyes Conmutativas  Leyes Asociativas  Leyes Distributivas  Ley Involutiva
  • 7. Leyes Idempotentes Dado cualquier conjunto A en un universal arbitrario U , se vereca: 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.
  • 8. Leyes Conmutativas Dados dos conjuntos A y B de un universal arbitrario U , se vereca:  1. A ∪ B = B ∪ A  2. A ∩ B = B ∩ A Demostración En efecto, 1. 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) {Dentició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.
  • 9. Leyes Asociativas Dados tres conjuntos A, B y C de un universal arbitrario, U , se vereca:  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í queA ∪ (B ∪ C) = (A ∪ B) ∪ C 2.Análogamente se demuestra que A ∩ (B ∩ C) = (A ∩ B) ∩ C
  • 10. Leyes Distributivas  Dados tres conjuntos A, B y C de un conjunto universal arbitrario, U , se vereca:  1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)  2. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) Demostración En efecto, 1. En efecto, sea x cualquier elemento del conjunto universal 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 intersección} ⇐⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ C) {Distributivita} ⇐⇒ x ∈ (A ∪ B) ∧ x ∈ (A ∪ C) {Definición de unión} ⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ C) {Definición de intersección}
  • 11. Leyes Distributivas 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 ∪ C) 2. De una forma similar se prueba que  A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
  • 12. Ley Involutiva Dado un conjunto cualquiera A de un universal U , se vereca:  (Ac)c = A Demostración Sea x cualquiera de U . Entonces, x ∈ (Ac)c ⇐⇒ x /∈ Ac {Definición de complementario} ⇐⇒ ¬(x ∈ Ac) {Negación} ⇐⇒ ¬(x /∈ A) {Definición de complementario} ⇐⇒ ¬¬(x ∈ A) {Negación} ⇐⇒ x ∈ A {Doble negación} luego, ∀x [x ∈ (Ac)c ⇐⇒ x ∈ A] es decir, (Ac)c = A