Tarea #1 Fundamentos de Informtica I a La pesadilla de Euclides

Luis Len Barrera o 201073036-0 21 de abril 2011

Demostraciones
1. Demuestre por induccin que n N, n 13, n2 < o Demostracin: o Primero debemos probar o vericar que la proposicin dada sea cierta para n=13: o
13 3 n . 2

132 <

3 2

169 < 194, 61

Por lo que podemos ver, la proposicin es verdadera para n=13. o Ahora suponemos que la proposicin es cierta para n=k: o

k2 <

3 2

, k 13.

Para demostrar que la induccin es verdadera, debemos probar que la proposicin es cierta para n=k+1, es o o decir: (k + 1)2 < 3 2
k+1

k 2 + 2k + 1 <

3 2

3 2
2 3

multiplicamos a cada lado por: 2 (k 2 + 2k + 1) < 3 3 2

k

Ahora tenemos (por hiptesis): o 2 2 4 2 k + k+ < 3 3 3 3 2

k

2 2 4 2 k + k + k 2 / 3 = 2k 2 + 4k + 2 3k 2 3 3 3

Entonces se tiene que cumplir: k 2 + 4k + 2 0. As la proposicin es cierta para n=k+1, y en efecto tenemos o que: 2k 2 + 4k + 2 3k 2 k 2 4k + 2 0 Segn nuestra hiptesis k > 13,por lo que k 2 4k + 2 siempre ser mayor que 0. u o a (k + 1)2 < 3 2
k+1

V.Con lo que queda demostrado que la proposicin es verdaderak N, k > 13 o

2. Demuestre por induccin que si x 0, entonces n N, (1 + x)n 1 + xn . o Demostracin: o Primero debemos probar que la proposicin se cumpla en n=1: o (1 + x)1 1 + x1 = 1 + x 1 + x Como vemos la proposicin es verdadera para n=1. Ahora suponemos que la proposicin es verdadera para o o n=k. (1 + x)k 1 + xk , k 0 Luego debemos demostrarla para n=k+1: (1 + x)k+1 1 + xk+1 Entonces: (1 + x)k (1 + x) 1 + xk+1 (1 + x) (1 + x)k = 1 + xk + x + xk+1 Luego tenemos: (1 + x)k+1 1 + xk+1 + xk + x 1 + xk+1 Por lo tanto tenemos que: (1+x)k+1 1+xk+1 V.Con lo que queda demostrado que la proposicin se cumple y es verdadera k N, k 0. o 3. Demuestre por reduccin al absurdo que si m y n son enteros tales que n + n2 + n3 = m + m2 , entonces n es o par. Demostracin: o Sean m y n enteros tales que n + n2 + n3 = m + m2 , entonces n es impar. Si n es impar entonces n2 y n3 tambin lo son, ya que la suma de cifras impares tambin es impar, y una potencia es k n1 veces la suma de e e dicho nmero sumado por s mismo. Tambin, en el caso de m, independiente de si es par o impar, la suma u e de m + m2 ser par. Por lo tanto como n es impar: a n + (n2 + n3 ) = m + m2 par + impar = par Lo que nos lleva a una contradiccin. o n es par. 4. (Pequeo repaso de Lgica) Traduzca las especicaciones expuestas a continuacin como frmulas preposin o o o cionales, utilizando las siguientes deniciones: L ::= sistema de archivos bloqueado Q ::= nuevos mensajes son puestos en cola B ::= nuevos mensajes son enviados al bfer de mensajes u 2

N ::= sistema funcionando normalmente a) Si el sistema de archivos no est bloqueado, nuevos mensajes sern puestos en cola. a a b) Si el sistema de archivos no est bloqueado, nuevos mensajes sern enviados al bfer de mensajes. a a u c) Si el sistema de archivos no est bloqueado, el sistema est funcionando normalmente y, a la inversa, si a a el sistema est funcionando normalmente, entonces el sistema de archivos no est bloqueado. a a d ) Si nuevos mensajes no son puestos en cola, entonces sern enviados al bfer de mensajes. a u e) Nuevos mensajes no son enviados al bfer de mensajes. u Desarrollo: a) L = Q b) L = B c) L N d ) Q = B e) B 5. (Continuacin ejercicio anterior) Diremos que la especicacin es consistente si hay una sola opcin de valores o o o de verdad para las variables L, Q, B y N , tal que cada una de las frmulas preposicionales de la parte anterior o son verdaderas. Si las cinco declaraciones son verdaderas para alguna asignacin de valores de verdad a las o variables, entonces el sistema es consistente. Si para cada una de las 16 posibles asignaciones de verdad, al menos una de las declaraciones es falsa, el sistema es inconsistente. Utilice demostracin por casos para o encontrar las asignaciones de verdad que conrman que esta especicacin de sistema es consistente. Explique o por qu slo hay una asignacin que cumple con sto. e o o e Desarrollo: Para que el sistema sea consistente, todas las proposiciones deben ser verdaderas. 1. L = Q V 2. L = B V 3. L V 4. Q = B V 5. B V Tenemos que: B V B F Luego: L = F V L F LV Q = F V Q F QV (V N V ) (F N ) V N F Como B tiene un slo valor asignado, el resto dependen de esta. Existe una sola asignacin para que las o o proposiciones sean verdaderas. A L TEX 2 3