Edición de «Final del 13/11/18 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 8: | Línea 8: | ||
Solución: | Solución: | ||
Es falso, la vuelta no vale si <math>\alpha = F< | Es falso, la vuelta no vale si <math>\alpha = F<\math>, <math>\beta = F<\math> y <math>\delta<\math> es contingencia. Luego se cumple el antecedente pero <math>(\alpha \rightarrow \beta) = F \rightarrow F = T</math> | ||
=Ejercicio 2= | =Ejercicio 2= | ||
Línea 16: | Línea 16: | ||
<math>((\exists x \alpha \wedge \exists x \beta) \rightarrow (\exists x(\alpha \wedge \exists x \beta)))</math> | <math>((\exists x \alpha \wedge \exists x \beta) \rightarrow (\exists x(\alpha \wedge \exists x \beta)))</math> | ||
=Ejercicio 3= | =Ejercicio 3= | ||
Sea P = P(X<sub>1</sub>, ..., X<sub>n</sub>) un predicado computable. | Sea P = P(X<sub>1</sub>, ..., X<sub>n</sub>) un predicado computable. | ||
Demostrar que | Demostrar que f(X<sub>1</sub>, ..., X<sub>n-1</sub>) = Min<sub>t</sub> P((X<sub>1</sub>, ..., X<sub>n-1</sub>, t) es parcial computable. | ||
=Ejercicio 4= | =Ejercicio 4= | ||
Demostrar que a cada número natural n le corresponde la codificación de una única instrucción en el lenguaje S. | Demostrar que a cada número natural n le corresponde la codificación de una única instrucción en el lenguaje S. |