Final del 17/05/18 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1[editar]
Demostrar que si conjunto de formulas de la logica proposicional tal que es consistente entonces es satisfacible.
Ejercicio 2[editar]
Demostrar que existen modelos de primer orden no estandar para la aritmética
Ejercicio 3[editar]
Probar que no es c.e. ni co-c.e.
Ejercicio 4[editar]
Enunciar y demostrar el teorema de Rice