Lógica y teoría de conjuntos mediante diagramas de Venn-Euler por sectores

Abstract

La teoría sobre lógica es un tema fundamental que se enseña normalmente al inicio de cualquier carrera de computación o similar. En este trabajo se muestra cómo abordar simultáneamente la lógica usando su contraparte en teoría de conjuntos y aprovechar los diagramas por sectores de Venn-Euler para realizar muchos de los problemas usuales que se consideran en este proceso. Se muestra, además, un CDF (Computable Document Format) desarrollado en lenguaje Wolfram Mathematica que apoya tanto el aprendizaje de la teoría de conjuntos como de la lógica proposicional. La herramienta de software (el CDF) desarrollada por los autores, aunque no se ha implementado a la fecha con ningún grupo experimental, puede constituirse en un recuso práctico esencial para operacionalizar de una forma eficiente la propuesta didáctica compartida.