Ver Mensaje Individual
  #1 (permalink)  
Antiguo 20/02/2020, 21:28
Avatar de detective_jd
detective_jd
 
Fecha de Ingreso: abril-2011
Ubicación: Salto
Mensajes: 434
Antigüedad: 11 años, 7 meses
Puntos: 6
Programa para deducción natural

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:

Cita:
(p ∧ q) ∨ r
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.
__________________
Si te interesa, visita mi perfil de Linkedin. Gracias