Os dejo la solución del problema 1.9.31, ese problema con un predicado de dos variables que había que hacer por tableau. Prestad atención a los razonamientos y a la escritura. Este es uno de los problemas más difíciles con que nos hemos encontrado en lógica de predicados.

SOLUCIÓN DEL PROBLEMA 1.9.31

 

Go to top