Exercise 4.31 Give
the results of the following substitutions:
Ejercicio 4.31 Dar los resultados de las siguientes sustituciones:
Sustitución. Tenemos diferentes maneras para hablar de
los objetos. x es un término y la constante c también es un termino.
Así se desprende de las cláusulas construcción de
términos en la sintaxis de la lógica de predicados.
Algunas otras propiedades:
Y tenemos que la solución de cada una es:
Bibliografía:
1 comentario:
En los últimos dos falta sustituir en las cuantificaciones. 8 pts.
Publicar un comentario