escribir términos- [Ejercicio5d]

escribir términos- [Ejercicio5d]

de Leonela Ruth Pereira Perez -
Número de respuestas: 4
cuando me piden escribir términos puedo escribir directamente elementos del universo o tengo que usar el alfabeto de TERM ?
Por ejemplo en el ej 5d.1
sería correcto dar como término{1,2} o debería dar un símbolo de constante, por ejemplo c1???
y si quisiera dar como otro término el elemento {1}, podría darlo directamente o debería darlo por medio de una variable? en ese caso como sería? x1= {1} ??


y si el término que quiero dar es una f(t1,t2,....), puedo dar el valor o tengo que dar la expresión?
Por ejemplo, en el ej 5d.2
si quiero dar el elemento 2, puedo darlo directamente?
o tngo que dar f(1,1) ?
o f(t1,t2) con t1=c1 y t2=c1...

No se si me explico....


En respuesta a Leonela Ruth Pereira Perez

Re: escribir términos- [Ejercicio5d]

de Camila Sanz -

Hola,


cuando se pide dar términos se está pidiendo dar elementos de TERM.

Como vos decís \lbrace 1, 2 \rbrace es un elemento del universo pero no es un elemento de TERM.

En este ejercicio no se piden términos que representen a ningún elemento particular, podrías dar cualquiera que pertenezca a TERM, de todas formas decir x_1 = \lbrace 1 \rbrace no es correcto, x_1 es una variable del término y por tanto no se puede interpretar. Solo se pueden interpretar términos cerrados.

Teniendo en cuenta estas cosas, cómo te parece que deberías dar un término que sea una función?

Cualquier duda volvé a consultar!


En respuesta a Camila Sanz

Re: escribir términos- [Ejercicio5d]

de Leonela Ruth Pereira Perez -

es que según el tipo de similaridad, para este lenguaje no tengo funciones, así que los únicos términos que tendría serían c0 y c1... por lo que no sería posible dar 3 términos como pide la consigna. es eso correcto?



respondiendo a tu pregunta, por ejemplo, en el a.iv un término que sea función sería f1(c0,c1)  

"solo se pueden interpretar términos cerrados" .. Eso significa que por ejemplo no puedo hacer f1(x1,x2) (siendo f1 la del ejemplo anterior) ???

En respuesta a Leonela Ruth Pereira Perez

Re: escribir términos- [Ejercicio5d]

de Camila Sanz -

Hola,

con solo se pueden interpretar términos cerrados me refería a lo que mencionás en tu primer mensaje: de dar un elemento de TERM que represente al \lbrace 1 \rbrace. Cuando vos querés mostrar que el elemento de TERM representa a un determinado elemento del universo, tenés que interpretar el término. Eso solo puede hacerse con términos cerrados.

Esto no quiere decir que f_1(x_1, x_2), por ejemplo, no sea un término válido en un lenguaje adecuado.


Se entiende?