Final del 17/05/18 (Lógica y Computabilidad)

Ejercicio 1

Demostrar que si $\Gamma$ conjunto de formulas de la logica proposicional tal que $\Gamma \subseteq FORM$ es consistente entonces $\Gamma$ es satisfacible.

Ejercicio 2

Demostrar que existen modelos de primer orden no estandar para la aritmética

Ejercicio 3

Probar que $TOT$ no es c.e. ni co-c.e.

Ejercicio 4

Enunciar y demostrar el teorema de Rice