Edición de «Final del 22/06/17 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
| Revisión actual | Tu texto | ||
| Línea 5: | Línea 5: | ||
Enunciar y demostrar el Teorema de Rice | Enunciar y demostrar el Teorema de Rice | ||
=Ejercicio | =Ejercicio 4= | ||
Usando el teorema de correctitud de la lógica proposicional, probar que si <math>Gamma</math> es un conjunto de fórmulas satisfacible, entonces es consistente. | Usando el teorema de correctitud de la lógica proposicional, probar que si <math>Gamma</math> es un conjunto de fórmulas satisfacible, entonces es consistente. | ||
=Ejercicio 4= | =Ejercicio 4= | ||
Sea L={0,S,<,+,·} con igualdad y sea N={N,0,S,<,+,·} la L-estructura de primer orden con la interpretación normal. Mostrar que existe un modelo de la Teoría de N en donde existe un elemento inalcanzable (Desde el 0, usando la función sucesor S). | Sea L={0,S,<,+,·} con igualdad y sea N={N,0,S,<,+,·} la L-estructura de primer orden con la interpretación normal. Mostrar que existe un modelo de la Teoría de N en donde existe un elemento inalcanzable (Desde el 0, usando la función sucesor S). | ||
