Documentos de Académico
Documentos de Profesional
Documentos de Cultura
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/conjuntos.htm
o ∅'=U.
o U'=∅.
o (A')' = A .
o A ⊆ B ⇔ B' ⊆ A' .
o Si A = { x ∈ U | p(x) es una proposición verdadera} entonces A' = { x ∈ U | p(x) es una proposición
falsa}.
Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son elementos de A o de B,
es decir: A ∪ B := { x | x ∈ A ∨ x ∈ B}.
Se llama intersección de dos conjuntos A y B al conjunto formado por objetos que son elementos de A y
de B,
es decir: A ∩ B := {x | x ∈ A ∧ x ∈ B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil ver que A − B = A ∩ B'.
En este caso, la llamadas operaciones booleanas (unión e intersección) verifican las siguientes
propiedades :
Estas propiedades hacen que partes de U con las operaciones unión e intersección tenga una estructura
de álgebra de Boole.
Además de éstas, se verifican también las siguientes propiedades:
o A ∪ ∅ = A , A ∩ ∅ = ∅ ( elemento nulo ).
o A ∪ U = U , A ∩ U = A ( elemento universal ).
o ( A ∪ B )' = A' ∩ B' , ( A ∩ B )' = A' ∪ B' ( leyes de Morgan ).
Ejemplos:
¿ A Ω (B U C ) = ( A Ω B ) U C ?
A = { a, b, c, d }
B= { c, d, e }
C= { d, e, f, g }
Entonces:
A Ω (B U C )= { a, b, c, d } Ω ({ c, d, e } U { d, e, f, g })
= { a, b, c, d } Ω { c, d, e, f, g }
= { c, d }
( A Ω B ) U C = ({ a, b, c, d } Ω { c, d, e } ) U { d, e, f, g }
= { c, d } U { d, e, f, g }
= { c. d, e, f, g }
Teoría de conjuntos:
A ∪ B = {x | x ∈ A ∨ x ∈ B}
A ∩ B = {x | x ∈ A ∧ x ∈ B}
A - B = {x | x ∈ A ∧ x ∉ B}
Propiedades de conjuntos:
a) A ∪ Ac= U
b) A ∪ A = A
2-. Leyes conmutativas
c) A ∪ B = B ∪ A
d) A ∩ B = B ∩ A
a) A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∩ C) = (A ∩ B) ∩ C
a) A ∪ (A ∩B) = A
b) A ∩ (A ∪B) = A
a-. ) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
b-.) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
6- . Complementariedad:
a) A ∪ A' = U
b) A ∩ A' = ∅
a) A ∪ U = U
b) A ∩ U = A
a) A ∪ ∅ = A
b) A ∩ ∅ = ∅
9. Leyes de De Morgan
a) (A ∪ B)c = Ac ∩ Bc
b) (A ∩ B)c = Ac ∪ Bc
Ejercicios:
a). A– (B ∩ C) = (A – B) ∪ (A – C)
b). A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)