UNIVERSIDAD NACIONAL DE INGENIERIA

Facultad de Ingeniera Industrial y de Sistemas

REA DE CIENCIAS BSICAS
CURSO : CALCULO DIFERENCIAL CICLO : 2010-I
CODIGO :
CB-121
DOCENTE :
L. ALVARADO, A. HUAMAN , R. VASQUEZ
FECHA : 21 .04.2010
1.- a) Simplificar:
[ ] [ ] { } { }
[ ] [ ] { }
( ) ( ) ( ( ) ( ) p q p q q p q p q p q p q p
b) Determinar si es una implicacin
P Q

donde
( ) ( ) ( )
P r q p q p r

( ) ( ) ( )
Q p r q r p q

2.- a) Para ( ) ( ) ( ) ( )
M A B C D E A B C D E =

( ) ( ) ( ) ( )
N A B B A A B A B

=



Demostrar Que ( )
M N B
b) Determinar el valor de verdad, ustificando
( ) ( ) ( )
A B C A B A C =
!.- "sando elementos, demostrar #ue
a) Si
A B C
entonces ( ) ( )
$ A BUC B AUC
b)
( ) ( ) ( ) P A P B P A B
%.- Sean
1 2
, ,...
n
A A A subconuntos no vac&os de un conunto universal tal #ue se puede
definir

1 1
M A =

2 2 1
M A A =

M
( )
1 2 1
...
n n n
M A M M M

= . Demostrar #ue
( )
( )
i i
P M P A 1,..., i n =
'ictoria
PRCTICA CALIFICADA N 1