Universidad de San Carlos de Guatemala Facultad de Ingenier a

Matem atica para Computaci on 1 Secci on B

Departamento de Matem atica Segundo Semestre 2011

Clave Segundo Examen Parcial Tema 1 (25 puntos). Demuestre por inducci on matem atica que 1 2 3 + 2 3 4 + + n(n + 1)(n + 2) = Demostraci on. i) (Caso base) Mostraremos que con n = 1 la proposici on anterior se cumple. En efecto 1(1 + 1)(1 + 2) = 1 2 3. 1(1+1)(1+2)(1+3) Por otro lado = 1 2 3, de donde se sigue que 1(1 + 1)(1 + 2) = 1(1+1)(1+2)(1+3) 4 4 ii) (Hip otesis de inducci on) Sup ongase que la proposici on es cierta para alg un k N, es decir, que se cumple lo siguiente: k (k + 1)(k + 2)(k + 3) 1 2 3 + 2 3 4 + + k (k + 1)(k + 2) = 4 iii) Ahora mostraremos que la proposici on se cumple para k + 1. Por hip otesis se inducci on se tiene: 1 2 3 + + k (k + 1)(k + 2) + (k + 1)(k + 2)(k + 3) = k (k + 1)(k + 2)(k + 3) + (k + 1)(k + 2)(k + 3) 4 k =(k + 1)(k + 2)(k + 3) +1 4 k+4 =(k + 1)(k + 2)(k + 3) 4 (k + 1)(k + 2)(k + 3)(k + 4) = 4 n(n + 1)(n + 2)(n + 3) 4

Con lo que concluye la demostraci on.

Tema 2. D e una operaci on entre los conjuntos A, B y C tal que represente a las areas sombreadas del siguiente diagrama de Veen. Justique su respuesta.

Universidad de San Carlos de Guatemala Facultad de Ingenier a

Matem atica para Computaci on 1 Secci on B

Departamento de Matem atica Segundo Semestre 2011

Soluci on. Aseguramos que una de las expresiones1 que dibuja el diagrama de venn es: ((A B ) C ) (A B C ) (1)

Vamos a ir probando por partes que este esquema dibuja lo pedido. Primero vemos que el diagrama de venn de A B es:

Adem as por lo visto en clase sabemos que (A B ) C tiene el siguiente diagrama de venn:

Y como A B C que es la intersecci on dibuja la parte del medio al hacer la uni on se tiene

Figura 1: ((A B ) C ) (A B C ) Con lo cual concluye el ejercicio.

1 Decimos que es una de las expresiones ya que se pueden construir varias expresiones que son equivalentes a la que en este solucionario se da

Universidad de San Carlos de Guatemala Facultad de Ingenier a

Matem atica para Computaci on 1 Secci on B

Departamento de Matem atica Segundo Semestre 2011

Tema 3. a) Escriba una proposici on abierta cuanticada que exprese el siguiente hecho verdadero para los n umeros reales. Todo n umero real tiene un inverso aditivo. b) Escriba la negaci on simplicada de la proposici on planteada en a) Demostraci on. 0 a) La forma de escribir dicha proposici on es x Ry R que cumple p(x, y ) donde p(x, y ) : x + y =

b) La negaci on de esta proposici on es simple: x R tal que y R no se verica p(x, y ) Tema 4. Demuestre que para cualquier entero n, si n2 es impar, entonces n es impar. Demostraci on. Sabemos por hip otesis que n2 es un n umero impar, es decir, que existe un n umero entero k tal que 2 n = 2k + 1, lo cual es equivalente a decir n2 1 = 2k , factorizando el miembro izquierdo de la u ltima ecuaci on se obtiene (n + 1)(n 1) = 2k . De la u ltima ecuaci on se concluye que alguno de los dos factores (n + 1) o (n 1) es par. En cualquiea de los casos anteriores se concluye que n es impar, ya que al sumarle o restarle uno a un n umero par se obtiene un impar. Tema 5. Demuestre que para cualesquiera conjuntos A, B, C, D U , la siguiente igualdad es verdadera de las siguientes maneras: a) Usando una tabla de pertenecia b) Usando las propiedades de los conjuntos. [A (B C )] [A (B D)] = A [B (C D)] Demostraci on. Se har a primero el inciso b. Pasos 1) A [B (C D)] 2) A [B (C D)c ] 3) A [B (C c Dc )] 4) A [B C c Dc ] 5) A [B C c B Dc ] 6) A [(B C ) (B D)] 7) [A (B C )] [A (B D)] Razones Premisa A B = A Bc Leyes de DeMorgan Asociatividad de la intersecci on A B = A B B y Conmutatividad de A B = A Bc Distibutividad de respecto

b)

a) Se proceder a a hacer la tabla de pertenencia como sigue:

Universidad de San Carlos de Guatemala Facultad de Ingenier a

Cuadro 1: Tabla de verdad

Matem atica para Computaci on 1 Secci on B

A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0

B 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0

C 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1

D 1 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0

BC 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0

BD 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0

P = A (B C ) 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0

Q = A (B D) 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0

P R 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0

C D 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1

S = B (C D ) 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0

AS 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0

Departamento de Matem atica Segundo Semestre 2011