Resumen

En el presente artículo se realiza una descripción exhaustiva de un marco teórico desarrollado para el análisis de las justificaciones presentadas en los libros de texto. Este marco aglutina los conceptos de esquema de prueba, prueba preformal, funciones de la demostración y otros aspectos más generales de la demostración. Con este marco se analizan las justificaciones presentes en los teoremas de Rolle y del Valor Medio en seis libros de texto, dos de cada una de las leyes de educación siguientes: Ley General de Educación, Ley de Ordenación General del Sistema Educativo y Ley Orgánica de Educación. Se presentan los resultados en forma discusiva, se comenta la aplicabilidad y la utilidad del marco teórico. Finalmente, se presentan las conclusiones y los problemas abiertos que surgen de la esta investigación.