Programa para deducción natural

[detective_jd]

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:

(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.

[prueba230683]

El problema es que a partir de una premisa (en tu caso la premisa (p ∧ q) ∨ r), puedes obtener INFINITAS conclusiones utilizadando las leyes de inferencia (y las leyes de la lógica), luego sería imposible obtenerlas todas.

Por ejemplo, de la premisa (p ∧ q) ∨ r podemos deducir que p ∨ r, es decir: (p ∧ q) ∨ r => p ∨ r

De la premisa (p ∧ q) ∨ r también podemos deducir que q ∨ r, es decir: (p ∧ q) ∨ r => q ∨ r

... etcétera.

Aquí tienes un generador de tablas de verdad que te puede ayudar:

https://web.stanford.edu/class/cs103...th-table-tool/

Prueba introduciendo las expresiones (p ∧ q) ∨ r => p ∨ r y (p ∧ q) ∨ r => q ∨ r y verás que todas las entradas tienen valores verdaderos (T), eso significa que la conclusión es correcta.

Saludos