Secuencias didácticas aplicadas en la enseñanza de la lógica

Estudiamos el uso de secuencias didacticas en un curso de lógica de un Profesorado de Informática. Los temas a tratar en el curso son lenguajes y sistemas formales, conjuntos inductivos, principio de inducción primitiva, funciones primitivas recursivas, lógica proposicional y de predicados de primer orden. Se secuencian los temas a estudiar  introduciendo al final de una clase el tema a estudiar en la próxima, al principio de una clase el tema estudiado en la clase anterior y en el medio se desarrolla el tema de la clase que corresponda (cierre de clase anterior). No solo se relaciona una clase con la anterior y la siguiente sino que se relacionan temas estudiados en clases anteriores con temas estudiados en clases posteriores. Hay temas que son particularmente adecuados para relacionarlos en clases sucesivas como ser conjuntos inductivos, con principio de inducción primitiva y funciones recursivas primitivas. Conjuntos inductivos y principio de inducción primitiva son utilizados posteriormente cuando se introduce el conjunto de proposiciones en lógica proposicional y en logica de predicados cuando se definen los conjuntos de términos y fórmulas. Vemos en lógica proposicional: sintaxis, semántica y deducción natural. Estos temas comparten el uso de conectivos y se presentan en forma secuencial. De igual modo se presenta la lógica de predicados.