Exámenes

Para entender un poco mejor lo que se pide en todas las cabeceras de las pruebas de lógica acerca de que Toda respuesta

debe estar fundamentada, planteo lo siguiente:

Se tiene un lenguaje de primer orden con tipo de similaridad < - ; 1, 1; 1> con símbolos de función f y g, y constante c.

Y además se considera una estructura M = <N, +1, +2, 0> donde +1 es la función f que suma uno y +2 es la función g que suma dos.

Se pide dar un par de términos s₁ y s₂ tales que { s₁^M _, s₂^M } = { 0 , 4 }

Mi solución es:

 s_{1 =} c

 s_{2 =} g(g(c))

entonces { s₁^M _, s₂^M } = { c^M _, g(g(c))^M } = { c^M _, 2 + 2 + c^M } = { 0 , 4}

Es una respuesta bien fundamentada? O faltaría argumentar con más texto cada paso?

Gracias