Diferencia entre revisiones de «Final del 13/11/18 (Lógica y Computabilidad)»
De Cuba-Wiki
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= |
Revisión del 04:58 14 nov 2018
Ejercicio 1
Sean α y β fórmulas de la lógica proposicional. Determinar la validez del siguiente enunciado:
es contingencia es Tautologia y es contingencia.
Solución:
Es falso, la vuelta no vale si , y es contingencia. Luego se cumple el antecedente pero
Ejercicio 2
Sea L un lenguaje de logica de primer orden. Sean α y β fórmulas de la lógica de primer orden con solo una variable x libre.
Probar si el siguiente enunciado es universalmente válido:
Ejercicio 3
Sea P = P(X1, ..., Xn) un predicado computable. Demostrar que f(X1, ..., Xn-1) = Mint P((X1, ..., Xn-1, t) es parcial computable.
Ejercicio 4
Demostrar que a cada número natural n le corresponde la codificación de una única instrucción en el lenguaje S.