La lògica de la programaciòn es la descomposición de programas en sus componentes lógicos y sus componentes de control. Estos componentes determinan la solución del problema, por eso los componentes de control pueden variar para proporcionar alternancia de ejecución de un programa lógico. Estos conceptos son capturados con el eslogan Algoritmo= lógica + control. donde "lógica" representa un programa lógico y "control" diferentes estrategias de demostración del teorema.
