Parcial 2013, alfabeto de primer orden, dudas sobre letra y conceptos.

Parcial 2013, alfabeto de primer orden, dudas sobre letra y conceptos.

de Gustavo Sebastian Lujan Recalde -
Número de respuestas: 1
Hola tengo algunas dudas puntuales del ejercicio 1 parcial 2013ejercicio 1 b

En el ejercicio b, ¿la definición de L es como la siguiente:?

sea L =
símbolos de:

  • relación, p1,
  • función f1,
  • constantes c1, c2.


¿O hay que agregar además variables, conectivos, cuantificadores y auxiliares como en la definición formal de alfabeto de primer orden dada en el teórico?

¿O con poner L = { p1, f1, c1, c2 } alcanza, si es que la notación es correcta?

¿Y es lo que pide cuando  dice el lenguaje en si mismo?

La motivación de la pregunta surge de que en clase de practico, aveces se obviaban estos últimos lo cual me genera esa duda.

Pregunta 2: No entiendo la parte de incluir la definición de sigmaL ¿Es decir sigmaL = {1,0} ?
Gracias

En respuesta a Gustavo Sebastian Lujan Recalde

Re: Parcial 2013, alfabeto de primer orden, dudas sobre letra y conceptos.

de Romina Romero - InCo -

El lenguaje de primer orden L tiene:

  1. un alfabeto (llamado ΣL)
  2. un conjunto de términos (TERML)
  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 Pi, fi y ci que corresponda).

TERML 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