Software educativo: con esta herramienta l?dica de aprendizaje, el estudiante de ingenier?a, matriculado en l?gica y algoritmia, podr? apropiar conocimiento sobre elementos importantes relacionados con la inferencia l?gica, los cuales estar?n distribuidos en tres niveles, cada uno de ellos con las reglas de inferencia m?s conocidas y con diferente grado de dificultad.