Final del 10/09/14 (Lógica y Computabilidad)

De Cuba-Wiki
Revisión del 00:38 13 sep 2014 de Klifort (discusión | contribs.) (Página creada con «=Ejercicio 1= a) Dar el concepto de consecuencia para lógica proposicional b) Demostrar que <math>\beta</math> es consecuencia lógica de <math>\Gamma</math> si y sólo...»)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)

Ejercicio 1

a) Dar el concepto de consecuencia para lógica proposicional
b) Demostrar que  es consecuencia lógica de  si y sólo si { U ¬} es insatisfacible

Ejercicio 2

L es un lenguaje con igualdad y un predicado binario P. Dada una interpretación con universo en los Naturales y con el predicado <. Probar que 0, 1 y 2 son distinguibles.


Ejercicio 3

B es un conjunto de naturales. Demostrar que es recursivo si y sólo si y son recursivamente enumerables.


Ejercicio 4

Demostrar que halt(0,y) no es computable.