alguna sugerencia para esta derivación?, me pasa que genero puras derivaciones que son invalidas porque siempre me queda una hipótesis que queda sin cancelar en el subárbol de un para todo. Desde ya muchas gracias!
Hola:
La primera parte del ejercicio es representar todas las oraciones como fórmulas de primer orden.
¿cómo te quedó esa representación?
Luego habría que pensar una prueba "hablada" al estilo usual en matemáticas.
¿cómo sería esa prueba?
Luego, la solución es una traducción bastante directa de esa prueba hablada en una derivación de DER.
La primera parte del ejercicio es representar todas las oraciones como fórmulas de primer orden.
¿cómo te quedó esa representación?
Luego habría que pensar una prueba "hablada" al estilo usual en matemáticas.
¿cómo sería esa prueba?
Luego, la solución es una traducción bastante directa de esa prueba hablada en una derivación de DER.
Gracias por la respuesta!, pude resolverlo.