MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.

UNIVERSIDAD DE SANTIAGO DE CHILE

FACULTAD DE CIENCIA
DMCC
PRIMER CONTROL DE EJERCICIOS
MATGEN A-01 (A)
Santiago , 13 de abril de 2004
1) Demuestre que | es una tautologa, sin usar tablas
de verdad
| ) ( ) ( ) ( r p r q q p .
2) En un universo de 30 elementos se consideran los conjuntos A y B tal que
, n , n 6 ) ( = B A n 15 ) ( =
C
A 5 ) ( =
C
A B
Determine: a) b) c) ; usando un grfico adecuado y
tambin usando propiedades
) ( A n ) (
C
B n ) (
C C
B A n
3) Demuestre:
C C C
B A B A _ ) (
4) Demuestre, usando las propiedades de las operaciones entre conjuntos:
| | { } A A B A A A = ) (
Solucin.
1) | | ) ( ) ( ) ( r p r q q p . | | ) (~ ) (~ ) (~ ~ r p r q q p v v v . v
| | ) (~ ) ~ ( ) ~ ( r p r q q p v v . v .
( p | | ) (~ ) ~ ( ) ~ r p r q q v v . v .
( p | | ) ~ ( ) ~ ( ) ~ p r r q q v v . v .
p ( { } | | p r r q q ~ ) ~ ( ) ~ v v . v .
p ( { } | | p r r r q q ~ ) (~ ) ( ) ~ v v . v v .
p ( { } | | p I r q q ~ ) ( ) ~ v . v v .
| | p ( p r q q ~ ) ( ) ~ v v v .
| | ( p ) ( ~ ) ~ r q p q v v v .
| | p ( r q p q v v v . ) (~ ) ~
| | r q p q p v v v . ) (~ ) ~ (
| | r q p q p v . v . ) ~ ( ~ ) ~ (
I r I v
2 a) Como entonces de donde 15 ) ( =
C
A n 15 ) ( ) ( = A n U n 15 15 ) ( ) ( = = U n A n
2 b) Como entonces , falta determinar 5 ) ( =
C
A B n
=
5 ) ( ) ( = B A n B n
=
) ( B A n
De n obtenemos n , as, = 9, 6 ) ( B A 6 ) ( ) ( B A n A 6 ) ( ) ( = A n B A n
de obtenemos , finalmente 5 ) ( ) ( = B A n B n
C
14 9 5 ) ( 5 ) ( = + = + = B A n B n
n 16 14 30 ) ( ) ( ) ( = = = B n U n B
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.
.
.
1
MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.
2 c) ) (
C C
B A n | | ) ( ) ( ) ( B A n U n B A n
C
= =
| | ) ( ) ( ) ( ) ( B A n B n A n U n + =
10 ) 9 14 15 ( 30 = + =
3) Sea , debemos demostrar que ; vemoslo
C
B A x ) ( e
C C
B A x e
C
B A x ) ( e
C C
B x A x B x A x B A x e . e e . e e ) (
C C
B A x e
4) | | { } | | { } A B A A A A B A A A
C
= ) ) (
| | { }
C
C
A B A A A = ) (
| | { }
C C C
A B A A A = ) (
| | { }
C c C
B A A A A ) ( =
| | { }
C C C
B A A A A ) ( ) =
{ }
C C
B A A ) ( = |
A A = = |
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.
.
.
2