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

De Cuba-Wiki
Revisión del 11:08 18 may 2018 de 181.170.192.15 (discusión) (Página creada con «=Ejercicio 1= Demostrar que si <math>\Gamma</math> conjunto de formulas de la logica proposicional tal que <math>\Gamma \subseteq FORM </math> es consistente entonces <mat...»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.

Ejercicio 1

Demostrar que si conjunto de formulas de la logica proposicional tal que es consistente entonces es satisfacible.

Ejercicio 2

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

Ejercicio 3

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

Ejercicio 4

Enunciar y demostrar el teorema de Rice