Siguiente: Inducción numérica Un nivel arriba: Conceptos básicos Anterior: Pruebas por contradicción

Inducción matemática

Este procedimiento de demostración de fórmulas cuantificadas universalmente, es decir, del tipo $\forall x\phi(x)$, verifica primero que se cumple $\phi$ para los casos llamados básicos, y después, suponiendo que se cumple para los casos anteriores, se verifica para un elemento típico x arbitrario. Este último paso es llamado ``inductivo''. Se concluye entonces que la fórmula $\phi$ vale para cualquier x. En la próxima sección veremos dos esquemas de inducción cuando el dominio de la variable x son los números naturales. En la sección subsiguiente veremos un esquema de inducción sobre conjuntos numerables definidos de manera recurrente.