Propuesta de enseñanza del método de los árboles de verdad en la corrección de argumentos

Resumen: En este trabajo busqué realizar una propuesta de enseñanza del método de los árboles de verdad para la lógica proposicional bivalente, como alternativa al método de las tablas de verdad, y obtener con dicho método las propiedades semánticas de una formula dada en el lenguaje proposicional d...