2do parcial 2015 ejercicio 1) parte b) i)

2do parcial 2015 ejercicio 1) parte b) i)

de Fabian Nicolas Troche Gutierrez -
Número de respuestas: 4

Hola, tengo una duda sobre este ejercicio. Para definir T1 no considero las variables porque pueden ser cualquier elemento del universo (incluyendo los que no son múltiplos de 4). Entonces T1 quedaría así:

- c pertenece a T1

-si t pertenece a T1 entonces g(g(t)) pertenece a T1

¿Esto es correcto?

Adjunto 2do parcial 2015 ej 1).jpg
En respuesta a Fabian Nicolas Troche Gutierrez

Re: 2do parcial 2015 ejercicio 1) parte b) i)

de Alejandro Sena Peraza -
Si para mi que si, ahora yo tengo una pregunta parecida:
es T1 incluido en TERM o en TERMc, porque si es term como probas P(Xi)? queda recursivo
En respuesta a Alejandro Sena Peraza

Re: 2do parcial 2015 ejercicio 1) parte b) i)

de Fabian Nicolas Troche Gutierrez -

Si, yo llegue a concluir eso también, por eso pregunté lo anterior. Si consideras las variables en T1 no se me ocurre cómo demostrar la propiedad para xi. Asumo que T1 queda bien definido sin usar las variables. Gracias por responder.

En respuesta a Fabian Nicolas Troche Gutierrez

Re: 2do parcial 2015 ejercicio 1) parte b) i)

de Romina Romero - InCo -

Sí, T1 está bien definido.

T1 está incluido en TERM, como pide la letra. Eso no lo obliga a ser igual a TERM, por lo que está bien que no tenga todos sus "ítems", como ser las variables y la función f.

En la definición de T2, por ejemplo, no aparecen las constantes por sí solas, y también está bien.

En particular, T1 y T2 están incluidos en TERMc, pero como TERMc ⊆ TERM eso no viola lo pedido en la letra.


Saludos