LÓGICA DE PRIMER ORDEN: UN DESAFÍO PARA LA ENSEÑANZA
Malva Alberto
Facultad Regional Santa Fe. Universidad Tecnológica Nacional. Argentina
mtoso@frsf.utn.edu.ar
Superior (19-22 años). 20. Pensamiento lógico
Se intentará generar un espacio para la reflexión y el uso adecuado de los elementos conceptuales de la lógica de predicados o de primer orden, expresándola como un lenguaje que permite comunicar hechos y propiedades. Partiendo del lenguaje de la lógica proposicional clásica, aparecerá una nueva sintaxis como producto de la inclusión de los cuantificadores (para todo; para algún) y habrá una distinción formal de las fórmulas lógicas de su contenido semántico. Este taller brindará estrategias que ayuden al profesor a diseñar situaciones o secuencias de actividades para favorecer en los estudiantes buenos desempeños para la comprensión del simbolismo matemático.
