Una secuencia didáctica para un curso de lógica ; A didactic sequence for a course of logic

Se presenta una secuencia didáctica para un curso en el que se abordan lenguajes y sistemas formales, conjuntos inductivos, principio de inducción primitiva, funciones primitivas recursivas, lógica proposicional y de predicados de primer orden. La idea es secuenciar los temas a estudiar, introduciendo al nal 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 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. Algunos temas son especialmente adecuados para ser relacionados en clases sucesivas como ser conjuntos inductivos, con principio de inducción primitiva y funciones recursivas primitivas. En lógica proposicional, sintaxis, semántica y deducción natural, se comparte el uso de conectivos y los temas se abordan en forma secuencial. Lo mismo en lógica de predicados. ; We present a teaching didactic sequence for a course which addresses formal languages and systems, inductive sets, the principle of primitive induction, primitive recusive functions, propositional and first order predicate logic. The idea is to sequence the topics to study, introducing at the end of a class the topic to study in the next, at the beginning of a class the theme studied in the class before and in the middle is developed the closure of the class inmediately before. Not only is related one class with the previous and the next but are related themes studied in previous classes with the ones studied in later classes. Some topics are especially adequated to be related in successive classes by example inductive sets, the principle of primitive induction and the functions primitive recursive. In propositional logic, syntax, semantics and natural deduction, is shared the use of connectives, and the themes are addressed in sequential form. The same in predicate logic. ; Sociedad Argentina de Informática e ...