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
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