La inducción estructurada es un método de demostración utilizado en lógica matemática, teoría de los grafos, computación y otras áreas.