Inducción matemática

Índice.

Introducción________________________________________________

_______2

Inducción matemática_______________________________________________4

Deducción e inducción______________________________________________4

Conjuntos inductivos________________________________________________6

Método de inducción _______________________________________________8

Lógica depredicados_______________________________________________10

Función proposicional______________________________________________1

2

Cuasi proposiciones_______________________________________________

13

Cuantificadores_____________________________________________

______14

Cuantificación universal_____________________________________________15

Cuantificadorexistencial____________________________________________16

Conclusión__________________________________________________

_____17

Introducción.

En matemáticas, la inducción es un razonamiento que permite demostrar una infinidad de proposiciones, o una proposición que depende de un parámetro n que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguienterazonamiento:

Premisa mayor: El número entero a tiene la propiedad P.
Premisa menor: El hecho de que cualquier número entero n tenga la propiedad P implica que n + 1también la tiene.
Conclusión: Todos los números enteros a partir de a tienen la propiedad P.

Demostraciones por inducción.

El razonamiento para demostrar una proposición cualquiera mediante el esquema delrazonamiento es como sigue. Llamemos Pn a la proposición, donde n es el rango.

▪ Se demuestra que P0, el primer valor que cumple la proposición (iniciación de la inducción), es cierta.
▪ Se demuestra que si se asume Pn como cierta y como hipótesis inductiva, entonces Pn + 1 lo es también, y esto sin condición sobre el entero natural n(relación de inducción).
Luego, demostrado esto,concluimos por inducción, que Pn es cierto para todo natural n.

La inducción puede empezar por otro término que P0, digamos por Pno. Entonces Pn no será válido a partir del rango n0, es decir, para todo natural[pic].

Ejemplo:

Para todo[pic], 6n es un número que acaba en 6.

Sea Pn la proposición: «6n acaba en 6».
▪ Es claro que P1 es cierto, porque 61 = 6.
▪ Supongamosque Pn es cierto para un valor de n natural, y probemos Pn + 1.
Un entero acaba por 6 si se puede escribir así: 10a + 6, con a entero positivo o igual a cero. La hipótesis es, pues, 6n = 10a + 6.
Entonces 6n + 1 = 6(10a + 6) = 60a + 36 = 60a + 30 + 6 = 10(6a + 3) + 6 = 10c + 6, con c = 6a + 3, entero.
Esta última escritura prueba que 6n + 1 acaba por 6, o sea que Pn + 1 escierto.
Luego Pn es cierto para todo[pic].
La inducción es válida por la construcción misma del conjunto de los naturales mediante los axiomas de Peano. En este caso:

• 1 es un natural;
• Si n lo es, entonces n + 1 (sucesor de n) lo es también.
Existen otras inducciones, para otros conjuntos elaborados de forma distinta, como por ejemplo la inducción transfinita, y lainducción sobre las fórmulas de la lógica proposicional.

Además de la demostración por inducción, existe la definición o construcción por inducción. Por ejemplo, una sucesión aritmética puede ser definida como función de n: un = a + rn, o por inducción:

▪ u0 = a
▪ un + 1 = un + r.

Inducción matemática.

Deducción e Inducción.Cuando emitimos una afirmación o proposición podemos intentar clasificarla en el conjunto de las proposiciones generales, en donde interviene una afirmación del tipo de “para todo elemento de...”, o bien en el conjunto de las proposiciones particulares en donde la afirmación se refiere “al elemento tal de...”.

De la certeza de una proposición general se puede pasar a la certeza de las...