Search

En lógica proposicional, las conectivas de disyunción o conjunción en proposiciones simples se comprenden de manera intuitiva. La dificultad de algunos estudiantes de programación estriba en identificar una red de proposiciones compuestas y conectivas lógicas que subyacen a una situación problemática. Una técnica muy utilizada para contextualizar conceptos es la provisión de ejemplos ilustrativos. Propusimos investigar el efecto que produce la generación de ejemplos (inventados por los alumnos), con posterioridad a la recepción de ejemplos del docente. Observamos que al recibir problemas que pertenecen a un mismo dominio temático se promueve la comprensión y la transferencia intra dominio, pero es improbable la transferencia a dominios distantes. En el primer experimento comprobamos que contextualizar con un único ejemplo es suficiente para promover la comprensión (realizar los ejercicios y tablas) pero no facilita en los estudiantes la posibilidad de imaginar escenarios distintos para la aplicación de las mismas reglas. En un segundo experimento, presentamos dos situaciones consecutivas en contextos distintos, el grupo experimental recibió ejemplos acompañados de un conjunto de instrucciones de comparación, y el grupo control sólo recibió los ejemplos sin instrucciones para compararlos. Observamos que en la condición de comparación, los estudiantes proponen ejemplos más alejados de los dominios temáticos propuestos. Inferimos que la comparación de ejemplos es un potente mecanismo para promover la transferencia en el aprendizaje de reglas de lógica proposicional aplicadas a situaciones concretas., In propositional logic, disjunction or conjunction connectives in simple propositions are intuitively understood. The difficulty for some programming students is to identify a network of compound propositions with logical connectives that underlie a problematic situation. A widely used technique for contextualizing concepts is the provision of illustrative examples. We proposed to investigate the effect produced by the generation of examples (invented by students), after receiving examples from the teacher.We observe that when receiving problems that belong to the same thematic domain, understanding and intra-domain transfer are promoted, but transfer to distant domains is not probable. In the first experiment, we verified that contextualizing with a singleexample is enough to promote understanding (doing the exercises and tables) but it does not provide students with the possibility of imagining different scenarios for the application of the same rules. In a second experiment, we presented two consecutive situations in different contexts, the experimental group received examples accompanied by a set of comparison instructions, and a control group only received the examples without instructions to compare them. We observe that in the comparison condition, the students propose examples that are further away from the proposed thematic domains. We infer that the comparison of examples is a powerful mechanism to promote transfer in learning of propositional logic rules applied to concrete situations., Facultad de Informática

El objetivo general del proyecto consiste principalmente en diseñar y construir un software con una interfaz de alto componente visual, basado en una metáfora lúdica, que le permita al estudiante el aprendizaje de los conceptos relacionados con la lógica proposicional de una forma más fácil y motivadora, proveyendo un espacio apto para la experimentación y conjetura., This project's general purpose consists mainly in to do design and implementation an Software application highly visual, based on a playful metaphor, that allows students to learn about related concepts about the propositional logic, in an easier and more motivating way, providing a suitable space for experimentation and conjecture., Pregrado, Ingeniero(a) de Sistemas

El presente trabajo propone la elaboración e implementación de una herramienta didáctica u objeto de aprendizaje (OA) usando la plataforma exelearning, con el fin de enseñar la lógica proposicional a estudiantes de grado sexto de la Institución Educativa Viboral. Se les explico la temática bajo dos modelos diferentes (tradicional y Objeto de Aprendizaje) y posteriormente, se evaluaron y cotejaron a través de una prueba final escrita en cada modelo, así como un test de actitud (Likert), arrojando como principales resultados: avance en las calificaciones finales de los estudiantes al utilizar la herramienta, favorecimiento al aprendizaje autónomo, menor tiempo en la enseñanza del tema con el OA y una mejor actitud y disposición del estudiante a lo largo del aprendizaje de la lógica proposicional Abstract : This work proposes to develop and implement an educational tool or Learning Object (LO) using the exelearning platform, in order to teach propositional logic to students of Viboral Educational Institution. The topics were explained to the students under 2 different models (traditional and Learning Object); later, the students were evaluated and collated through a final written test driven under each model, and, at the same time, under an attitude test (Likert); the main results were gathered as an evidence of performance increase shown in their final scores due to the use of the tool, favoring autonomous learning, teaching time spent decreased due to the use of the tool (LO), and a remarkable attitude and willingness of the students through out the learning of the propositional logic cycles Maestría

Resumen: Esta propuesta representa un aporte a la enseñanza de la lógica proposicional para el grado sexto. En ella se exponen ciertas pautas estratégicas para su enseñanza y se pone de relieve el uso de un material tangible, denominado “tarjetas lógicas”, una herramienta análoga a la de los “bloques lógicos”, que permite conceptualizar significativamente dicha temática. El trabajo a su vez ha sido sustentado desde la interpretación de algunas leyes o tautologías de la lógica proposicional y de la teoría del aprendizaje significativo. Se espera así, propiciar en el estudiante una experiencia significativa, permitiéndole el desarrollo de su pensamiento lógico y una comprensión del significado de las relaciones, a nivel abstracto, entre la lógica proposicional y el aprendizaje de las matemáticas en general. Abstract: This proposal represents a contribution to the propositional logic teaching addressed to sixth graders. In this paper, some strategic guidelines for logical teaching are explained and it is highlighted the use of a tangible material, called "logic cards" which is analogous to the "logic blocks". Logic cards help students to learn logic notions meaningfully. This paper is supported by both, the interpretation of some propositional logic laws or tautologies and the meaningful learning theory. The aim all above is to give to students a meaningful experience for the development of their logical thinking and their understanding of the meaning of relationships, at an abstract level, and in general, between the propositional logic and the mathematics learning.

Contra lo que habitualmente se dice, Aristóteles parece haber conocido el modus ponens, el modus tollens y la afirmación del consecuente en un condicional. Aunque no ponga nombres a las reglas correspondientes, un breve texto en Analíticos utiliza terminología semejante a la de Crisipo. En el artículo defendemos que dicho texto se puede interpretar dentro de la lógica proposicional actual, sin necesidad de postular una supuesta regla adicional que tendría problemas formales de validez.