UNIVERSIDAD MAYOR DE SAN SIMON

Facultad de Ciencias y Tecnología F Departamento de Matemáticas

Prof.: Mgr. A. Carrasco C. Fecha: 2 de abril de 2024

PRIMER EXAMEN DE ÁLGEBRA I

*En cada página de su examen debe escribir los siguientes datos:

A.Paterno/A.Materno/Nombres: ................................/................................./..............................
:
Carrera/ Código SIS /Firma ................................/................................./..............................

1. (16 puntos) (i) Simpli…car la siguiente expresión lógica

[(p^ q) ) p] _ [( q_ p) ) (p ) q)]
(ii) gra…car el circuito óptimo asociado.
Solución:
[ (p^ q) _ p] _ [ ( q_ p) _ ( p _ q)]
[( p _ q) _ p] _ [(q ^ p) _ ( p _ q)]
[( p_ p) _ q] _ f[(q ^ p) _ q] _ pg
( p _ q) _ (q_ p)
p _ q _ q_ p
p_q

2. (16 puntos) La siguiente es una equivalencia?

[p ) (q ) r)] ) [ r)( q_ p)] p ^ q^ r
Prueba: Una forma: Tabla

1
de donde se sigue que [p ) (q ) r)] ) [ r ) ( q_ p)] p ^ q^ r:
Otra forma:
[p ) (q ) r)] ) [ r ) ( q_ p)]
[ p_( q _ r)] _ [r _ ( q_ p)]
[p ^ (q^ r)] _ [ r ^ (q ^ p)]
[p ^ q^ r] _ [ r ^ q ^ p] p ^ q^ r

3. (16 puntos) Muestre el siguiente razonamiento de forma directa:

P )Q
1.
Q) R
2.
R
3.
P _ (T ^ S)
4.
___________
)S

Prueba:
5. P ) (T ^ S) equivalencia de la implicación en 4.
6. Q Modus Tolens entre 3. y 2.
7. P Modus Tonens entre 6. y 1.
8. T ^ S Modus Ponens entre 7. y 5.
9. S Simpli…cación en 8.
4. (16 puntos)Muestre el siguiente razonamiento de forma indirecta:

T ) (R ) Q)
1.
P _T
2.
R
3.
__________
)P )Q

Prueba:
4. (P ) Q) P ^ Q tesis contraria.
5. P ) T equivalencia de la implicación en 2.
6. P Simpli…cación en 4.
7. T Modus Ponens entre 6. y 5.
8. R ) Q Modus Ponens entre 7. y 1.
9. Q Modus Ponens entre 8. y 3.
10. Q Simpli…cación en 4.
11. Q^ Q Adición2 entre 10. y 9.()()
5. (20 puntos) Pruebe por inducción:
5 7 9 2n + 3 3
+ + + + =1
1 2 3 2 3 32 3 4 33 n (n + 1) 3n 3n+1 (n + 1)
5 7 9 2n+3 3
Prueba: Sea P (n) : 1 2 3
+ 2 3 32
+ 3 4 33
+ + n(n+1)3n
=1 3n+1 (n+1)

2
 (i) P (1) : 1 52 3 = 1 323(2) = 56 y es cierta.
(ii) Suponemos la suma para n = k :
5 7 9 2k + 3 3
+ + + + =1
1 2 3 2 3 32 3 4 33 k (k + 1) 3k 3k+1 (k + 1)
vamos a mostrar que el aún cierta para n = k + 1 :
5 7 9 2 (k + 1) + 3 3
+ + + + =1
1 2 3 2 3 32 3 4 33 (k + 1) (k + 1 + 1) 3k+1 3k+1+1 (k + 1 + 1)
5 7 9 2k + 5 3
+ + + + =1
1 2 3 2 3 32 3 4 33 (k + 1) (k + 2) 3k+1 3k+2 (k + 2)
En efecto:
5 7 9 2k + 3 2k + 5
= + + + + + =
1 2 3 2 3 32 3 4 33 k (k + 1) 3k (k + 1) (k + 2) 3k+1
| {z }
3 2k + 5 2k + 5 3 (k + 2)
=1 + =1+ =
3k+1
(k + 1) (k + 1) (k + 2) 3k+1 (k + 1) (k + 2) 3k+1
k 1 1 3 3
=1+ = 1 = 1 = 1 :
(k + 1) (k + 2) 3k+1 (k + 2) 3k+1 (k + 2) 3k+1 3 (k + 2) 3k+2

6. (16 puntos) Pruebe por inducción:

34n+2 + 52n+1 es divisible por 14
Prueba: Sea P (n) : 34n+2 + 52n+1 es divisible por 14
(i) P (1) : 34+2 + 52+1 = 854 = 61 14 es divisible por 14.
(ii) Suponemos que la propiedad es correcta para n = k :
34k+2 + 52k+1 = 14a; a2N
Vamos a mostrar que la propiedad es aún correcta para n = k + 1 :
34(k+1)+2 + 52(k+1)+1 = 14b; b2Z
34k+6 + 52k+3 = 14b; b2Z
En efecto:
34k+6 + 52k+3 = 34k+2 34 + 52k+3 = 14a 52k+1 34 + 52k+3 =
= 14a 34 + 52k+1 52 34 = 14a 34 52k+1 56 =
= 14a 34 52k+1 14 4 = 14 81a 4 52k+1 = 14b; b2Z
4k+2 2k+1
donde se uso la hipótesis de inducción: 3 = 14a 5 ; a 2 N: