Diferencia entre revisiones de «Final del 23/10/18 (Lógica y Computabilidad)»

De Cuba-Wiki
(Página creada con «=Ejercicio 1= Dadas <math>\alpha</math> y <math>\beta</math> fórmulas proposicionales que no comparten variables, demostrar que si <math>\alpha \wedge \beta</math> es una…»)
 
 
Línea 1: Línea 1:
=Ejercicio 1=
=Ejercicio 1=
Dadas <math>\alpha</math> y <math>\beta</math> fórmulas proposicionales que no comparten variables, demostrar que si <math>\alpha \wedge \beta</math> es una tautología, <math>\alpha</math> es una tautología o <math>\beta</math> es una tautología.
Dadas <math>\alpha</math> y <math>\beta</math> fórmulas proposicionales que no comparten variables, demostrar que si <math>\alpha \vee\beta</math> es una tautología, <math>\alpha</math> es una tautología o <math>\beta</math> es una tautología.


=Ejercicio 2=
=Ejercicio 2=

Revisión actual - 04:01 29 oct 2018

Ejercicio 1

Dadas y fórmulas proposicionales que no comparten variables, demostrar que si es una tautología, es una tautología o es una tautología.

Ejercicio 2

Dado un lenguaje con igualdad, y un símbolo de función binaria. Dadas dos interpretaciones e , ambas con universo en el intervalo real abierto . En , es interpretada como el producto. En , es interpretada como la distancia (). Encontrar un enunciado que sea válido en una interpretación y no en la otra.

Ejercicio 3

a) Dar una noción de función parcial computable desde un programa

b) Demostrar que las funciones primitivas recursivas son computables.

Ejercicio 4

Demostrar que no es computable.