Ver Mensaje Individual
  #2 (permalink)  
Antiguo 24/02/2020, 15:30
prueba230683
 
Fecha de Ingreso: abril-2011
Mensajes: 169
Antigüedad: 11 años, 7 meses
Puntos: 68
Respuesta: Programa para deducción natural

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