Hola! En la introducción del ejercicio nos presenta la función #x1 : TERM → N, y luego nos pide definir la función #x1 : FORM → N. Aquí ya me hace ruido que tengan el mismo nombre pero son funciones diferentes. Luego al ver las soluciones de la parte a), veo que en la parte de #x1(P(xi)) = #x1(xi), pero xi es un término, no una fórmula, y la función recibe fórmulas de entrada. Entonces pensé que utilizaba la función que nos definieron en la introducción, pero luego al ver la parte de #x1 ((α ∗ β)) = #x1 (α) + #x1 (β), claramente alpha y beta son fórmulas y ahí si está bien la entrada de #x1. Entonces me confundo bastante sobre esta parte. Gracias!
