1)

A) Usar slo algebra de proposiciones (tautologas) para demostrar que

~ [(p q) (p q)] p

b) Se define el conectivo # por p#q = ~ [p q].

Demostrar que p#(p#q) es equivalente con p q

2) Usar slo algebra de proposiciones (tautologas) para demostrar que:

[(s-->q) (r-->p) (~s-->r)] < -- > (~q --> p)]

3) p --> r
~p --> q
q --> s
~ r --> s

4) 10n + 3x4n+2 + 5 es divisible por 9

5) Demuestre que:

6) Demuestre que para n10, n3 < 2n

7) Considere la sucesin (An) tal que a0 = 2,a1 = 3 y ak=3ak1 2ak2 , k 2

a) Determine el valor de a4 y a5
b) Demuestre que an = 2n +1 se cumple para todo valor de n en N {0}

8) Calcule el valor de:

9) Encuentre el valor

10)Determine el valor de
10) La suma de los tres primeros trminos de una P.A. decreciente es igual a 42; la suma del
cuadrado del primer trmino con el cuadrado del tercer trmino es igual a 554 Calcular la suma de
los primeros treinta trminos de la P.A.

11) Determine tres nmeros enteros consecutivos tal que al dividir el triple del nmero mayor por
el numero menor se obtiene un numero que es igual a 12 5 del numero intermedio

12) a) La suma de tres nmeros en PG. Es 70, si se multiplican los extremos por 4 y el del medio
por 5, resulta una Progresin Aritmtica. Hallar las progresiones. b) Determinar el valor de x de
modo que los nmeros: x, x 12, x 16 , formen una progresin armnica.