UTU

Tecnologo en Informatica

MDL2 2016

Pr
actico 2
Semantica de la Logica de Predicados
Ejercicio 1
Considere un lenguaje de primer orden del tipo h; 2, 2, 1; 1i. Sea A una estructura de dicho
tipo definida como sigue: A = hN, +, , S, 0i donde S(x) = x + 1.
a. Defina los smbolos del alfabeto y de dos terminos distintos t1 y t2 del lenguaje tales que
t1 A = t2 A = 5.
b. Demuestra que para todo n N hay un termino t tal que tA = n.

Ejercicio 2
Considere un lenguaje de primer orden del tipo h; 2, 2; 2i con smbolos de funcion f1 , f2
y smbolos de constante c1 , c2 . Sea A una estructura del mismo tipo definida como sigue:
A = hZ, +, , 1, 2i donde Z es el conjunto de los n
umeros enteros.
Demuestre por induccion que para todo termino cerrado t (sin constantes extendidas) se
cumple que tA > 0.

Ejercicio 3
Considere un lenguaje de primer orden del tipo h; 1, 2; 1i con smbolos funcion f1 (unario),
f2 (binario) y smbolo de constante c1 . Sean A, B estructuras del mismo tipo definidas como
sigue:
A = hN, S, +, 0i donde S(x) = x + 1
B = hN, D, , 1i donde D(x) = 2 x
Demuestre por induccion que para todo termino cerrado t (sin constantes extendidas) se
A
cumple que tB = 2t .

Pagina 1

UTU

Tecnologo en Informatica

MDL2 2016

Ejercicio 4
El teorema 2.4.5 se cumple para formulas cerradas (sentencias). Cuales casos de dicho lema
dejan de cumplirse si consideramos formulas que no son sentencias?

Ejercicio 5
a. Sabemos que para toda sentencia y estructura A del tipo adecuado se cumple que A |=
o A |= . Muestre que esta propiedad no vale para con FV() 6= .
b. Muestre que ni a
un para el caso en que sea una sentencia vale que |= o |= .

Ejercicio 6
Demuestre que para dos formulas cualesquiera y se cumple que:
Si (para toda estructura A del tipo adecuado (A |= A |= )) entonces (|= |= ).
Muestre que el recproco no se cumple.

Ejercicio 7
Sean , dos formulas y x una variable tal que x 6 FV().
a. Demuestre las siguientes afirmaciones:
i.
ii.
iii.
iv.

|= (x ) x( )
|= (x ) x( )
|= ( x) x( )
|= ( x) x( )

b. Muestre que la condicion sobre x y FV() es necesaria para que se cumplan las afirmaciones
anteriores.

Ejercicio 8
Sean , formulas cualesquiera de FORM. Demuestre las siguientes afirmaciones:
a.
b.
c.
d.

6|= xy yx
Si |= entonces |= x y |= x
6|= x x
6|= x x x( )

Pagina 2

UTU

Tecnologo en Informatica

MDL2 2016

Ejercicio 9
Considere un lenguaje de primer orden del tipo h; 2; 1i con smbolo de funcion f (binario) y
smbolo de constante c.
Decimos que una estructura M del tipo h; 2; 1i es un grupo ssi M |= , donde es el
conjunto formado por las sigientes formulas:
1 := x((f (x, c) =0 x) (f (c, x) =0 x))
(existencia de neutro)
0
0
2 := xy((f (x, y) = c) (f (y, x) = c))
(existencia de inverso)
2 := xyz(f (x, f (y, z)) =0 f (f (x, y), z)) (propiedad asociativa)
(Nota: M |= denota que: Para toda se cumple que M |= )
a. Indique cuales de las siguientes estructuras son grupos. Justifique su respuesta.
M1 = hN, +, 0i donde N denota el conjunto de los naturales y + la suma.
M2 = hM22 (R), , Ii donde M22 (R) denota el conjunto de matrices (2 2) reales con
determinante 6= 0, el producto de matrices e I la matriz identidad.
M3 = hZ/5 , +, 0i donde Z/5 denota el conjunto de los enteros mod 5 y + la suma mod 5.
M4 = hZ, , 0i donde Z denota el conjunto de los enteros y la resta.
M5 = h{0, 1, 2}, , 0i donde es un operador binario dado por la siguiente tabla:

0
1
2

0
0
1
2

1
1
0
0

2
2
0
0

b. Si ademas se cumple que M |= {4 } siendo 4 la siguiente formula

4 = xy(f (x, y) =0 f (y, x)) (propiedad conmutativa)
decimos entonces que M es grupo abeliano. Indique cuales de los grupos determinados en la
parte anterior son abelianos.

Ejercicio 10
Sea un lenguaje de primer orden de tipo de similaridad h1, 1, 2; 1; 0i, con smbolos de relacion
P1 , P2 , P3 y smbolo de funcion f1 .
a. Sea N = hN, P ar, Impar, , F i la estructura de los naturales con las relaciones ser par,
ser impar, menor o igual.
Proporcione sentencias 1 y 2 que formalicen las siguientes nociones:
i. F es decreciente.
ii. F aplicada a impares devuelve pares, y recprocamente, aplicada a pares devuelve impares.
Demuestre que las interpretaciones de 1 y 2 en N se corresponden con las nociones anteriores.
b. Muestre que N 6|= 1 2 , siendo N la misma estructura de la parte anterior.
c. Encuentre una estructura M1 tal que M1 |= 1 y M1 |= 2 .

Pagina 3