L

ogica y Computabilidad (2o de Ing. Tecnica de Sistemas)

(24-Enero-2012)

Nombre y Apellidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

UTILIZA SOLO
ESTE FOLIO PARA LA RESPUESTA
Ejercicio 1. [1,5 puntos] Usa tableros para decidir si es cierta la siguiente afirmacion:
{(p q) (q p) r s} |= s p q r

Ejercicio 2. [1,5 puntos] Aplicando resolucion lineal, demuestra que la siguiente formula es
una tautologa.
(p q r s) (r s) (r s) (r p q)

L
ogica y Computabilidad (2o de Ing. Tecnica de Sistemas)

(24-Enero-2012)

Nombre y Apellidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

UTILIZA SOLO
ESTE FOLIO PARA LA RESPUESTA
Ejercicio 3. [1,5 puntos] Disponemos de cuatro vasos dispuestos en fila y dos bolas que se
introducen en dos de los vasos. El juego consiste en acertar en cual de los vasos contiene una
bola. Utilizando el lenguaje {V1 , V2 , V3 , V4 }, donde Vi denota el hecho de que el i-esimo vaso
de la fila contiene una bola, se pide:
1. Formaliza las siguientes afirmaciones:
F1 : Solo hay dos bolas contenidas en los vasos.

F2 : No existen dos vasos adyacentes que contengan bolas.

F3 : Si el primer vaso tiene bola, el tercero no.

F4 : Si el segundo o el tercer vaso no contienen bolas entonces el primero contiene una.

2. Usando un m
etodo de razonamiento formal sobre las f
ormulas {F1 , F2 , F3 , F4 }
decidir si es posible determinar a partir de la informacion expresada por {F1 , F2 , F3 , F4 }
en que vasos se encuentran las bolas.
Raz
onese formalmente la respuesta.

Ejercicio 4. [1.5 ptos.] Responder razonadamente a las siguientes cuestiones:

1. Encontrar un n
umero n que, como n
umero de Godel, tenga longitud 2 y verifique
U1 (0, n 1) 6= U1 (1, n 1).

2. Sea P un programa que calcula la funcion sucesor, S(x) = x + 1.

Se cumple que STEP(x, #(P ), x)?

3. Sea f (x, y) = (z)[y z = x].

(a) Escribe un programa GOTO que calcule f (pueden usarse macros).

(b) Calcula f (36, 5) y determina el dominio de f .

L
ogica y Computabilidad (2o de Ing. Tecnica de Sistemas)

(24-Enero-2012)

Nombre y Apellidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

UTILIZA SOLO
ESTE FOLIO PARA LA RESPUESTA
Ejercicio 5. [2.5 ptos.] Resp
ondase a las siguientes cuestiones:
1. Dise
nar un programa GOTO, con un maximo de 12 lneas (solo se permiten macros para
la asignaci
on, GOTO L, el producto y los predicados = y <), que calcule el predicado
(x1 , x2 , x3 ) x3 divide a alg
un elemento del intervalo [x1 , x2 ]

2. Probar que el siguiente predicado es GOTO-computable:

(x, y) en el intervalo [x, x2 ] no hay ning
un divisor primo de y

Ejercicio 6. [1.5 ptos] De los dos siguientes conjuntos, uno es GOTOcomputable y el otro
no:
A = {](P ) : existen dos instrucciones etiquetadas consecutivas},
B = {](P ) : [[P ]] es total y x ([[P ]](x) x}.
1. Para el conjunto que sea GOTOcomputable, demuestra que lo es.
2. Para el conjunto que no sea GOTOcomputable, demuestra que no lo es.