Parciales

El lenguaje de primer orden L tiene:

1. un alfabeto (llamado Σ_L)
2. un conjunto de términos (TERM_L)
3. un conjunto de fórmulas (a esto se refiere con "el lenguaje en sí mismo")

Se piden dar esas 3 cosas.

Σ_L tiene 7 clases de elementos (ver teórico sintaxis). En general, como las variables, los conectivos, los cuantificadores y los símbolos auxiliares son siempre los mismos, se suelen dar los símbolos "relevantes": símbolos de relación, de función y de constantes. Pero formalmente, el alfabeto es todo (sería dar la definición del teórico, pero adaptado al tipo de similaridad de L, es decir, dar la cantidad de P_i, f_i y c_i que corresponda).

TERM_L se define como está en el teórico, pero adaptado para un lenguaje con el tipo de similaridad pedido.

Para definir las fórmulas se definen como están en el teórico, adaptado para un lenguaje con el tipo de similaridad pedido.

La notación "L = { p1, f1, c1, c2 }" no es correcta.

Σ_L es el alfabeto de L (está a nivel de "lenguaje"), y no está relacionado con el Σ de arriba, que es algo a nivel de la estructura y el universo que se está trabajando.

Espero haber aclarado las dudas.

Saludos