Teoría Simbolista de Educación Matemática Pura (TSEMP) y la Enseñanza Formal de Tablas de Verdad, Conectivas y Leyes Lógicas

Este documento desarrolla, con orientación formalista y rigor deductivo, una propuesta amplia para la enseñanza de la lógica proposicional desde la Teoría Simbolista deEducación Matemática Pura (TSEMP). El énfasis principal recae en la construcción sistemática de tablas de verdad, el dominio estructural de las conectivas lógicas y la demostración rigurosa de las leyes lógicas fundamentales que gobiernan el cálculoproposicional.La presente formulación se distingue explícitamente de una exposición booleana meramente algebraica, pues no se reduce a la teoría de compuertas ni a la manipulación de expresiones binarias como si fuesen simples operaciones mecánicas. Por el contrario, se enfatiza la lógica como sistema formal de inferencia, donde el objeto central no es el circuito ni la función booleana, sino la estructura de validez, la noción de tautología, la noción de contradicción, la equivalencia lógica y la deducción como fundamento de la matemática pura.Bajo el paradigma de la TSEMP, el estudiante es formado para operar simbólicamente dentro de un sistema cerrado de reglas, interiorizando el lenguaje formal como condición necesaria para el pensamiento matemático riguroso.