Principia

Solucionador de ejercicios de lógica proposicional y de predicados que muestra pasos intermedios.
José Eduardo Reyes Sousa Universidad Nacional de educación a distancia
Salvador Rafael Bernal Marín Universidad Nacional de educación a distancia