Академический Документы
Профессиональный Документы
Культура Документы
1.1 Logica
Problema 1: Demostrar que las siguientes proposiciones logicas son tautologas.
1-1
Gua de Problemas 1: 24 de Abril, 1996 1-2
siguientes proposiciones:
1. (9x 2 IR)(8y 2 IR)(x < y) .
2. (8x 2 IR)(8y 2 IR)(x y) .
3. (9x 2 IR)(8y 2 IR)(x > 1 ^ y 1) .
4. (8 2 IR )(9n 2 IN )(8n > n )(janj < ) .
+ 0 0
1.2 Conjuntos
Problema 1: Sean A; B; C conjuntos, probar que:
1. (A n C ) [ (B n C ) = (A [ B ) n C .
2. (A n B ) \ (A n C ) = A n (B [ C ) .
Gua de Problemas 1: 24 de Abril, 1996 1-3
3. (A n C ) n (B n C ) = (A n B ) n C .
1. A B C =) C n (B n A) = A [ (C n B ) .
2. (A [ B [ C ) \ B = (A n B c) [ B [ (C n B c) .
3. [B = (A \ B c) [ (Ac \ B )] () (A = ;) .
Problema 4: Sean A; B
conjuntos. Colocar el signo de inclusion, igualdad o
ninguno de ellos, segun corresponda, entre los conjuntos siguientes:1
1. P (A [ B ) y P (A) [ P (B ) .
2. P (A \ B ) y P (A) \ P (B ) .
3. P (Ac) y (P (A))c .
4. [(X 2 M ) ^ (Y 2 M )] =) [(X n Y ) [ (Y n X )] 2 M .
Problema 8: Sea S un conjunto de numeros reales o puntos del eje real. Se dice
que P es un punto aislado de S si existe un numero real positivo d tal que para todo
punto Q 2 S la distancia PQ entre P y Q es mayor o igual a d.
1. Escribir la denicion de puntos aislados usando cuanticadores.
2. Demostrar que si P 2 S entonces P no es punto aislado de S .
3. Sea S = f1; 1=2; 1=3; 1=4; : : :g probar que el origen no es un punto aislado de S .
X
n
( 1)k (2k + 1) = n, para todo n 1, y determinar el valor de la const. .
2
1.
k =1
Problema 3:
1. Evaluar, 1 1993
2!
+
1993 1992
3!
1993 1992 1991
4!
+ 1993!
1994!
.
Gua de Problemas 1: 24 de Abril, 1996 1-5
2. Demuestre (sin hacer uso de induccion) que para todo numero no-negativo n,
! !
X
n
n 2
= 2n :
k =0
k n
i=1
Fn = Fn + Fn
+1 1 si n 1 :
Probar que,
Fn = p1 (n +1
0n ) ;
+1
5
donde y 0 son las races de la ecuacion de segundo grado: x = x + 1. 2
Problema 6: Encuentre
! formulas cerradas para las siguientes sumatorias:
Xn
2k + 1 X
n
n 1
k =1
k (k + 1) , y k
2 2
=0
k k+1 .