Hola
En los 3 primeros ejercicios del práctico el objetivo es que escriban expresiones que se interpreten como las afirmaciones dadas como lo vienen haciendo en diferentes cursos sin haber estudiado el lenguaje de primer orden en si. O sea no se espera que sean estrictamente fórmulas de FORM por lo que les damos los símbolos que esperamos que usen.
El símbolo =' en la definición de FORM es un símbolo sintáctico que representa un predicado binario distinguido (que en el curso lo consideramos siempre presente) y tiene la particularidad de cuándo se interpreta en una estructura particular (M) una fórmula con =' esto se hace utilizando la relación de igualdad que debe estar definida en la estructura que se está usando para la interpretación (M).
Espero haya aclarado sino cualquier cosa volve a preguntar.
Saludos
Mónica
En los 3 primeros ejercicios del práctico el objetivo es que escriban expresiones que se interpreten como las afirmaciones dadas como lo vienen haciendo en diferentes cursos sin haber estudiado el lenguaje de primer orden en si. O sea no se espera que sean estrictamente fórmulas de FORM por lo que les damos los símbolos que esperamos que usen.
El símbolo =' en la definición de FORM es un símbolo sintáctico que representa un predicado binario distinguido (que en el curso lo consideramos siempre presente) y tiene la particularidad de cuándo se interpreta en una estructura particular (M) una fórmula con =' esto se hace utilizando la relación de igualdad que debe estar definida en la estructura que se está usando para la interpretación (M).
Espero haya aclarado sino cualquier cosa volve a preguntar.
Saludos
Mónica