Parcial 2013, ejercicio 1 | definicion de un lenguaje de primer orden

Parcial 2013, ejercicio 1 | definicion de un lenguaje de primer orden

de Daniel Padron Simon -
Número de respuestas: 0

Buenas noches, 

En este parcial se pregunta se pide definir un lenguaje de primer orden para un tipo de similaridad dado. 


La pregunta seria, ¿que seria exactamente un lenguaje de primer orden? seria la union de TERM y FORM? ¿que seria?


Saludos

Daniel