ÁLGEBRA

EJERCICIOS PROPUESTOS (Entrega 1)

1. Dados los conjuntos A, B, C ⊆ U , probar la siguiente igualdad aplicando las

leyes del álgebra de conjuntos:

( )
A − A ∩ B ∩Cc = A ∩ B ∩ Cc( )c
2. Sean los conjuntos A, B, C ⊆ U , tales que A ⊆ C . Demostrar la siguiente
igualdad mediante las leyes del álgebra de conjuntos:
c
 c


(c

) c c
((c
)(
 C ∪ A ∪ (B − A)  = ( A − A) ∩ C ∩ A − C ∩ B ∪ C
c
))
3. Sean A, B, C ⊆ U . Simplificar la expresión:

A ∪ (( A ∪ B) ∩ B) c ∪ ( A − B) ∪ ( A − C )

1
1. Dados los conjuntos A, B, C ⊆ U , probar la siguiente igualdad aplicando las
leyes del álgebra de conjuntos:

( ) (
A − A ∩ B ∩Cc = A ∩ B ∩ Cc )c
(
A − A∩ B ∩Cc = )
(
= A ∩ A ∩ B ∩Cc )c (Definición de diferencia)
 c
= A ∩  A c ∪ B c ∪ (C c )  (Morgan)
 

= A ∩ (A c ∪ B c ∪ C ) (Doble complemento)

= (A ∩ A c )∪ (A ∩ (B c ∪ C )) (Distributiva ∩/∪)

= ∅ ∪ (A ∩ (B c ∪ C )) (Intersección de
complementos)

( )
= A ∩ Bc ∪ C (Identidad ∅/∪)

= A ∩ (B ∩ C c )
c
(Morgan)

2
2. Sean los conjuntos A, B, C ⊆ U , tales que A ⊆ C . Demostrar la siguiente
igualdad mediante las leyes del álgebra de conjuntos:
c
 c


c
( 
)c c c
((
 C ∪ A ∪ (B − A)  = ( A − A) ∩ C ∩ A − C ∩ B ∪ C
c
)( ))
Se tiene que:
c
 c
c
(
 C ∪ A ∪ (B − A) 
 
) (( )(
= ( A − A) c ∩ C c ∩ A − C c ∩ B ∪ C c ))
Caracterización − Caracterización −
c
 c c


C ∪ A c
(∪ B ∩ A ( 

)) (
= A ∩ Ac )c ∩ ((C c ∩ A)− (C c ∩ B ))∪ C c
Absorción Intersección de complementos
c

C ∪ A

c
( )c  ((
= ∅c ∩ C c ∩ A − C c ∩ B ∪ C c )( ))
Doble complemento Complemento del ∅

(C ∪ A)c ((
= U ∩ Cc ∩ A − Cc ∩ B ∪Cc )( ))
Hipótesis A ⊆ C ⇔ C ∪ A = C Identidad ∩/U

Cc (( )(
= Cc ∩ A − Cc ∩ B ∪ Cc ))
Distributiva ∩/−

Cc (
= C c ∩ ( A − B) ∪ C c )
Absorción

Cc = Cc

3
3. Sean A, B, C ⊆ U . Simplificar la expresión:

A ∪ (( A ∪ B ) ∩ B ) c ∪ ( A − B ) ∪ ( A − C )

A ∪ (( A ∪ B ) ∩ B ) c ∪ ( A − B ) ∪ ( A − C )

A ∪ (( A ∪ B ) ∩ B ) c ∪ ( A − B ) ∪ ( A − C ) =

= A ∪ B c ∪ ( A − B) ∪ ( A − C ) (Absorción)

( ) ( )
= A ∪ Bc ∪ A ∩ Bc ∪ A ∩ C c (Definición de diferencia)

= B c ∪ A ∪ (A ∩ B c )∪ (A ∩ C c ) (Conmutativa)

= B c ∪ A ∪ (A ∩ C c ) (Absorción)

= Bc ∪ A (Absorción)