Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy

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 lo...