Final del 10/03/17 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1
Enunciar y demostrar el lema de Lindenbaum para lógica proposicional.
Ejercicio 2
Demostrar consistente => satisfacible para lógica proposicional.
Ejercicio 4
Enunciar HALT y demostrar que no es computable.
Ejercicio 4
Enunciar y demostrar el teorema de la recursión.
