Análisis de la completitud de praxeologías estudiadas en la formación en lógica de estudiantes de profesorado en matemática

Abstract

La lógica es aquella ciencia que trata sobre el estudio de las formas de razonamiento, con el objetivo de proporcionar técnicas que permitan establecer si un argumento es válido o no (Castillo y Pinta, 2015). En particular, la lógica matemática, y más específicamente el cálculo proposicional (en adelante CP) y el cálculo de predicados (en lo sucesivo CDP) posibilitan representar razonamientos simbólicamente y proporcionan maneras de realizar inferencias a partir de conjuntos de premisas. Asimismo, el CP y el CDP, entre otras cosas, juegan un papel fundamental en las demostraciones matemáticas. Sobre enseñanza de la lógica matemática, algunos investigadores se han ocupado de indagar a cerca del empleo de herramientas informáticas que sirvan de apoyo a los docentes (Huertas, Mor y Guerrero, 2010). No obstante, no se han encontrado investigaciones centradas en la formación de profesores en CP y CDP. El objetivo central del estudio realizado fue tomar conocimiento de las prácticas docentes relacionadas con la enseñanza de CP y CDP en la formación de profesores de matemática; más específicamente, se examinó la completitud de las praxeologías estudiadas en una universidad colombiana.