Este artículo tiene origen en la constatación del fracaso en los procesos demostrativos por parte de jóvenes estudiantes de la escuela secundaria superior, por lo menos en lo que respecta a las expectativas del profesor. Trabajos clásicos de Raymond Duval (1993, 1995) precisaron lo que en verdad significa aprender a demostrar. Además, otros trabajos, aunque con referencia solo a la geometría, confirmaron la dificultad que algunos estudiantes tienen en el uso de los cuantificadores (Durand-Guerrier, 1999). Incluso Pascal (1985) se dio cuenta que al hacer demostraciones, refiriéndose a…