Buenas! Espero se encuentren bien.
El ejercicio es el siguiente
Quiero probar que T1 no es una extensión conservativa de T. En general hice todo parecido a la solución que está subida, pero me quedó una duda técnica.
Yo di el mismo ejemplo que en la solución de M = <N, N>, pero me puse a pensar si debería haber sido M=<N,N,1> para cumplir con el tipo de similaridad que nos dicen en la letra que es <1;-;1> o si no es necesario ya que no utilizamos la constante para esta prueba.
Si esto es válido, significa que cuando necesitamos dar un Modelo de testigo, con que tenga todo lo que necesitemos para esa prueba ya es suficiente?
Dejo la demostración abajo
Muchas gracias!
Saludos,
Diego Furrer.
