Buitrago Carmona, I. D.; Casta˜no, J.; Giraldo, S. Herramienta didáctica Con Python Para El Aprendizaje De La lógica Proposicional: LogicalPy. Ing.USBMed 2022, 10, 53-57.