Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy
En este artículo 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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universidad de San Buenaventura
2019-03-01
|
| Series: | Ingenierías USBMed |
| Subjects: | |
| Online Access: | https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/3877/3269 |