LOGICA CONJUNTOS Y GRAFOS

FELICIA AURORA DAZA RODRIGUEZ DIANA PRUDENCIA MIER BARBOSA JESS MANUEL LOBO VELASQUEZ ERIC JIMENEZ SANTODOMINGO BRAYAN MONTERO ARVALO

UNIVERSIDAD POPULAR DEL CESAR FACULTAD DE INGENIERIA Y TECNOLOGIA INGENIERIA DE SISTEMAS LOGICA MATEMATICA VALLEDUPAR 2011

LOGICA CONJUNTOS Y GRAFOS

FELICIA AURORA DAZA RODRIGUEZ DIANA PRUDENCIA MIER BARBOSA JESS MANUEL LOBO VELASQUEZ ERIC JIMENEZ SANTODOMINGO BRAYAN MONTERO ARVALO

PROFESOR ISIDORO GORDILLO GALVIS

UNIVERSIDAD POPULAR DEL CESAR FACULTAD DE INGENIERIA Y TECNOLOGIA INGENIERIA DE SISTEMAS LOGICA MATEMATICA VALLEDUPAR 2011

INTRODUCCION

Este trabajo es de gran importancia porque en l se encuentran una serie de ejercicios a de induccin matemtica que definen y comprueban de una manera muy concisa lo que es la induccin que es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro n que toma una infinidad de valores enteros

EJERCICIOS

EJERCICIO 1 Determine que la formula toda . Determine el valor de Compruebo ( ) ( ) y de un se cumple para

( ( )

Determino para un valor de ( Entonces (

( )

)
(( ) ) ( ) ( ( ) )

( ( (

) ) )

(( (( ((

) ) )

) ) ) (

( (

EJERCICIO 2 Consideramos un ejemplo con desigualdades. Determine todos los nmeros naturales para los cuales:

Solucionamos La frmula no es vlida para Para se tiene que es verdadera. , con ;

Supongamos que la desigualdad es vlida para esto es : Por demostrar que la desigualdad es vlida para ( ) En efecto:
( ) ( )( ) ( )

, es decir que

Luego

; y por lo tanto

EJERCICIO 3 Si llamamos ( ) ( ) para cada entonces aplicando nuestro procedimiento formal, tenemos que definir el conjunto * ( ) +, y verificar si este conjunto Por demostrar que F (1) es verdadera, es decir 1 porque, ( ) Supongamos que ( ) es verdadera, es decir, ( S. Esto se verifica

,y )( )

Por demostrar que F(n + 1) es verdadera, es decir por demostrar que (n + 1) S En efecto ( )( ) Luego, N = S y F(n) es verdadera (n; n N), es decir, ( ) ( ) ( ) ( )( )

Podemos responder en forma alternativa, con lo que hemos aprendido: ( ) ( ) ( ) ( ( )

EJERCICIO 4 Determine para qu valores de 2^n > n^2 + 4n + 5 Al examinar los valores de nos damos cuenta que la desigualdad es incorrecta, pero si es verdadera para , por lo que podemos intentar demostrar por el mtodo de Induccin Incompleta que para todos los valores de , la desigualdad es verdadera. Si n = 7, obtenemos es verdadera la desigualdad

osea, cuando n = 7 la desigualdad es correcta. Se supone que la desigualdad es verdadera para un cierto valor de n = k, o sea,

Finalmente a partir de la hiptesis inductiva, se desea probar la Tesis dada por ( ) >( ) ( ) Al multiplicar la desigualdad dada en la hiptesis inductiva por 2, obtenemos ( ) > Transformando el segundo miembro de esta desigualdad obtenemos
( )

>(

) + ( (

) para todo , podemos ) , obteniendo lo que se

Teniendo en cuenta que deducir que ( ) >( ) requera demostrar.