NOMBRE: IVON ARCE MORALES

CARRERA: LICENCIATURA INFORMATICA ADMINISTRATIVA

NIVEL: QUINTO CUATRIMESTRE

MATERIA: ADMINISTRACION DE CENTRO DE COMPUTO

PROFESOR: LI GABRIEL FLORES GONZALEZ

PROYECTO: INDUCCION MATEMATICA

Tabla de contenido

Introduccin... Desarrollo Conclusiones.. Bibliografa.. Anexos

3 4 8 9 10

Introduccin

En matemticas, la induccin es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposicin que depende de un parmetro valores enteros. que toma una infinidad de

La demostracin por induccin completa es, en realidad, el desarrollo de un proceso de deduccin. El nombre que le damos se debe a una similitud aceptada con los procesos de induccin de las ciencias naturales.

Induccion Matematica La induccin matemtica es un mtodo de demostracin que suele ser muy til en problemas en los que se trata de probar que todos los nmeros naturales (1, 2, 3...) cumplen una cierta propiedad: consta de dos pasos:
1. Primero, se demuestra que el 1 cumple la propiedad. 3

2. A continuacin, se supone que la propiedad es verdadera para un cierto nmero n (arbitrario) y se demuestra para el nmero siguiente, el n+1.

Si se consigue, esto demuestra la propiedad que queramos para todos los nmeros naturales, de forma parecida a las filas de fichas de domin cuando caen: hemos demostrado que la primera ficha (el 1) cae (primer paso), y que si cae una ficha tambin debe caer la siguiente (si es cierta para n, debe serlo para n+1, segundo paso). La idea de la induccin es muy clara: si un nmero cumple algo, y si cuando un nmero lo cumple el siguiente tiene que cumplirlo, entonces todos los nmeros lo cumplen. Este mtodo es mucho ms general de lo que pueda parecer a primera vista; si queremos, por ejemplo, demostrar una propiedad para todos los nmeros pares, no tenemos ms que aplicar la induccin a la afirmacin "el nmero 2n cumple la propiedad, para todo natural n", que se refiere a todos los nmeros naturales y es equivalente a la inicial. De la misma forma, la induccin es til para demostrar algo sobre una cantidad finita de cosas porque la misma idea de las fichas de domin es aplicable; en este caso se suele llamar "induccin finita", y es un caso particular de la induccin que se ha explicado arriba. Pueden, de manera similar, demostrarse afirmaciones del tipo "todos los nmeros a partir del 8 cumplen tal cosa", y stos son slo ejemplos simples. El mtodo de induccin es a la vez muy potente y muy intuitivo, y puede aplicarse en una gran variedad de problemas. Demostracin matemtica
Una demostracin matemtica es un razonamiento realizado con una lgica vlida

que progresa a partir de ideas que se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de la tesis formulada.[1] Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso.
Aunque en general no existe un procedimiento nico de demostracin de tesis, s

existen diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin (formalizado y utilizado en los silogismos por

Aristteles)
Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y,

como caso particular, descenso infinito

Induccin matemtica

Induccin fuerte

Por otra parte, a pesar del alto grado de intervencin humana necesario para hacer una demostracin, tambin existen tcnicas computacionales que permiten hacer demostraciones automticas, notablemente en el campo de la geometra euclidiana. Axioma A veces se compara a los axiomas con semillas, porque de ellos surge toda la teora de la cual son axiomas. Un axioma es una premisa que se considera evidente y se acepta sin requerir demostracin previa. En un sistema hipottico-deductivo es toda proposicin no deducida (de otras), sino que constituye una regla general de pensamiento lgico, por oposicin a los postulados.1 En matemtica, un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de las consideradas verdades evidentes, porque permiten deducir las dems frmulas. En lgica matemtica un postulado es una proposicin no necesariamente evidente: una frmula bien formada (planteada) de un lenguaje formal utilizada en una deduccin para llegar a una conclusin. En matemtica se distinguen dos tipos de proposiciones un teorema es una frmula bien formada, que no es un axioma, y que puede ser el elemento final de alguna demostracin, es decir, un teorema es una frmula lgica bien formada para la cual existe una demostracin. el silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin. La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio verdadero (conclusin).

Cuantificadores En lgica, teora de conjuntos y matemticas en general, los cuantificadores son smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad

TIPOS DE CUANTIFICADORES
5

El cuantificador universal indica que algo es cierto para todos los individuos. Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x, escribiremos (x) A. Cuantificador Existencial La cuantificacin existencial de P(x) Es la proposicin en que existe un elemento x en el universo de discurso tal que P(x) es verdad. Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal que), hay al menos un x tal que o para algn x. EJEMPLOS: Todos los humanos respiran ( x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es un elemento de un dominio general que podra ser el de las personas o cualquier subconjunto deseado. Todos los alumnos son estudiosos ( x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un elemento de un dominio general que podra ser el de las personas o cualquier subconjunto deseado. Ejemplo 2 Cuanticadores Frase en lenguaje natural Algn venezolano es medallista olmpico Se traduce en: Existe al menos un venezolano que cumple con la condicin de ser medallista olmpico Las variables Existe al menos un venezolano x que cumple la condicin que x es medallista olmpico

Conclusin

En conclusin la induccin es vlida por la construccin misma del conjunto de los naturales mediante los axiomas de Peano. De hecho, la induccin imita la construccin del conjunto: 0 es un natural, y, si n lo es, entonces n+1 (sucesor de n) lo es tambin.

Existen otras inducciones, para otros conjuntos elaborados de forma distinta, como por ejemplo la induccin transfinita, y la induccin sobre las frmulas de la lgica proposicional.

Adems de la Demostracin por Induccin, existe la definicin o construccin por induccin.

7

Bibliografa

http://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica http://funciongamma.com/tag/induccion-matematica/

EJEMPLOS ANEXOS

Problema 1. Demostrar que si es un nmero entero positivo, entonces Solucin: a) Primeramente, si cierta. entonces: y como

es mltiplo de .

se tiene que la afirmacin es

b) Asumimos como hiptesis de induccin que . En efecto:

, y debemos demostrar que

con

, por la hiptesis de induccin.

Aplicando Binomio de Newton: ; para algn

10