Descripción: “...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. ...”