Diferencia entre revisiones de «Final del 22/12/14 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposisional la demo). En la demo de la clase se usa un ...») |
Sin resumen de edición |
||
| Línea 1: | Línea 1: | ||
1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica | 1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposicional la demo). En la demo de la clase se usa un galerazo (un teorema de SP), que Santi dijo que se puede usar, o uno equivalente. | ||
2) Probar que en un lenguaje de primer | 2) Probar que en un lenguaje de primer orden con igualdad si una teoría tiene modelos arbitrariamente grandes, tiene modelo infinito. No había aclarado que era con igualdad, también vale sin, pero la demo hay que partirla en dos casos (con y sin). | ||
3) Enuncie el teorema de la | 3) Enuncie el teorema de la recursión y demuéstrelo usando el teorema del parámetro. | ||
4) Pruebe que Tot no es c.e. ni co-c.e. | 4) Pruebe que Tot no es c.e. ni co-c.e. | ||
Revisión del 16:59 7 abr 2015
1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposicional la demo). En la demo de la clase se usa un galerazo (un teorema de SP), que Santi dijo que se puede usar, o uno equivalente.
2) Probar que en un lenguaje de primer orden con igualdad si una teoría tiene modelos arbitrariamente grandes, tiene modelo infinito. No había aclarado que era con igualdad, también vale sin, pero la demo hay que partirla en dos casos (con y sin).
3) Enuncie el teorema de la recursión y demuéstrelo usando el teorema del parámetro.
4) Pruebe que Tot no es c.e. ni co-c.e.
