¿Es correcta esta definición?:
i) Le(pi)={pi}
ii) Le(pi->α)=Le(pi) U Le(α)
¿Y esta otra?
i) Le(pi->α)=
{pi} U Le(α) si pi≠α
{pi} si pi=α
ii) Le(pi)=Le(pi->pi)
Saludos
Diego
Primer Parcial 2011 - Ejercicio 1 - A
Número de respuestas: 6
En respuesta a Diego Gabriel Martorell Bazterrica
Re: Primer Parcial 2011 - Ejercicio 1 - A
de Luis Sierra -
especifica el ERP correspondiente, y vemos
luis
luis
En respuesta a Luis Sierra
Re: Primer Parcial 2011 - Ejercicio 1 - A
Me piden:
Dena recursivamente la funcion Le : L-> 2P, donde P es el conjunto de las letras proposicionales, tal que dado un elemento α de L devuelve el conjunto de las letras proposicionales que ocurren en α.
Por ejemplo: Le(p1->p3->p1) = {p1,p3}
La definición de L está aquí:
https://eva.fing.edu.uy/pluginfile.php/75319/mod_folder/content/0/Primer%20Parcial%202011.pdf?forcedownload=1
Allí está el ERP correspondiente... es a ese al que te refieres Luis?
Saludos
Diego
En respuesta a Diego Gabriel Martorell Bazterrica
Re: Primer Parcial 2011 - Ejercicio 1 - A
de Luis Sierra -
ahí no hay ningún ERP; hay una definición inductiva,
revisa qué es el ERP, y cuál es el correspondiente a la definición de L dada en el parcial.
saludos
luis
En respuesta a Luis Sierra
Re: Primer Parcial 2011 - Ejercicio 1 - A
Luis, según Diapositiva:
Esquema de Recursión Primitiva para un Conjunto Inductivo
• Sea A un conjunto definido inductivamente (Es el caso en el que estamos)
• Para definir una función f :A→B, alcanza con definir a f mediante ecuaciones que determinen:
– 1) El valor de f para los objetos de A obtenidos de aplicar cláusulas base
– 2) El valor de f para los objetos de A obtenidos de aplicar cláusulas inductivas, utilizando el valor de f en el (los) objeto(s) anterior(es) y también el (los) objeto(s) anterior(es) (llamadas recursivas)
Para definir f en este caso entonces, debería:
1) f(pi)=...
2) f(pi->a)=... en función de f(a) y de pi...
Eso es lo que estoy haciendo en la primera definición que propuse o no... me estoy confundiendo...
Saludos
Diego
En respuesta a Diego Gabriel Martorell Bazterrica
Re: Primer Parcial 2011 - Ejercicio 1 - A
Puede ser que ambas definiciones estuvieran mal, las que di al comienzo y esta si sea correcta:
i) Le(pi)={pi}
ii) Le(pi->α)={pi} U Le(α)
...
En respuesta a Diego Gabriel Martorell Bazterrica
Re: Primer Parcial 2011 - Ejercicio 1 - A
de Luis Sierra -
esta ultima definicion que das es correcta.
supongo que si explicitaras el ERP, como lo hiciste en el último (o penúltimo) envío, no habrías cometido los errores anteriores.
supongo que si explicitaras el ERP, como lo hiciste en el último (o penúltimo) envío, no habrías cometido los errores anteriores.