TY - JOUR AU - Buitrago Carmona, Iván Darío AU - Casta˜no, Juan AU - Giraldo, Santiago PY - 2022/10/03 Y2 - 2024/03/28 TI - Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy JF - Ingenierías USBMed JA - Ing.USBMed VL - 10 IS - 1 SE - Artículo de Reflexión DO - 10.21500/20275846.3877 UR - https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/3877 SP - 53-57 AB - <p>En este trabajo se muestra una herramienta que permite establecer una relación entre la lógica proposicional y la lógica de programación mediante un software elaborado en Python. El usuario puede solucionar de manera didáctica ejercicios relacionados con las reglas de inferencia y por lo tanto se logra facilitar la comprensión de algunos conceptos de la lógica proposicional. El programa LogicCoach es un software basado en el libro “A concise introduction to logic” y es el punto de partida para la elaboración el software (LogicalPy) como herramienta didáctica.</p> ER -