LGEBRA 2001 Gabriel Rabanales R.

UNIVERSIDAD DE SANTIAGO DE CHILE LGEBRA 2001

FACULTAD DE CIENCIA INGENIERA CIVIL
DEPTO. MATEMTICA Y CIENCIA DE LA CURSO A 02
COMPUTACIN Prof. Gabriel Rabanales R.

CONTROL 1

1. Simplifique mediante lgebra de proposiciones:

{ [( p q ) ~ (r s )] [q (~ r ~ s )] } ( p q )
2. Calcule la siguiente sumatoria:

100
(k + 1) !
(k 1)! k (k 1)
k =1

3. Usando induccin matemtica demuestre que:

P ( n) : 32n 1 es divisible por 8 , n N

Solucin:
Problema 1

{ [( p q1) ~ (r s )] [q (~ r ~ s )] } ( p q )

{~ ( p q ) ~ ( r s ) ~ q ( ~ r ~ s )} ( p q ) ( a b ) ( ~ a b )

{~ ( p q ) ~ ( r s ) ~ q ~ ( r s )} ( p q ) [ De Morgan]

~ ( p q ) ( r s ) ~ q ~ ( r s ) ( p q ) [ De Morgan]

~ ( p q ) ~ q ( r s ) ~ ( r s ) ( p q ) [Conm. y Asoc. ]

~ ( p q ) ~ q T ( p q ) ( a ~ a ) T

T ( a T ) T

1
LGEBRA 2001 Gabriel Rabanales R.
Problema 2
100 ( k + 1) ! 100

k =1 ( k 1) !
k ( k 1) = k ( k + 1) k ( k 1)
k =1
100
= k ( k + 1 k + 1)
k =1
100
= 2k
k =1
100
= 2 k
k =1

100*101
=2 = 10100
2
Problema 3
P ( n) : 32 n 1 = 8 q(n) , n N
(i) Verificamos para n = 1:

32 1 = 8 q(1)

P(1): 8 = 8 q (1) , existe q(1) = 1 en N

8 = 8 1
8=8

Luego, P(1) es verdadera.

(ii) (a) Hiptesis de induccin: Suponemos que la proposicin es verdadera para n = k:

P(k ) : 32 k 1 = 8 q(k )

(b) Tesis de induccin: Por demostrar que la proposicin es verdadera para n = k+1:

P(k + 1) : 32 k + 2 1 = 8 q (k + 1)

(c) Demostracin:

32 k 1 = 8 q(k ) / 32
2k +2
3 9 = 8 q(k ) 9
32 k + 2 1 8 = 8 q(k ) 9
En la hiptesis:
32 k + 2 1 = 8 q (k ) 9 + 8
2k +2
3 1 = 8 [9 q(k ) + 1]
14243
N
2k +2
3 1 = 8 q (k + 1) P (k + 1) es verdadera
Entonces, de (i) y (ii) : P(n) es verdadera para todo n natural.