Instituto del Profesorado CONSUDEC

Profesorado de Matemtica
Algebra III - 2012

- 1 -
Trabajo Prctico 1
Teora de Conjuntos I


1. a. Dado { } c b a A , , , 3 , 2 , 1 = analiza el valor de verdad de las siguientes
proposiciones:
{ } {} { } A A A A a A A A . e e e e c e 2 , 1 vii) vi) 1 v) iv) 4 iii) 2 ii) 1 i) o
b. Sea A [ P = { } 7 , 3 , 2 ] = { } { } 7 , 3 , 2 / _ X X (conjunto de partes).
Escriba el conjunto A por extensin y analice el valor de verdad de las siguientes
proposiciones:
{ } { } { }
{ } { } { } A A A A
A A A A
c c e e
c e e e
2 viii) vii) vi) 2 , 1 v)
2 iv) 7 , 3 iii) 2 ii) 2 i)
o o



2. Analiza la verdad o falsedad de las siguientes afirmaciones (entendiendo {a,b}
como par desordenado y (a,b) como par ordenado:
a) ) ; ( b a _ o c) ( ) b a a , _ e) { } ( ) b a a , e g) {{a}} es un par ordenado
b) ) ; ( b a e o d) ( ) b a a , e f) { } ( ) b a a , _ h) {a} es un par ordenado


3. Analiza la verdad o falsedad de las siguientes afirmaciones. Justifica.
a. { } ) 1 ; 0 ( 1 ; 0 _ e) Z _ ] 1 ; 0 [
b. ] 1 ; 0 [ ) 1 ; 0 ( _ f) y 4 / t pertenecen a { } 1 ; 0
c. { } ] 1 ; 0 [ 1 ; 0 _ g) y 4 / t pertenecen a ] 1 ; 0 [
d. { } Z _ 1 ; 0


4. Demuestre las siguientes leyes del lgebra de conjuntos:
a. Leyes conmutativas:

=
=
A B B A
A B B A


b. Leyes asociativas:

=
=
C B A C B A
C B A C B A
) ( ) (
) ( ) (


c. Leyes distributivas:

=
=
) ( ) ( ) (
) ( ) ( ) (
C A B A C B A
C A B A C B A



d. Leyes de idempotencia:

=
=
A A A
A A A


Instituto del Profesorado CONSUDEC
Profesorado de Matemtica
Algebra III - 2012

- 2 -
e. Leyes de identidad:

=
=
=
=
A U A
A
U U A
A A
o o
o


f. Complementacin doble: A A =


g.

=
=
o A A
U A A


h. Leyes de De Morgan:

=
=
B A B A
B A B A



5. Demuestra que
a. A A _
b. Si B A _ y C B _ entonces C A _
c. B A B A _ ) (
d. B A A A B A _ . _
e. ( ) ) ( ) ( C B A C B B A _ _ . _
d. A B B A _ _


6. Analice el valor de verdad de las siguientes proposiciones. Justifique cada
respuesta.
a. B A B A B A = _
b. B B A = ) ( o
c. B B A B A = c ) (o
d. C B C A B A = A = A
e. B A B A _ ) (
f. B A B B A _ ) (
g. ( ) ) ( ) ( C B C A B A _ _
h. ( ) ) ( ) ( C B C A B A _ _