Hola a todos, resulta que estoy dando clases particulares y una de las materias a preparar es Lógica y necesito de un programa que haga las deducciones naturales, en base a los enunciados que escriba, ej:
me dé una conclusión, la cuestión es que tengo una leve guía:
Guía
Pero recuerdo muy poco del tema. Agradecería mucho si alguien me da una mano con respecto a este tema.
Espero una respuesta y saludos.