Enseñanza del Álgebra Booleana desde la Teoría de la Simbolización y Enseñanza Matemática Pura en un Contexto Axiomático Universitario

El presente artículo desarrolla un análisis teórico y didáctico de la enseñanza del álgebra booleana desde la Teoría de la Simbolización y Enseñanza Matemática Pura (TSEMP), en el marco del curso de Matemática Discreta con Teorías Axiomáticas en la EFPEM–USAC. Se propone un enfoque en el cual la simbolización formal, la axiomatización y la demostración constituyen los ejes centrales del aprendizaje. A través de una reconstrucción epistemológica del álgebra booleana como estructura algebraica, lógica y categórica, se evidencia que la internalización del lenguaje simbólico permite el desarrollo de un pensamiento matemático estructural profundo, trascendiendo enfoques mecanicistas. Se incorporan demostraciones formales, conexiones con lógica proposicional, teoría de conjuntos y teoría de circuitos, así como implicaciones didácticas desde el Enfoque Ontosemiótico.