Cuando nos piden definir el lenguaje L a partir del tipo de similaridad, tenemos que dar TERML y FORML? O además hay que aclarar cuál es el alfabeto (cuáles son sus símbolos)?
En el caso que haya que definir TERML, consideramos que si tenemos t1 y t2 pertenecientes a TERML entonces t1='t2 tambien pertenece? Pregunto porque la letra no aclara que el símbolo =' sea parte del lenguaje
t1='t2 no pertenece a TERML, sino que a FORML. Casi siempre ponen "Lenguaje de primer orden con igualdad", pero no sabría decirte qué pasa si no está escrito explícitamente en la letra.
Sobre lo otro, me parece que si sólo te dan el tipo de similaridad, tendrías que aclarar qué símbolos vas a usar, porque sino, cuando definís el lenguaje y los usas, en realidad no les estarías dando significado. Además, una vez escuché en la clase la frase "Un lenguaje viene dado por su tipo de similaridad Y su alfabeto". Eso es lo que haría yo, si un profesor puede aclararlo, mejor.
Saludos,